可逆计算

✍ dations ◷ 2025-02-24 20:43:36 #数字电子,计算模型

可逆计算(英语: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 门可以实现所有的可逆布尔函数。

相关

  • 同配生殖同配生殖是一种有性生殖,其需要两个配子的互相结合,其有着相似的大小或形态。其差异仅出现于等位基因于一或多个交配型(英语:mating-type region)的基因表现。因两种配子难以区分
  • 西南亚西亚,或称西南亚(英语:Southwest Asia,阿拉伯语:غرب آسيا‎),指亚洲的西南部,和中东有很大部分的重合。不过,中东是一定义不清的区域,包含非洲国家埃及,而西亚则是纯粹的地理学
  • 雷维利亚希赫多群岛雷维利亚希赫多群岛(Revillagigedo Islands),墨西哥在太平洋中的一座群岛,位于距下加利福尼亚半岛南端西南450公里的大洋中,属科利马州管辖。该群岛由4座岛屿组成,各岛均为火山
  • 马来西亚基督教马来西亚基督教是东正教、天主教、新教的总称,是马来西亚五大宗教谘询理事会成员之一。信徒占马来西亚总人口9.2%(2010年人口普查),73.2%的信徒聚居在东马,26.8%信徒则聚居在西马
  • 横山勇横山 勇(1889年3月1日-1952年4月21日)为日本陆军军人。最终阶级为陆军中将。福岛县出身。为担任过步兵第51连队长陆军大佐横山新治 的长男,1889年(明治22年)3月1日在千叶县出生。
  • 电影版妖怪手表:阎魔大王与五个故事喵!《电影版妖怪手表:阎魔大王与五个故事喵!》(日语:映画 妖怪ウォッチ エンマ大王と5つの物語だニャン!,英语:Yo-kai Watch: Enma Daiō to Itsutsu no Monogatari da Nyan)是由OLM,
  • 山田启二山田启二(1954年4月5日-)是一位日本自治官僚、政治人物。1954年出生于兵库县洲本市,后来先后于伊丹市和东京都杉并区居住。毕业于桐朋高等学校、东京大学法学部,1977年4月进入自
  • 开加博峰坐标:28°19′59″N 97°28′00″E / 28.33306°N 97.46667°E / 28.33306; 97.46667开加博峰,侬日旺语称开加博拉孜(侬日旺语(英语:Rawang language):Kàgvbù rvzì;缅甸语转写:ခ
  • 杨士法杨士法(1917年11月-2010年3月2日),男,直隶宁河(今属天津)人,中华人民共和国政治人物,曾任上海市革命委员会副主任,上海市人民政府副市长,上海市政协副主席。
  • 松山清治松山 せいじ松山清治(まつやま せいじ)是日本男性漫画家,1975年(昭和50年)4月8日出生 。福冈県出身。男性。妻子是同样漫画家的香月アイネ。左撇子。血型O型。作品多数描写登场极