几率图灵机

✍ dations ◷ 2025-06-08 08:17: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),又隐含着随机性是有可能增加计算能力的。

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

相关

  • 腹壁反射腹壁反射(abdominal reflex)是指滑动脐周围腹部皮肤引起腹部肌肉产生的收缩反射。腹壁反射检查是一种常用的神经系统检查。在肥胖、老年人或经产妇中,由于皮肤松弛,腹壁反射可能
  • 肥胖荷尔蒙1AX8· growth factor activity· ovulation from ovarian follicle · response to hypoxia · positive regulation of cytokine production · placenta development
  • 太空地质学行星地质学(Planetary Geology),亦称为天体地质学(Astrogeology)、天文地质学(Exogeology),是行星科学的一个重要分支学科,研究的范围是行星、卫星、小行星、彗星以及陨石等天体的地
  • 临床心理学异常心理学 行为遗传学 生物心理学 心理药物学 认知心理学 比较心理学 跨文化心理学 文化心理学 差异心理学(英语:Differential psychology) 发展心理学 演化心理学 实验心理学
  • 松下直树松下直树(1978年6月6日-),前日本足球运动员。
  • 吴维尊吴维僔(1926年4月-2002年12月21日),出生于浙江东阳,清末名臣、庚子被祸五大臣之一袁昶的外孙。出生时母亲为他取名“以巴弗”(主后第一世纪与保罗同坐牢的一位基督徒)吴先生虽然没
  • 严仁英严仁英(1913年11月26日-2017年4月16日),天津人,祖籍浙江慈溪,中国妇产科、妇女保健学专家。被誉为“中国围产保健之母”。费市严家后人。严仁英1913年出生在天津的严翰林胡同,祖父
  • 海之荣光芋螺海之荣光芋螺(学名:)为芋螺科芋螺属下的一个种。
  • 广兴镇 (金堂县)广兴镇,是中华人民共和国四川省成都市金堂县下辖的一个乡镇级行政单位。2019年12月,撤销广兴镇,将其所属行政区域划归竹篙镇管辖。广兴镇下辖以下地区:广严寺社区、熊安村、风岭
  • 树旋转在数据结构中,树旋转(英语:Tree rotation)是对二叉树的一种操作,不影响元素的顺序,但会改变树的结构,将一个节点上移、一个节点下移。树旋转会改变树的形状,因此常被用来将较小的子