第952行: |
第952行: |
| 大量的候选者表明,尽管量子计算技术发展迅速,但仍处于初级阶段。 | | 大量的候选者表明,尽管量子计算技术发展迅速,但仍处于初级阶段。 |
| | | |
− | ==Relation to computability and complexity theory== | + | ==Relation to computability and complexity theory与可计算性和复杂性理论的关系== |
| | | |
− | ===Computability theory=== | + | ===Computability theory可计算性理论=== |
| | | |
| {{See also|Computability theory}} | | {{See also|Computability theory}} |
| + | {{另见可计算性理论}} |
| | | |
| Any [[computational problem]] solvable by a classical computer is also solvable by a quantum computer.<ref>Nielsen, p. 29</ref> Intuitively, this is because it is believed that all physical phenomena, including the operation of classical computers, can be described using [[quantum mechanics]], which underlies the operation of quantum computers. | | Any [[computational problem]] solvable by a classical computer is also solvable by a quantum computer.<ref>Nielsen, p. 29</ref> Intuitively, this is because it is believed that all physical phenomena, including the operation of classical computers, can be described using [[quantum mechanics]], which underlies the operation of quantum computers. |
| + | |
| + | 经典计算机可以解决的任何[[计算问题]]也可以由量子计算机解决。<ref>尼尔森,第29页,</ref>直觉上,这是因为人们相信,所有物理现象,包括经典计算机的操作,都可以用[[量子力学]来描述,这是量子计算机操作的基础。 |
| | | |
| Category:Models of computation | | Category:Models of computation |
第971行: |
第974行: |
| | | |
| Conversely, any problem solvable by a quantum computer is also solvable by a classical computer; or more formally, any quantum computer can be simulated by a [[Turing machine]]<!-- add mention about [[Quantum Virtual Machines]] which can simulate quantum computer on classical one -->. In other words, quantum computers provide no additional power over classical computers in terms of [[computability]]. This means that quantum computers cannot solve [[undecidable problem]]s like the [[halting problem]] and the existence of quantum computers does not disprove the [[Church–Turing thesis]].<ref>Nielsen, p. 126</ref> | | Conversely, any problem solvable by a quantum computer is also solvable by a classical computer; or more formally, any quantum computer can be simulated by a [[Turing machine]]<!-- add mention about [[Quantum Virtual Machines]] which can simulate quantum computer on classical one -->. In other words, quantum computers provide no additional power over classical computers in terms of [[computability]]. This means that quantum computers cannot solve [[undecidable problem]]s like the [[halting problem]] and the existence of quantum computers does not disprove the [[Church–Turing thesis]].<ref>Nielsen, p. 126</ref> |
| + | |
| + | 相反,量子计算机可以解决的任何问题也可以用经典计算机来解决;或者更正式地说,任何量子计算机都可以用[[图灵机器]]<来模拟!--增加关于[[量子虚拟机]]的介绍,它可以在经典的量子计算机-->上模拟量子计算机。换句话说,量子计算机在[[可计算性]]方面没有比经典计算机更强大的能力。这意味着量子计算机不能解决[[不可判定的问题]]像[[停止问题]]一样,量子计算机的存在并不能反驳[[丘奇-图灵论点]]。 |
| | | |
| Category:Information theory | | Category:Information theory |
第983行: |
第988行: |
| | | |
| As of yet, quantum computers do not satisfy the [[Church–Turing thesis|strong Church thesis]]. While hypothetical machines have been realized, a universal quantum computer has yet to be physically constructed. The strong version of Church's thesis requires a physical computer, and therefore there is no quantum computer that yet satisfies the strong Church thesis. | | As of yet, quantum computers do not satisfy the [[Church–Turing thesis|strong Church thesis]]. While hypothetical machines have been realized, a universal quantum computer has yet to be physically constructed. The strong version of Church's thesis requires a physical computer, and therefore there is no quantum computer that yet satisfies the strong Church thesis. |
| + | |
| + | 到目前为止,量子计算机还不能满足[[丘奇-图灵理论|强大的教会理论]]。虽然假想的机器已经实现,但一个通用的量子计算机还没有被物理构造出来。丘奇理论的强版本需要一台物理计算机,因此还没有一台量子计算机能够满足强大的教会理论。 |
| | | |
| Category:Classes of computers | | Category:Classes of computers |
第994行: |
第1,001行: |
| 类别: 理论计算机科学 | | 类别: 理论计算机科学 |
| | | |
− | ===Quantum complexity theory=== | + | ===Quantum complexity theory量子复杂性理论=== |
| | | |
| Category:Open problems | | Category:Open problems |
第1,015行: |
第1,022行: |
| | | |
| <small>This page was moved from [[wikipedia:en:Quantum computing]]. Its edit history can be viewed at [[量子计算/edithistory]]</small></noinclude> | | <small>This page was moved from [[wikipedia:en:Quantum computing]]. Its edit history can be viewed at [[量子计算/edithistory]]</small></noinclude> |
− | | + | <small>此页摘自[[维基百科:英语:量子计算]]。其编辑历史可在[[量子/edithistory]]处查看</small></noinclude> |
| [[Category:待整理页面]] | | [[Category:待整理页面]] |