几率图灵机

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

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

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

相关

  • 肌肉萎缩症肌肉萎缩症(肌营养不良症,英语:Muscular dystrophy, MD),指一组损坏人体肌肉的遗传性疾病。肌营养不良症表现为进行性骨骼肌萎缩,肌肉蛋白质缺失,和肌肉细胞或组织的死亡。有九种疾
  • 信号转导衔接蛋白信号转导接头蛋白或信号转导衔接蛋白(英语:Signal transducing adaptor proteins)是信号转导通路中的重要蛋白质。接头蛋白上有着各种能与其它蛋白结合的结构域,能形成各种信号
  • 租界仁川清租界,是指1884年至1895年清朝在朝鲜仁川的租界。1882年朝鲜发生壬午兵变,清朝出兵镇压。1882年10月,清朝迫使朝鲜签订《中朝商民水陆贸易章程》,在朝鲜取得领事裁判权、海
  • 爱德华湖爱德华湖(英语:Lake Edward;法语:Lac Édouard)位于刚果民主共和国和乌干达边境,东非大裂谷的西部分支-艾伯丁裂谷里,其北岸距离赤道仅数公里,是非洲大湖地区七大湖中面积最小的湖泊
  • 新马路亚美打利庇卢大马路(葡萄牙语:Avenida de Almeida Ribeiro),又称新马路,是澳门中区的重要道路之一,为澳门重要的商业中枢及旅游景点。东接殷皇子大马路,从南湾大马路起,西至火船头街
  • 小罗伯特·卢卡斯知识产权 市场化 自由放任 小政府主义 负所得税 公开市场操作 私有财产 私有化 经济主题 小罗伯特·埃默生·卢卡斯(Robert Emerson Lucas, Jr.,1937年9月15日-),美国经济学家,芝
  • 象鼩象鼩是一类非洲原住的食虫哺乳动物,属于象鼩目(Macroscelidea)。它们有着很像象的长鼻。它们广泛分布在南部非洲,由纳米比沙漠至南非及大森林中都有。其中的北非象鼩则生活在非
  • 刘德宽刘德宽(1826年-1911年),字敬远,河北沧州人,沧洲六合拳传人,精于大枪,人称大枪刘。在家学得父亲刘仕俊之鹰爪拳术,在神机营当过差,在和盛镖局当过镖师,曾师从沧洲六合拳传人李凤岗学技,亦
  • 朝鲜公民签证要求朝鲜公民离境许可通常情况下只颁发给政府外交人员、运动员、对外贸易人员和其他特殊代表团。朝鲜在世界上有161个邦交国,其中给朝鲜公民免签待遇的国家有41个。根据2020年第2
  • 童唯佳童唯佳(1984年3月14日-),汉族,中国演员、艺人,2007年获得湖南娱乐频道《星姐选举》选美大赛全国亚军而出道至今,现为天娱传媒旗下艺人。未收录在其专辑里的单曲