更改

跳到导航 跳到搜索
添加1,411字节 、 2020年11月5日 (四) 22:20
第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:待整理页面]]
561

个编辑

导航菜单