几率图灵机

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

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

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

相关

  • 卤代烷卤代烷烃或称卤代烷,是指烷烃分子中的一个或多个氢原子被卤素原子(氟、氯、溴、碘)取代的有机化合物,属于卤代烃。天然存在的卤代烃种类不多,大多数卤代烃属于合成产物。卤代烃一
  • 圣可以指:前者例子:圣人,圣旨,圣像;后者例子:茶圣,武圣
  • glomerular filtration rate肾功能(Renal function)是描述肾脏状态及其在肾生理作用的角色。肾小球滤过率(Glomerular filtration rate/GFR、肾丝球滤过率)描述了通过肾脏过滤流体之流速。肌酸酐清除率(Crea
  • 未知数在初等数学里,变量或变元、元是一个用来表示值的符号,该值可以是随意的,也可能是未指定或未定的。在代数运算时,将变量当作明确的数值代入运算中,可以于单次运算时解出多个问题。
  • 陈铃津陈铃津(英语:Alice Lin-Tsing Yu),中央研究院院士,台湾医学家,国立台湾大学医学院毕业,美国芝加哥大学微生物免疫博士。曾任美国加州大学圣地牙哥分校小儿血液肿瘤科主任,中央研究院
  • 北碚区北.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-setting
  • 丁之发丁之发(1935年11月25日-),中华民国陆军二级上将,生于安徽省合肥县,曾任陆军后勤司令部司令、中华民国国防部常务次长、陆军副总司令、国防部督察部主任与联合勤务总司令部总司令。
  • 平壤FM广播电台平壌FM广播电台是朝鲜境内的一家调频广播电台,由朝鲜中央广播委员会设立,1989年1月1日正式开播。主要播放音乐类节目,大多为“革命歌曲”,有时播外国经典音乐。总部位于平壤市牡
  • 托比亚斯·席尔克托比亚斯·席尔克(德语:Tobias Schilk,1992年3月24日-)是德国的一位足球选手,在场上司职后卫。他效力于德甲球队美因茨05足球俱乐部。他出生在慕尼黑。
  • 光学重力透镜实验光学重力透镜实验(Optical Gravitational Lensing Experiment,简称OGLE)是波兰华沙大学的一个天文学研究项目,其目标是以重力透镜的方法,来寻找宇宙中的黑暗物质。研究项目于1992