问题标签 [quantum-computing]

这个问题涉及对多于一位作为输入的函数所讨论的 Deutsch 问题的直接概括。这一次，我们有一个布尔函数 f，它接受一个 4 位数字作为输入并输出 0 或 1，即f:{0,1}4→{0,1}。因此，f 的输入是 16 个可能的 4 位二进制数之一：

我们还被告知 f 是以下两种类型之一：

我们可以做的是将 f 的电路用作“黑匣子”，将输入 x 提供给 f 的电路并观察输出 f(x)。这称为“查询”操作。

证明经典概率算法可以通过使用 2 个查询以至少 2/3 的概率确定 f 是平衡的还是恒定的。

提示：（显然，我们不能使用确定性算法来做到这一点。除非确定性算法看到至少 9 个输入值的输出，否则它无法确定函数是平衡的还是恒定的）。

考虑从 16 个可能的输入集中均匀随机地选择两个输入。您的最终结果可能在概率上取决于这两个查询的结果。

我不知道Prolog，但我想知道它是否是构建量子门模拟器的好选择？

Prolog我的主要问题是在这样的项目中使用的利弊是什么？其他建议也受到高度赞赏。

好的。所以我最近注册了 Crashplan，它使用 448 位 Blowfish 来加密你发送给他们的数据，我对 Blowfish 的研究越多，听起来 64 位块大小对于他们的卷大小来说是完全不够的将备份。

我读过，尤其是在某些模式下（如 CTR），它对于大数据流完全不够用，并且仅在千兆字节之后就可以与随机数据区分开来？但是，我读过的其他内容似乎表明，如果实施得当，这不是问题。

这样的攻击是否不适用于 Crashplan 的实施？

此外，假设实现尽可能完美，它甚至是温和的“后量子”安全吗？

拥有 Crashplan 的公司的创始人在这里回答了类似的问题：https ://superuser.com/questions/587661/crashplan-truecrypt-overkill

但是，如果 Blowfish 自己的创建者说他很惊讶仍然有人使用它并说你绝对应该使用它，我真的希望他能就他们的实施以及为什么我应该信任它来发送给 Crashplan 的大量数据做出更好的回应改为双鱼。

欢迎其他人也加入进来。我想要尽可能多的信息。我已经很担心我可能会完全停止使用 Crashplan。

我浏览了一些关于量子计算机的书籍，除了量子物理和数学之外，还有一些计算机科学的概念（例如图灵机）。那么，如果我想学习量子计算，我应该从计算机科学中了解什么？例如，阅读 SICP 有用吗？

我正在尝试用QCL（量子计算机语言）创建一个程序，该程序随机生成 6 个状态中的 1 个（即滚模程序）。在实现这一点时，我发现自己需要编写一个函数，如下所示：

我很失望，我发现自己需要明确地声明一个酉矩阵才能实现我的目标。我已经了解到，仅使用 Hadamard 矩阵和受控 V 矩阵，我应该能够生成我想要的任何酉矩阵。但是，如何做到这一点并不是很明显。你们中有人知道我如何在operator不明确说明矩阵的情况下重写它吗？

我对haskell非常陌生，我一直在网上搜索，但我无法解决我的问题。我下载了 Quipper包，但我无法让 haskell 识别所有模块和文件的位置以及如何正确链接所有内容。

我已经下载了所有文件和程序并正确安装了它们，我只是不知道如何让 haskell 识别 quipper 库和模板。每次我尝试：

:load And_gate.hs或其他文件。

我得到：

Could not find module "Quipper"或其所需的相应模块。

我不认为这是一个错误或任何东西，我认为这只是我对 haskell 的工作原理缺乏了解。

我正在使用Windows 7。

我刚刚读了一篇关于量子物理学的文章。一件有趣的事情是，在 Haskell 程序员看来，这两个领域之间有一些相似之处。

首先，量子世界中的测量似乎类似于 Haskell 中的惰性求值：如果你不测量，你不知道猫是活的还是死的。如果不评估，则不知道值是定义的还是undefined.

其次，在量子中，我们有EPR 悖论，这可以通过与速度高于光速的相互作用来解释，或者等同于时间机器。在 Haskell 中，正如我们在Assembly: Circular Programming with Recursive do -Monad.Reader 第 6 期中所见，我们可以通过使用 recursive 访问来自未来的值do。

最后，在量子中，我们必须区分熵永不减少的可观察世界和时间在两个方向上等价的“纯”量子世界。在 Haskell 中，我们拥有IO()描述程序实际执行的世界，以及永远不会有副作用的纯函数世界，并且值从不依赖于评估顺序。

所以我猜上述事实表明这两个领域之间存在一些相互联系。这会产生更有趣的后果吗？例如，虽然我谈到了 EPR 悖论，但我不知道如何创建一个 Haskell 程序来模拟这种情况：一个函数创建两个值，稍后对其中一个的求值会影响另一个（我认为这些值必须有IO()类型，但我不知道如何将它们放在一起）。

我敢肯定，以前一定有人这样做过。我尝试为 Cygwin 编译 QCL，但它不起作用。如果有人已经设法为 Cygwin 编译它，你能发一份吗？或者建议一种更简单的方法在 Windows 中运行它。

我曾经和我的编程老师谈论量子计算机，我记得他告诉我这种机器的一个限制是你实际上不能做类似的事情x = y。我想知道为什么量子分配是不可能的？有人有明确的答案吗？