Pertanyaan yang diberi tag «sat»

Mari tentukan masalah SAT: Diberikan , rumus 3-CNF yang memuaskan, dan , rumus 2-CNF ( dan didefinisikan pada variabel yang sama). Apakah memuaskan?( 3 , 2 )s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧ F2F3∧F2F_3 \wedge F_2 Apa kompleksitas masalah ini? (Apakah sudah dipelajari sebelumnya?)

8 cc.complexity-theory  reference-request  np-hardness  sat 

Dalam makalah "Pengkodean CNF yang Efisien untuk Memilih 1 dari Objek N", para penulis memperkenalkan teknik "variabel komandan" mereka untuk mengkodekan kendala, dan kemudian berbicara tentang masalah lubang kubah. Karena kesalahan saya mungkin ada dalam pemahaman tingkat rendah, izinkan saya menyatakan apa yang saya pikir saya ketahui sebelum mengajukan pertanyaan: …

8 cc.complexity-theory  sat  proof-complexity 

Apakah mungkin untuk menemukan pengurangan penghitungan dari #SAT ke #HornSAT? Saya belum menemukan pertanyaan ini diposting di sini, jadi memutuskan untuk memeriksa apakah ada yang punya jawaban untuk ini. Biarkan saya menjelaskan apa yang saya maksud dengan menghitung pengurangan. Misalkan adalah dua masalah penghitungan. Sebagai contoh, #SAT menanyakan berapa banyak …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions