Time complexity 复杂性类定义问题

合作伙伴的确切定义（正式和非正式）是什么

---

与p一般来说，如果你有一个复杂类X，那么类co-X由所有问题组成，这些问题是X中问题的补充。例如，类NP（直觉上）对应的问题是，如果问题的答案是“是”，那么有一些快速的方法来检查答案。因此，类co-NP包含一些问题，如果答案是“否”，那么有一些快速的方法来检查答案。“这是一个布尔公式；有没有办法分配变量值以使其成为真的？”这是NP中问题的典型例子，因为如果答案是“是”，你可以很容易说服某人-只要向他们展示如何设置每个变量以使整个计算结果为真。“这是一个布尔公式；它总是真的吗？”的问题是co-NP中问题的典型例子，因为如果答案是“否”，你可以通过向某人展示一个变量赋值，让他们相信这一点，使公式的计算结果为假

co-p类定义明确，但基本上没有人引用它，因为p=co-p。直觉上，这是因为类P包含了所有可以有效解决的问题。从这个意义上说，如果你有一个问题R，它的补码可以被有效地解决，那么你可以很容易地解决R——解决R的补码，然后翻转结果。从形式上讲，您可以证明这一点，方法是证明co-P中一种语言的任何多项式时间决策器都可以转换为P中一种语言的多项式时间决策器（反之亦然），只需对该决策器的输出求反即可