Pertanyaan yang diberi tag «np»

Saya tertarik pada generalisasi alami dari 15-puzzle yang terkenal , di mana Anda harus menggeser blok sampai Anda telah mengurutkan semua angka yang diberikan (biasanya ada celah 1 blok). Sekarang generalisasi akan memperluas ukuran puzzle dari 15 ke , di mana satu bidang gratis. Saya telah membuat ilustrasi kecil (panah …

35 cc.complexity-theory  np  np-complete 

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 …

28 cc.complexity-theory  np  proof-complexity 

Sunting : Seperti yang ditunjukkan Ravi Boppana dengan benar dalam jawabannya dan Scott Aaronson juga menambahkan contoh lain dalam jawabannya , jawaban untuk pertanyaan ini ternyata "ya" dengan cara yang tidak saya harapkan sama sekali. Pertama saya berpikir bahwa mereka tidak menjawab pertanyaan yang ingin saya tanyakan, tetapi setelah beberapa …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . Tampaknya banyak orang percaya bahwa , sebagian karena mereka percaya bahwa anjak piutang tidak dapat dipecahkan. (Shiva Kintali telah mendaftarkan beberapa masalah kandidat lainnya di sini ).P≠NP∩coNPP≠NP∩coNPP …

27 cc.complexity-theory  np  conditional-results 

Apakah ada contoh bahasa yang ada dalam , tetapi di mana kita tidak dapat membuktikan fakta ini secara langsung dengan menunjukkan bahwa ada saksi polinomial untuk keanggotaan dalam bahasa ini?NPNPNP Sebaliknya, fakta bahwa bahasa dalam akan dibuktikan dengan mereduksinya ke bahasa lain di , di mana hubungan antara keduanya tidak …

27 reductions  np 

Peter Shor menunjukkan bahwa dua masalah NP-intermediate yang paling penting, anjak piutang dan masalah log diskrit, ada di BQP. Sebaliknya, algoritma kuantum yang paling dikenal untuk SAT (pencarian Grover) hanya menghasilkan peningkatan kuadratik daripada algoritma klasik, mengisyaratkan bahwa masalah NP-complete masih sulit diterapkan pada komputer kuantum. Seperti yang ditunjukkan Arora …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

Apakah ada masalah alami dalam yang tidak (diketahui / dianggap) di U P ∩ c o U P ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Jelas besar satu semua orang tahu tentang di adalah versi keputusan anjak piutang (tidak n memiliki faktor ukuran paling k), tapi itu sebenarnya di U P ∩ …

26 cc.complexity-theory  complexity-classes  np 

Apakah ada bahasa NP-complete (lebih disukai natural) , sehingga untuk setiap n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 tahan? Dengan kata lain, L mengandung tepat setengah dari semua instance n- bit.L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

Jawaban ini untuk masalah utama yang belum terpecahkan dalam ilmu komputer teoritis? pertanyaan menyatakan bahwa itu terbuka jika masalah tertentu dalam NP membutuhkan waktu .Ω(n2)Ω(n2)\Omega(n^2) Melihat komentar di bawah jawaban membuat saya bertanya-tanya: Selain dari padding dan trik serupa, apa kompleksitas waktu paling dikenal yang terikat lebih rendah pada mesin …

25 cc.complexity-theory  np  p-vs-np 

Hal ini terkait dengan pertanyaan, Apakah Ukuran Keanggotaan Saksi untuk Setiap Bahasa NP Sudah Diketahui? Beberapa masalah NPNP\mathsf{NP} (-complete) alami memiliki saksi panjang linier: tugas yang memuaskan untuk SATSATSAT , urutan simpul untuk HAMPATHHAMPATHHAMPATH , dll. Pertimbangkan kelas kompleksitas " NPNP\mathsf{NP} terbatas pada saksi panjang linier". Definisi formal dari kelas …

24 cc.complexity-theory  complexity-classes  np 

Akses ke oracle akan memberikan percepatan super-polinomial besar untuk semua yang ada di (dengan asumsi set tidak kosong). Hal ini kurang jelas, bagaimanapun, berapa banyak akan manfaat dari akses oracle ini. Tentu saja, percepatan dalam tidak bisa super polinomial, tetapi masih bisa polinomial. Misalnya, dapatkah kita menemukan jalur terpendek lebih …

23 cc.complexity-theory  np  np-complete 

The Karp – Lipton Theoem menyatakan bahwa jika , maka runtuh menjadi . Oleh karena itu, dengan asumsi pemisahan antara dan , no - masalah lengkap akan menjadi milik .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

Dalam makalah mereka (hlm. 503) Garey dan Johnson berkomentar: ... mungkin ada masalah NP-complete yang bukan NP-complete dalam arti kuat atau tidak dapat dipecahkan oleh algoritma waktu pseudo-polinomial ... Adakah yang tahu beberapa masalah kandidat dengan properti yang disebutkan di atas? Saya pikir jawaban yang mungkin untuk pertanyaan ini dapat …

19 ds.algorithms  np-hardness  np 

Masalah keputusan CNF-SAT dapat digambarkan sebagai berikut: Input: Rumus boolean ϕϕ\phi dalam bentuk normal konjungtif. Pertanyaan: Apakah ada tugas variabel yang memenuhi ?ϕϕ\phi Saya sedang mempertimbangkan beberapa pendekatan berbeda untuk memecahkan CNF-SAT dengan mesin Turing dua-tape non-deterministik . Saya percaya bahwa ada NTM yang memecahkan CNF-SAT dalam langkah .n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Adakah yang diketahui, contoh eksplisit dari suatu algoritma dengan properti sedemikian sehingga jika maka algoritma ini tidak berjalan dalam waktu polinomial dan jika maka ia berjalan dalam waktu polinomial?P≠ NPP≠NPP\neq NPP= NPP=NPP=NP

18 ds.algorithms  np  p-vs-np