确定互补宇宙
Determine universe of complementary
我正在思考P复杂度的问题，我有一个问题：
如果问题“A”是P中的问题，他的补语一定是P中的问题？为什么？
因为每个决定 A 的算法都可以简单地通过否定答案简单地变成一个决定 not(A) 的算法。这不会改变它的复杂性。
从这个论点可以看出，这不是 class P 的特殊 属性。同样的论点适用于 all 确定性复杂度 classes，因此它们都在补码下关闭：DTIME(f(n)) = co-DTIME(f(n)) for all f.
我正在思考P复杂度的问题，我有一个问题：
如果问题“A”是P中的问题，他的补语一定是P中的问题？为什么？
因为每个决定 A 的算法都可以简单地通过否定答案简单地变成一个决定 not(A) 的算法。这不会改变它的复杂性。
从这个论点可以看出，这不是 class P 的特殊 属性。同样的论点适用于 all 确定性复杂度 classes，因此它们都在补码下关闭：DTIME(f(n)) = co-DTIME(f(n)) for all f.