Pertanyaan yang diberi tag «proof-complexity»

sistem bukti proposisional dan teori aritmatika terikat yang sesuai

2
Aksioma diperlukan untuk ilmu komputer teoretis
Pertanyaan ini diilhami oleh pertanyaan serupa tentang matematika terapan pada aliran matematika, dan pemikiran itu mengomentari bahwa pertanyaan penting TCS seperti P vs. NP mungkin independen dari ZFC (atau sistem lain). Sebagai sedikit latar belakang, matematika terbalik adalah proyek untuk menemukan aksioma yang diperlukan untuk membuktikan teorema penting tertentu. Dengan …
2
Jika P = NP, bisakah kita mendapatkan bukti dugaan Goldbach dll?
Ini adalah pertanyaan naif, dari keahlian saya; permintaan maaf sebelumnya. Dugaan Goldbach dan banyak pertanyaan lain yang tidak terpecahkan dalam matematika dapat ditulis sebagai rumus pendek dalam predikat kalkulus. Misalnya, makalah Cook "Dapatkah Komputer Secara Rutin Menemukan Bukti Matematika?" merumuskan dugaan itu sebagai ∀ n [ ( n > 2 …
6
Masalah NP-lengkap alami dengan saksi "besar"
Pertanyaan pada cstheory " Apa itu NP terbatas untuk saksi ukuran linier? " Bertanya tentang kelas NP terbatas pada saksi ukuran linear , tetapiO(n)O(n)O(n) Apakah ada masalah NP-complete alami di mana (ya) contoh ukuran membutuhkan saksi ukuran lebih besar dari ?nnnnnn Jelas kita dapat membangun masalah buatan seperti: L={1nw∣w encodes …
6
Kelas formula boolean yang terkenal yang membutuhkan bukti resolusi panjang secara eksponensial
Anda mungkin sering menemukan metode cutting plane, propagasi variabel, cabang dan terikat, pembelajaran klausa, backtracking cerdas atau bahkan heuristik manusia yang dirajut tangan dalam solver SAT. Namun selama beberapa dekade solver SAT terbaik sangat bergantung pada teknik bukti resolusi dan menggunakan kombinasi hal-hal lain hanya untuk bantuan dan untuk mengarahkan …
3
Algoritma apa yang dikenal untuk menghitung interpolant Craig?
Apakah ada survei algoritma untuk menghitung interpolant? Bagaimana dengan makalah pada hanya satu algoritma? Kasus yang paling saya minati adalah A=¬p∧qA=¬p∧qA=\lnot p\land q dan C=qC=qC=q , ditambah kendala bahwa interpolant sekecil mungkin. (Saya tahu makalah McMillan dari 2005 , yang menjelaskan cara mendapatkan interpolant, sambil menghindari pembilang.) Latar belakang: teorema …
3
Algoritma yang efisien secara konstruktif tanpa kebenaran yang efisien dan bukti efisiensi
Saya mencari contoh alami dari algoritma yang efisien (yaitu dalam waktu polinomial) st kebenaran dan efisiensi mereka dapat dibuktikan secara konstruktif (misalnya di PR APRSEBUAHPRA atau ), tetapiHSEBUAHHSEBUAHHA tidak ada bukti menggunakan hanya konsep efisien yang diketahui (yaitu kita tidak tahu bagaimana membuktikan kebenaran dan efisiensinya di atau ).S 1 …
2
Apakah resolusi proposisional merupakan sistem bukti yang lengkap?
Pertanyaan ini adalah tentang logika proposisional dan semua kejadian "resolusi" harus dibaca sebagai "resolusi proposisional". Pertanyaan ini adalah sesuatu yang sangat mendasar tetapi telah mengganggu saya untuk sementara waktu. Saya melihat orang-orang menyatakan bahwa resolusi proposisional sudah lengkap tetapi saya juga melihat orang-orang menyatakan bahwa resolusi itu tidak lengkap. Saya …
1
Seberapa efisien pemecah SAT berbasis DPLL pada instance PHP yang memuaskan?
Kita tahu bahwa pemecah SAT berbasis DPLL gagal menjawab dengan benar pada contoh tidak memuaskan (prinsip hole pigeon), misalnya pada "ada pemetaan injeksi dari n + 1 ke n ":PHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i ∈ [ n + 1 ] ⋁j ∈ [ n ] halsaya , j⎞⎠∧⎛⎝⋀saya ≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] …
3
Teori yang mencirikan kelas kompleksitas komputasi
Saat membaca makalah " Sebuah teori aplikatif untuk FPH " Anda dapat menemukan bagian berikut: Mempertimbangkan teori yang mengkarakterisasi kelas kompleksitas komputasi, ada tiga pendekatan berbeda: dalam satu, fungsi yang dapat didefinisikan dalam teori adalah "otomatis" dalam kelas kompleksitas tertentu. Dalam akun seperti itu, sintaksis harus dibatasi untuk menjamin bahwa …
4
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 hal mendasar?
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.