几率图灵机

✍ dations ◷ 2025-06-29 19:43:14 #计算机科学中未解决的问题,计算模型,概率复杂度理论,图灵机

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

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

相关

  • Ksup+/sup钾离子(K+)是金属元素钾的阳离子。钾是人类营养中的一种必要宏量元素,也是动物细胞中主要的阳离子,同时在体液及电解质平衡上非常的重要。大量血浆(约每天180升)在肾脏的肾小球处
  • 人治人治(英语:rule of man),指政府权力不受限制,依靠执政者的贤明来治理国家的方式和理论主张,其理想化的最佳政治模式是“贤人政治”。人治是一个用来特意表明跟法治相反情况的词汇,
  • 英国皇家空军英国皇家空军(英语:Royal Air Force,RAF)为英国军队的航空作战军种,创设于1918年4月1日,为世界上第一支编成独立军种的空军。在一战胜过同盟国后,英国皇家空军成为了该时期最庞大的
  • 注释注释可以指:
  • 苏运莹苏运莹(1991年4月8日-),是一位生于海南三亚的创作歌手。2015年,苏运莹凭借原创歌曲〈野子〉获得广大知名度,并以第二季《中国好歌曲》全国总决赛亚军之姿出道;同年,〈野子〉获得“第
  • 克喇末-克勒尼希关系克喇末-克勒尼希关系式(英语:Kramers–Kronig relations)是数学上连系复面上半可析函数实数部和虚数部的公式。此关系式常用于物理系统的线性反应函数。物理上因果关系(系统反应
  • 锯齿波锯齿波(英语:sawtooth wave)是一种非正弦波,由于它具有类似锯子一样的波形,即具有一条直的斜线和一条垂直于横轴的直线的重复结构,它被命名为锯齿波。锯齿波的傅里叶级数展开为:
  • 克劳斯·金斯基克劳斯·金斯基(Klaus Kinski,1926年10月18-1991年11月23日),原名克劳斯·君特·卡尔·纳克辛斯基(Klaus Nakszynski)德国演员,以在萤幕上的强烈演出及暴烈的性格著称,共演出超过180
  • 流体力学期刊流体力学期刊()是流体力学领域的同行评审学术期刊,发表的内容包括理论、计算及实验流体力学领域的原创研究。流体力学期刊由剑桥大学出版社发行,与剑桥大学、尤其是剑桥的应用数
  • 花柱草科参见正文花柱草科共有5属约240种,分布在澳洲、南美洲南端和热带亚洲,中国只有1属2种—Stylidium 1属2种—花柱草 ( Sw.)和狭叶花柱草 ( Sw.),分布在南岭以南地区。本科植物为一年生