可逆计算

✍ dations ◷ 2025-08-24 14:24:52 #数字电子,计算模型

可逆计算(英语:Reversible Computing),是一种计算模型,它的计算过程是可逆的。在这种计算模型中,使用的能量很低,熵的增加会最小化,换句话说,它几乎不会产生额外的热。

在可逆计算模型中,转换函数的前一个状态,与下一个状态之间的关系,是一对一的反函数。因此,它的逻辑门,除了产生出我们想要的答案之外,还需要包含许多额外的位元,用以记忆运算的历史。最早提出可逆计算的先驱,是IBM的工程师罗夫·兰道尔(Rolf Landauer)。

对于可逆电路的实现,人们一般以逻辑门为模型研究可逆计算,并计算能量消耗,确定极限。例如,非门是可逆的,因为它的操作可以取消。异或门不可逆,因为它的输出无法明确一对一地映射回它的输入。不过,可控非门(CNOT),通过保存一个输入状态,成为异或门的可逆版本。具有三个输入端的可控非门称作 Toffoli 门。它保留了两个输入 a {\displaystyle a} b {\displaystyle b} ,而把第三个输入替换为 c ( a b ) {\displaystyle c\oplus (a\cdot b)} 。当 c = 1 {\displaystyle c=1} 时,其操作为与非门,而与非门是一种通用逻辑门。这样, Toffoli 门可以实现所有的可逆布尔函数。

相关

  • 阿灵顿阿灵顿(Arlington)是美国马萨诸塞州米德尔塞克斯县的一个镇,位于波士顿西北约10公里远。根据2010年的人口普查阿灵顿的人口为42844人.阿灵顿占地约3517.5英亩(14平方千米),或5.5平
  • 厨子瓮橱子(冲绳语:ジーシガーミ)是琉球群岛丧葬时使用的一种金斗瓮(粤文:金塔)(拾骨葬盛载遗骨的容器),分为橱子瓮、板橱子、石橱子等多种形式。日语及琉球语中“橱子”的意思是椟。同东南
  • 波多诺伏波多诺伏(法语:Porto-Novo,又译新港)是西部非洲国家贝宁的首都,人口26万,不过其仅为该国名义上的首都,贝国的实际行政中心位于科多努(Cotonou)。 葡萄牙人认为其地与波尔图相似,所以名
  • 沙井镇沙井镇是甘肃省张掖市甘州区下辖的一个镇,位于甘州区西部,总面积200平方公里,耕地面积18万亩,人口4万余人(2007年)。辖28个行政村,分别为:五个墩村、上游村、九闸村、寺儿沟村、水磨
  • 援外外援(或称援助)指国际政治上,特别是经济上的,对某国或社群提供协助以解决人道危机或达成社经目的。经济上的援助常分赠予及借贷两类。外援除了政府与政府间的援助外,近年来国际组
  • 任重 (演员)任重(1979年11月26日-),中国内地男演员。毕业于上海戏剧学院1998级表演系本科。曾饰演《北京青年》中的何西,《新恋爱时代》中的郑海潮等角色。
  • 麦克·温特伯顿迈克尔·温特伯顿(1961年3月29日-)是一名英国籍电影制作人。在转去做故事片前他最开始于英国电视制作。他的三部作品《欢迎来到萨拉热窝》,《仙境》,和《24小时狂欢派对》被提名
  • 高市早苗高市早苗(1961年3月7日-),日本女性政治人物,为自民党党员。出身于奈良县奈良市。共当选7届众议院议员。前夫山本拓也是众议院议员。历任内阁府特命担当大臣(冲绳及北方对策、科学
  • 宫崎县第1区宫崎县第1区是日本众议院的选区,设立于1994年。
  • 费丝·班德勒费斯·班德勒,MBE,AC(英语:Faith Bandler,1918年9月27日-2015年2月13日),婚前名字艾达·莱星·菲斯·穆星(Ida Lessing Faith Mussing),澳大利亚民权活动家,是南岛裔澳大利亚人(英语:South