几率图灵机

✍ dations ◷ 2025-09-10 11:33:44 #计算机科学中未解决的问题,计算模型,概率复杂度理论,图灵机

在计算复杂性理论内,几率图灵机是一个非决定型图灵机,在每个转折点根据某种概率分布随机选择某种可行的转变(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),又隐含着随机性是有可能增加计算能力的。

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

相关

  • 地方教会教会是基督徒对基督教组织的习惯称呼,可以指:凡世所有罪恶和圣洁的基督徒的集合(普世教会)、天上所有圣洁的基督徒的集合(神的国度)、拥有共同教义和礼仪的基督徒的集合(教派)、一个
  • 微分包含式数学分析中的微分包含式(Differential inclusion)是指具有如下形式的常微分方程式:其中(, )表示了一个集合,而非
  • 氯磺酸氯磺酸(化学式:HSO3Cl)是一种无色或淡黄色的液体,为剧毒。具有辛辣气味,在空气中发烟,是硫酸的一个-OH 基团被氯取代后形成的化合物。分子为四面体构型,取代的基团处于硫酸与硫酰氯
  • 法语文学法语文学(法语:Littérature française)是指用法语写成的文学,有时特指法国人用法语写成的文学,也可以指法国文学。现代法国人的起源非常复杂,主要由凯尔特人、日耳曼人和罗曼人
  • S/2015 (136472) 1哈勃望远镜/第三代广域照相机 S/2015 (136472) 1是柯依伯带矮行星鸟神星已知唯一的卫星,昵称MK 2,尚未正式命名,按照卫星命名习惯推定正式中文名称将为“鸟卫一”。2015年4月,研
  • G.50战斗机G.50箭式(意文:Freccia)战斗机是意大利最初研发的全铝合金制单翼战斗机,有着可收放式起落架,原本采用可开闭座舱盖但由于飞行员的反对而把座舱盖拆除而变成开放式驾驶舱,原型机
  • 俄罗斯苏维埃联邦社会主义共和国部长会议俄罗斯苏维埃联邦社会主义共和国部长会议(俄语:Совет Министров РСФСР)是1946年3月15日—1991年12月25日俄罗斯苏维埃联邦社会主义共和国最高行政机构,它受
  • 广北县广北县,是广东省广州市已取消的一个县。1958年12月,广州市郊区的人和、太和、竹料、钟落潭等4个公社与花县合并设立广北县,隶属广州地区。1959年3月,撤销广北县,花县划回佛山地区
  • 奇诺比奥奇诺比奥(日语:キノピオ,Kinopio,英语:Toad)是电子游戏系列马里奥中的虚构角色。奇诺比奥是蘑菇王国的一员,碧奇公主忠实的仆役,他和奇诺比珂是好拍档。特征是顶着红色圆点的蘑菇帽,
  • 约书亚约书亚(英文:Joshua/Jehoshua,希伯来文:יְהוֹשֻׁעַ),天主教称若苏厄,是《旧约圣经》记载的一位希伯来人领袖,是嫩的儿子;属以法莲支派,原名何希阿。据《圣经·申命记》所载,