Dengan asumsi NP! = CoNP, maka tidak ada sertifikat ukuran polinomial untuk masalah lengkap-TNP. Tapi bagaimana dengan sertifikat ukuran subeksponensial? Khususnya untuk coSAT, adakah bukti ukuran subeksponensial untuk membuktikan formula tidak memuaskan? Jika tidak, apa bukti negatifnya? Terima kasih
13
Jawaban:
Ini adalah topik kompleksitas bukti, yaitu ukuran sertifikat untuk masalah T A U T ( = c o S A T ).co-NP-complete TAUT =coSAT
Jawaban singkatnya adalah: terbuka.
Di sisi negatif, kita bahkan tidak bisa menunjukkan bahwa ada tidak polysize bantahan-bantahan untuk formula unsatisfiable (apalagi pertanyaan umum menunjukkan ini untuk sistem bukti sewenang-wenang, sistem pembuktian proposisi dapat dianggap sebagai algoritma nondeterministic untuk T A U T ).Frege TAUT
Pertanyaannya juga setara dengan .coNP⊆NTime(2o(n))
sumber
Salah satu implikasi yang mungkin dari hal ini adalah bahwa dari hasil Ryan William (karena Anda kemudian akan memiliki algoritma co-nondeterministic untuk CircuitSAT yang berjalan dalam waktu lebih cepat daripada eksponensial). Bukan bukti yang benar-benar negatif, tapi tetap saja ...NEXP⊈ P./ poly
sumber