式证明系统的力量，以及对困难问题所能建立更简单的演算法的特质，例如多项式时间内的质数测试(primality testing)和对数空间的图相连测试(graph connectedness testing)，又隐含着随机性是有可能增加计算能力的。量子计算机则是另一种先天就具有着机率性质的计算模式。