确定互补的宇宙

问题描述

我正在考虑P复杂度的问题，我有一个问题：

如果问题“ A”是P中的问题，那么他的互补词一定是P中的问题吗？为什么？

解决方法

因为可以简单地通过否定答案将决定A的每种算法简单地转变为决定not(A)的算法。这不会改变其复杂性。

从该参数可以看到，这不是P类的特殊属性。同一参数适用于 all 确定性复杂度类，因此它们都用补码封闭：{{1} } DTIME(f(n)) = co-DTIME(f(n))。