Algorithm 为什么P⊆;co-NP?

Algorithm 为什么P⊆;co-NP?,algorithm,complexity-theory,theory,np,Algorithm,Complexity Theory,Theory,Np,我见过几个地方,它们简单地说明,已知p是NP和co-NP的交集的子集。证明P是NP的子集并不难找到。为了证明它是交集的子集,剩下要做的就是证明P是co-NP的子集。这方面的证据可能是什么样的?多谢各位 类p在补语下是封闭的:如果L是p中的一种语言,那么L的补语也在p中。您可以通过对L使用任何多项式时间决策器并切换接受和拒绝状态来看到这一点;这台新机器现在决定L的补数,并在多项式时间内完成 当语言L的补语在NP中时,它在co-NP中。因此,考虑任何语言L∈strong>P。L的补语也在P中,

我见过几个地方,它们简单地说明,已知p是NP和co-NP的交集的子集。证明P是NP的子集并不难找到。为了证明它是交集的子集,剩下要做的就是证明P是co-NP的子集。这方面的证据可能是什么样的?多谢各位

p在补语下是封闭的:如果L是p中的一种语言,那么L的补语也在p中。您可以通过对L使用任何多项式时间决策器并切换接受和拒绝状态来看到这一点;这台新机器现在决定L的补数,并在多项式时间内完成

当语言L的补语在NP中时,它在co-NP中。因此,考虑任何语言L∈strong>P。L的补语也在P中,因此L的补语在NP中(因为P&subsetq;NP)。因此,L在co-NP中。因此,P&subsetq;co-NP


希望这有帮助

这样想吧。考虑P类在恭维下被关闭,P=CO-P.<
还应该清楚的是,co-p是co-NP的一个子集,因为p包含在NP中。由于P=co-P,因此P包含在co-NP中。

我个人不介意在这里问这个问题,但如果其他人反对,你也可以问这个问题,因为这个问题与数学有关,所以似乎是离题的