1
Bằng chứng là TAUT đã hoàn thành coNP (hoặc một vấn đề là coNP-Complete nếu phần bổ sung của nó là NP-Complete)
Tôi cần chứng minh rằng TAUT hoàn thành coNP. Tôi đã chỉ ra rằng bằng cách giảm thành . Tuy nhiên, tôi không thể tìm ra cách chứng minh rằng mọi vấn đề trong coNP có thể được giảm xuống thành trong thời gian đa thức. Để làm điều đó, …