强Church-Turning理论

强 CT 理论断言，任何可以物理实现的计算模型都可以均可以被图灵机以多项式代价模拟

所有“合理”的计算模型都是多项式等价的

即 $t\to t^c$