Pertanyaan yang diberi tag «p-vs-np»

Gower baru-baru ini menguraikan masalah, yang ia sebut "penentuan determinasi Borel," yang solusinya terkait dengan membuktikan batas bawah sirkuit. Dapatkah Anda memberikan ringkasan dari pendekatan yang disesuaikan dengan audiens yang terdiri dari para ahli teori kompleksitas? Apa yang diperlukan untuk pendekatan ini untuk membuktikan sesuatu , termasuk membuktikan kembali batas …

16 cc.complexity-theory  p-vs-np 

Kita semua tahu menunjukkan bahwa memiliki penghalang. Kita semua telah mempelajari hambatan ini karena kami percaya P ≠ N P .P≠ NPP≠NPP\ne NPP≠ NPP≠NPP\ne NP Namun anggap dan ada orang bijak yang percaya bahwa kemungkinan ada . Jika ini memang benar maka fakta bahwa kita belum melihat algoritma yang baik …

15 p-vs-np  barriers 

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, …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Datang dari latar belakang matematika, tampaknya menarik untuk saya bahwa pada seluruh komputer ilmuwan cenderung bekerja di bawah asumsi bahwa P≠NPP≠NPP \neq NP . Meskipun tidak ada bukti, bagaimanapun juga, secara umum, kecuali jika sesuatu dapat secara khusus tidak terbukti dalam matematika dan sains, itu diambil dengan kekuatan yang cukup …

12 p-vs-np 

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 …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

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 3-SAT dalam waktu …

12 reference-request  turing-machines  p-vs-np 

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 mengembalikan jawaban y menguji apakah itu benar". Ini optimal …

12 cc.complexity-theory  time-complexity  p-vs-np 

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 masalah dan pemahaman tentang area secara umum. Bisakah Anda …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

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 informal. Karena tidak memiliki detail, kemungkinan ini dinyatakan sedikit salah. Silakan tunjukkan koreksi …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

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 saya bisa temukan, provabilitas P versus NP adalah masalah …

11 np-hardness  proofs  p-vs-np 

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 P! = NP). …

11 cc.complexity-theory  reference-request  p-vs-np 

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 " masalah alami "? Berbicara tentang masalah yang wajar …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Misalkan P! = NP. Kami tahu bahwa kami dapat membuat instance 3-SAT mudah kapan saja. Kami juga dapat menghasilkan apa yang kami yakini sebagai contoh sulit (karena algoritme kami tidak dapat menyelesaikannya dengan cepat). Apakah ada sesuatu yang mencegah himpunan instances keras, dari menjadi kecil secara sewenang-wenang, asalkan untuk setiap …

9 np-hardness  p-vs-np 

Untuk dapat menjelaskan masalah P vs NP kepada non-matematikawan, saya ingin memiliki contoh pedagogis tentang kapan pencarian Brute Force dapat dihindari. Masalahnya idealnya harus segera dimengerti dan triknya seharusnya tidak terlalu mudah atau terlalu sulit. Yang terbaik yang saya hasilkan sejauh ini adalah SUBSET_PRODUCT_IS_ZERO Masalahnya mudah dipahami (diberikan satu set …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

Pertimbangkan bahasa . Tentukan (urutan bit tak terbatas) dengan rumus rekursifs ( L ) ∈ { 0 , 1 } ωL.LLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )n= χL.( S ( L )&lt; n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) [Saya menggunakan indeks …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization