Pertanyaan yang diberi tag «proof-search»

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 …
1
Teorema jumlah langsung untuk Resolusi ruang klausa kompleksitas?
Resolusi adalah skema untuk membuktikan ketidakpuasan CNF. Bukti dalam resolusi adalah deduksi logis dari klausa kosong untuk klausa awal CNF. Khususnya setiap klausa awal dapat disimpulkan, dan dari dua klausa dan klausa A \ lor B dapat disimpulkan juga. Sangkalan adalah urutan pemotongan yang diakhiri dengan klausa kosong.A∨xA∨xA \lor xB∨¬xB∨¬xB …
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.