几率图灵机

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

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

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

相关

  • 囊泡虫总门 (Alveolata)囊泡虫总门(学名:Alveolata)是一大类原生生物.囊泡虫类可分为4个门, 在形态上具有非常大的多样性,但根据细胞内的超微结构与基因具有密切亲缘关系:帕金虫属(Perkinsus)可能属于
  • 卡胡卡胡是一位下埃及统治者,在巴勒莫石碑中被提及。由于考古学家没有发现其他证据,他可能是神话中的国王,甚至可能是完全虚构的统治者。
  • ISO 8601国际标准ISO 8601,是国际标准化组织的日期和时间的表示方法,全称为《数据存储和交换形式·信息交换·日期和时间的表示方法》。目前是2004年12月1日发行的第三版“ISO8601:200
  • 蔡家话蔡家话,是一种主要分布在贵州西部的一种独特语言,是未识别民族蔡家人的本族语言,目前濒临灭绝。有30个声母,塞音,塞擦音有全清次清全浊的对立,没有复辅音。有单元音10个,另有若干后
  • 蜈蚣博弈在博弈论中,蜈蚣博弈(Centipede game)是一个扩展形式的博弈,两位参与者轮流选择是“背叛”,停止博弈拿走更大那份收益,还是“合作”,继续博弈把选择权让给对方。如果选择合作,收益会
  • 神职 (神道)神职是日本神社的祭司,也叫神主。神职在神道中是神与人之间的媒介,他们也负责替信徒祓除与主持婚礼并管理神社一般事务。在远古时代因政教合一,因此氏族首领也是神官,到后来才有
  • 转龙湾站转龙湾站是位于内蒙古自治区鄂尔多斯市准格尔旗准格尔召苏木的一个铁路车站,邮政编码17115。车站建于1995年,有包神铁路经过该站,现已停用。距包头东站145公里,隶属包神铁路公司
  • 彼得·范·莫伦霍文国王陛下 王后陛下贝娅特丽克丝公主殿下 伊莲公主殿下 玛格丽特公主殿下 彼得·范·莫伦霍文教授艾琳公主殿下克里斯蒂娜公主殿下彼得·范·莫伦霍文教授(1939年4月30日-,英语:P
  • 大逃杀 (消歧义)大逃杀可指以下事物:
  • 雪鹰601雪鹰601是中国首架专为极地环境下运作的固定翼飞机,航程是原有在极地服务的直升机种“雪鹰12号”的四倍。于2014年由国家海洋局以约一亿元人民币向美国巴斯勒涡轮公司订购,201