1
Prova de que TAUT é coNP completo (ou que um problema é coNP completo se seu complemento for NP completo)
Preciso provar que o TAUT é coNP-completo. Eu mostrei esse reduzindo para . No entanto, não consigo descobrir como provar que todos os problemas no coNP podem ser reduzidos para em tempo polinomial. Para fazer isso, eu precisaria de uma de duas coisas:TAUT∈coNPTAUT∈coNP\text{TAUT} \in \text{coNP}SATSAT\text{SAT}TAUT¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯TAUT¯\overline{\text{TAUT}}TAUTTAUT\text{TAUT} Um problema coNP-completo conhecido para …