Pertanyaan yang diberi tag proof-complexity

sistem bukti proposisional dan teori aritmatika terikat yang sesuai

12
Mulai belajar kompleksitas bukti

Baru-baru ini saya mulai membaca banyak tentang kompleksitas bukti dan sangat menikmati apa yang saya baca. Saya benar-benar ingin belajar lebih banyak tentang ini, tetapi saya mengalami kesulitan menemukan beberapa bahan pemula yang baik untuk memulai. Adakah yang bisa merekomendasikan beberapa...

10
Bukti dalam

Dalam sebuah pembicaraan oleh Razborov, sebuah pernyataan kecil yang aneh diposting. Jika FACTORING sulit, maka teorema kecil Fermat tidak dapat dibuktikan dalam .S12S21S_{2}^{1} Apa itu dan mengapa bukti saat ini tidak ada di ? S 1

10
Kasus mudah SAT yang tidak mudah untuk resolusi pohon

Adakah kelas formula CNF alami - lebih disukai yang sebelumnya telah dipelajari dalam literatur - dengan sifat-sifat berikut:CCC adalah kasus yang mudah dari SAT, seperti misalnya Horn atau 2-CNF, yaitu, keanggotaan dalam C dapat diuji dalam waktu polinomial, dan rumus F ∈ C dapat diuji untuk...