几率图灵机

✍ dations ◷ 2025-04-03 17:12:53 #计算机科学中未解决的问题,计算模型,概率复杂度理论,图灵机

在计算复杂性理论内,几率图灵机是一个非决定型图灵机,在每个转折点根据某种概率分布随机选择某种可行的转变(transition)。

在转变是均匀分布几率的例子里面,我们可以定义为决定型图灵机多了一个新增的"写入"指令,这一个写入指令的值是所有图灵机能用符号的均匀分布几率选择出的符号 (概括地说,这个写入指令以相同的几率在纸带上面写入'1'或者'0'。) 另一个常用的定义是多了一条,上面布满了许多随机位元值的确定型图灵机。

所以,几率图灵机可以有随机的结果(与决定型图灵机不同);给定一个输入和一个状态机,机器运作的时间长度会不同,或者甚至不会停止; 甚至,这机器可能在这一次操作下回传为接受,下一次相同的输入值却回传为拒绝。

因此如何去理解被一个几率图灵机接受字串的方式可以用许多不同的方式定义。 同时也有许多种因为我们对accept方式的不同,而产生了许多的多项式时间随机复杂度类,包含了 RP,Co-RP,BPP and ZPP。 如果我们把多项式时间的限制改成对数空间的限制,我们则有了跟上面雷同的RL,Co-RL,BPL,和ZPL。如果我们同时限制两者,则有了RLP,Co-RLP,BPLP,和ZPLP。

随机计算对于定义大多数的交互式证明系统也是极为重要的,因为验证者机器需要随机性来避免被全能的证明者预测或者欺骗。 例如说,IP这个类别等同 PSPACE,但是如果把验证者的随机性移除,我们就只有NP,一个一般而言相信(但尚未证明)是比起IP要小的复杂度类。

复杂度理论的其中一个重点问题是:是否随机性增加了算法的能力? 换句话说,是否有问题在多项式时间内可以以概率图灵机解决但是不能以决定型图灵机解决?或者是决定型图灵机可以在至多只有多项式时间的变慢之下,完全的模仿随机图灵机的动作?现今的研究者大部分相信后者,这同时可以推出 P = BPP。相同问题的对数空间(log space)版本(是否L = BPLP?)则比起多项式时间版本更被广泛相信为真。另外,随机性给予交互式证明系统的力量,以及对困难问题所能建立更简单的算法的特质,例如多项式时间内的质数测试(primality testing)和对数空间的图相连测试(graph connectedness testing),又隐含着随机性是有可能增加计算能力的。

量子计算机则是另一种先天就具有着几率性质的计算模式。

相关

  • 米西尔逊-斯塔尔实验梅瑟生-史达实验(Meselson-Stahl experiment)是马修·梅瑟生(Matthew Meselson)与富兰克林·史达(Franklin Stahl)在1958年所作的实验,证明了DNA复制的半保留性质。氮是DNA的重要组
  • 黄貂鱼
  • 膝内翻O型腿,又叫做膝内翻、罗圈腿,是一种身体发育现象。当并拢双足、完全放松双腿直立时,如果两个膝关节之间不能并拢,就说明是有O型腿。幼儿骨骼尚在发育没有完全钙化,2岁以前被视为
  • 常 恩常恩,姓氏不详,汉军镶黄旗人,清朝地方官。常恩曾于1829年接替德宣任南汇县知县一职,同年由贺崇禧接任,1843年接替刘坦任华亭县知县一职,1845年由高德明接任。
  • 裂颚唇裂与颚裂(英语:Cleft lip and cleft palate),常被合称为唇颚裂,是一系列包含唇裂(CL)、颚裂(CP)、或二者皆有的疾病(CLP)。唇颚裂常包含上颚裂到鼻腔,甚至裂到耳朵都有可能;裂口可能发
  • 梅迪辛博-鲁特国家森林梅迪辛博-鲁特国家森林(英语:Medicine Bow – Routt National Forest)是美国国家森林局管控的一座国家森林,面积超过2,222,313英亩(8,993.38平方千米),位于怀俄明州和科罗拉多州。
  • 弗雷德里克·奥古斯特·巴托尔迪弗雷德里克·奥古斯特·巴托尔迪(Frédéric Auguste Bartholdi,1834年4月2日-1904年10月4日),法国雕塑家,美国纽约著名的自由女神像的作者。1834年巴托尔迪出生于法国阿尔萨斯,在
  • 高达前哨战 《高达前哨战》(ガンダム・センチネル、GUNDAM SENTINEL),是一部以情境模型为插图的高达系列小说作品。于1989年在大日本绘画出版社所发行的月刊模型杂志
  • 意外杀手《意外杀手》(英语:)是一部2018年英国动作惊悚片,由杰西·V·强森执导,改编自帕特·米斯(英语:Pat Mills)和东尼·史基纳(英语:Tony Skinner)所创作的1991年同名漫画(英语:Accident Man)。
  • 苏州模式苏州模式是指20世纪90年代形成于中国江苏省苏州市的一种经济发展模式,其前身为苏南模式。区别于苏南模式,苏州模式具有明显的外向型经济特点,撤离了乡镇政府对乡镇企业的支配权