1
Beweis, dass TAUT coNP-vollständig ist (oder dass ein Problem coNP-vollständig ist, wenn sein Komplement NP-vollständig ist)
Ich muss beweisen, dass TAUT coNP-vollständig ist. Ich habe gezeigt, dass indem auf . Ich kann jedoch nicht herausfinden, wie ich beweisen kann, dass jedes Problem in coNP in Polynomzeit auf reduziert werden kann . Dazu würde ich eines von zwei Dingen brauchen:TAUT ∈ coNPTAUT∈coNP\text{TAUT} \in \text{coNP}SATSAT\text{SAT}STRAFF¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯TAUT¯\overline{\text{TAUT}}STRAFFTAUT\text{TAUT} Ein bekanntes coNP-vollständiges …