Pertanyaan itu muncul pada saya ketika saya mendapatkan jawaban Dana Moshkovitz untuk topik lain . Biarkan LLL menjadi NP Bahasa, dan membiarkan RLRLR_L menjadi masing- NP hubungan. Kita tahu bahwa ada beberapa polinomial ppp sehingga: ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x...
Inilah masalahnya: Kami memiliki kotak dengan beberapa angka dari 1..N di beberapa sel. Itu diperlukan untuk menentukan apakah itu bisa diselesaikan ke kotak ajaib. Contoh: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> NO SOLUTION 8 _ _ Apakah ini masalah...
Seperti yang saya pahami, bukti bahwa P = NP atau P ≠ NP harus tidak dapat direlatifikasi (seperti dalam teori rekursi). Namun, pada dasarnya semua bukti tampaknya relativizable. Apa contoh yang baik dari bukti yang tidak dapat direlatifikasi, dari jenis yang perlu P = NP / P ≠ NP bukti, yang...
Saya baru-baru ini diingatkan tentang masalah vs. N P seperti dijelaskan oleh Stephen A. Cook di Clay Mathematics Institute.PP\mathsf{P}NPNP\mathsf{NP} Ini menarik minat saya dan saya ingin belajar lebih banyak tentang hal itu. Langkah pertama adalah mendapatkan pemahaman yang lebih dalam tentang...
Perbaiki masalah pencarian NP-complete misalnya bentuk pencarian SAT. Pencarian Levin menyediakan algoritma L untuk menyelesaikan X yang dalam beberapa hal optimal. Secara khusus, algoritma ini adalah "Jalankan semua program yang mungkin P dalam menyesuaikan pada input x , setelah beberapa P...
Dalam catatan kuliah ini oleh Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , dikatakan bahwa kita tidak tahu apakah Euclidean TSP ada di NP: Alasannya adalah karena kita tidak tahu bagaimana cara menghitung akar kuadrat secara efisien. Di sisi lain ada...
ETH menyatakan bahwa SAT tidak dapat diselesaikan dalam kasus terburuk dalam waktu subeksponensial. Bagaimana dengan kasus rata-rata? Apakah ada masalah alami dalam NP yang diperkirakan sulit secara eksponensial dalam kasus rata-rata? Ambil kasus rata-rata berarti waktu berjalan rata-rata dengan...
Pertanyaan berikut ini menggunakan ide-ide dari kriptografi yang diterapkan pada teori kompleksitas. Yang mengatakan, itu adalah pertanyaan-kompleksitas teori murni, dan tidak ada pengetahuan kripto apa pun yang diperlukan untuk menjawabnya. Saya sengaja menulis pertanyaan ini dengan sangat...
pada tahun 1979 Hopcroft / Ullman menulis bahwa L ⊆ P ⊆ NP ⊆ PSpace diketahui tetapi L ⊊ PSpace adalah satu-satunya penahanan yang tepat (& sepele) yang diketahui meskipun semua dikira sebagai penahanan yang tepat, dan "di mana keadaan masih ada" ~ 4 dekade kemudian . sejak itu apakah ada...
Saya cukup yakin bahwa saya bukan yang pertama untuk menghibur gagasan bahwa saya akan hadir. Namun, akan sangat membantu jika saya dapat menemukan literatur yang terkait dengan ide tersebut. Idenya adalah untuk membangun Mesin Turing M dengan properti bahwa jika P = NP maka M akan menyelesaikan...
Apakah ada masalah NP lengkap (atau bahkan NP-keras, atau NP) yang memiliki sifat topologi yang baik untuk dipelajari. Apakah masalah NP memiliki formulasi teori simpul? Kita tahu tentang hasil # tentang polinomial Jones. Masalah grafik (embeddings?), Khususnya pewarnaan grafik dapat dilihat...
Yang ingin saya tanyakan secara khusus adalah apakah ada kondisi yang menarik pada persentase penugasan yang memenuhi formula 3SAT untuk menjamin bahwa masalah tersebut dapat diselesaikan. Misalkan misalnya kelas masalah 3SAT yang dari 2 n kemungkinan penugasan memenuhi rumus boolean; dapatkah...
Properti grafik disebut herediter jika ditutup sehubungan dengan menghapus simpul (yaitu, semua subgraf yang diinduksi mewarisi properti). Properti grafik disebut aditif jika ditutup sehubungan dengan mengambil serikat terputus-putus. Tidak sulit untuk menemukan sifat-sifat yang turun temurun,...
Pertimbangkan informasi lengkap permainan kombinatorial dua pemain yang berakhir setelah sejumlah polinomial gerakan, dan dengan cara bergantian, para pemain mengambil dari sejumlah terbatas gerakan yang diizinkan. Pertanyaan yang biasa adalah, seberapa sulit untuk mengetahui dari posisi yang...
Saya tertarik pada pertanyaan apakah NP sama dengan coNP atau tidak. Saya sangat menghargai saran tentang publikasi yang bagus untuk membaca topik ini. Sebagai catatan, saya tahu bahwa pertanyaan ini terkait erat dengan pertanyaan apakah P sama dengan NP atau tidak (sehingga jika NP! = CoNP maka...
Pertama-tama, pemahaman saya tentang teorema ketidaklengkapan Gödel (dan logika formal pada umumnya) sangat naif, juga pengetahuan saya tentang ilmu komputer teoretis (artinya hanya satu mata kuliah yang diambil saat saya masih sarjana), jadi pertanyaan ini mungkin saja sangat naif. Sejauh yang...
Asumsikan NP = co-NP dan polinomial membatasi panjang bukti ketidakpuasan untuk instance 3-CNF . Lalu apakah ada hasil pada bentuk apa bukti tidak memuaskan untuk panjang dapat mengambil? Yaitu secara umum, akankah bukti semacam itu harus, misalnya, menggunakan kekuatan penuh dari logika orde dua...
Dalam makalah Stephen Cook tentang masalah P vs NP, [1] ia menyatakan sebagai berikut: Tesis Kelayakan: Masalah alami memiliki algoritma yang layak jika memiliki algoritma waktu polinomial. Pertanyaan saya adalah, apa sebenarnya yang dia (atau secara umum sebenarnya, apa artinya) dengan "...
Kompleksitas bukti adalah area paling dasar dari teori kompleksitas komputasi. Tujuan utama dari area ini adalah untuk membuktikan , yaitu, setiap prover tidak dapat memberikan bukti ketidakpuasan formula input yang diberikan. NP≠ c o NPNP≠cHaiNPNP\neq coNP Grafik adalah salah satu model bukti...
Hal ini juga diketahui bahwa kelas-kelas tertentu dari NP -problems Memiliki dikotomi teorema, yang menjamin bahwa setiap tugas di kelas adalah baik NP -Lengkap atau di P . Hasil yang paling dikenal adalah teorema dikotomi Schaefer , bersama dengan sejumlah generalisasi. Pemahaman saya adalah...