1
TAUTがcoNP完全であることの証明（またはその補数がNP完全である場合、問題はcoNP完全であること）
TAUTがcoNP完全であることを証明する必要があります。を減らすことにより、であることを示しました。ただし、coNPのすべての問題を多項式時間でに削減できることを証明する方法を理解できません。そのためには、次の2つのいずれかが必要です。タウト∈ CONPTAUT∈coNP\text{TAUT} \in \text{coNP}土土\text{SAT}ぴんと¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯ぴんと¯\overline{\text{TAUT}}ぴんとぴんと\text{TAUT} 削減のための既知のcoNP完全問題または 問題の補集合がNP完全である場合、問題はcoNP完全であることの証明。 どちらも講義では与えられなかったので、自分で証明しないと何も使えません。当たり前だったはずのことを逃しましたか？どこから始めればいいですか？