Pertanyaan yang diberi tag «complexity-theory»

Saya mengambil kursus kompleksitas dan saya mengalami masalah dengan datangnya pengurangan antara masalah NPC. Bagaimana saya bisa menemukan pengurangan di antara masalah? Apakah ada trik umum yang bisa saya gunakan? Bagaimana saya harus mendekati masalah yang meminta saya untuk membuktikan masalah adalah NPC?

27 complexity-theory  np-complete  proof-techniques  reductions 

Terlintas dalam banyak hal bahwa dalam semua bukti -completeness yang saya baca (yang dapat saya ingat), selalu sepele untuk menunjukkan bahwa masalahnya ada di , dan menunjukkan bahwa itu adalah -hard adalah ... bagian yang sulit. Apa masalah lengkap yang verifier waktu polinomialnya sangat tidak sepele?NP NP NPNPNP\textbf{NP}NPNP\textbf{NP}NPNP\textbf{NP}NPNP\textbf{NP}

27 complexity-theory  np-complete  np 

Seperti yang terlihat di strip XKCD terbaru ini dan posting blog terbaru inidari Peter Norvig (dan sebuah kisah Slashdot yang menampilkan yang terakhir), "golf regex" (yang mungkin lebih baik disebut masalah pemisahan ekspresi reguler) adalah teka-teki untuk menentukan ekspresi reguler sesingkat mungkin yang menerima setiap kata pada set A dan …

27 complexity-theory  np-complete  regular-expressions 

Pertanyaan ini terinspirasi oleh komentar di StackOverflow . Selain mengetahui masalah NP-lengkap dari buku Garey Johnson, dan banyak lainnya; adakah aturan praktis untuk mengetahui apakah suatu masalah terlihat seperti masalah NP-complete? Saya tidak mencari sesuatu yang ketat, tetapi untuk sesuatu yang bekerja dalam banyak kasus. Tentu saja, setiap kali kita …

26 complexity-theory  np-complete  intuition 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Diketahui bahwa setiap masalah optimasi / pencarian memiliki masalah keputusan yang setara. Misalnya masalah jalur terpendek versi optimisasi / pencarian: Diberikan grafik tidak tertimbang yang tidak diarahkan …

26 complexity-theory  optimization  search-problem  decision-problem 

Pertanyaan ini dimigrasikan dari Mathematics Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . Dominosa adalah permainan puzzle yang relatif baru. Ini dimainkan pada kotak . Sebelum permainan dimulai, tulang domino diletakkan di atas kisi (membentuk ubin sempurna ). Pada langkah berikutnya, tulang …

26 complexity-theory  np-hard  board-games  tiling 

Pernyataan Masalah Informal: Diberikan string, mis. ACCABBABSEBUAHCCSEBUAHBBSEBUAHBACCABBAB , kami ingin mewarnai beberapa huruf merah dan beberapa huruf biru (dan beberapa tidak sama sekali), sehingga hanya membaca huruf merah dari kiri ke kanan menghasilkan hasil yang sama seperti membaca hanya huruf biru. Dalam contoh kita bisa mewarnai mereka seperti ini: ACCABBABSEBUAHCCSEBUAHBBSEBUAHBA\color{blue}{C}\color{red}{CAB}B\color{blue}{AB} …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

Saya tertarik pada pertanyaan tentang cara terbaik untuk mengajarkan kelengkapan NP ke jurusan ilmu komputer. Secara khusus, haruskah kita mengajarkannya menggunakan pengurangan Karp atau menggunakan pengurangan Turing? Saya merasa bahwa konsep pelengkapan dan pengurangan NP adalah sesuatu yang harus dipelajari oleh setiap ilmu komputer. Namun, ketika mengajarkan kelengkapan NP, saya …

25 complexity-theory  np-complete  reductions  education  didactics 

Jelas tidak ada masalah yang tidak dapat dipastikan dalam NP. Namun, menurut Wikipedia : NP adalah himpunan semua masalah keputusan yang contohnya adalah "ya" memiliki [.. bukti yang] dapat diverifikasi dalam waktu polinomial oleh mesin Turing deterministik. [...] Suatu masalah dikatakan dalam NP jika dan hanya jika ada verifikasi untuk …

25 complexity-theory  computability  undecidability  decision-problem 

Jika seseorang membangun komputer kuantum universal, akankah hal itu berimplikasi pada masalah P vs NP?

25 complexity-theory  complexity-classes  quantum-computing 

Dengan asumsi P NP, masalah NP-complete adalah "sulit untuk dipecahkan, tetapi memiliki jawaban yang mudah untuk diperiksa." Apakah masuk akal untuk mempertimbangkan yang sebaliknya, yaitu, masalah yang mudah untuk menghitung jawaban yang benar, tetapi sulit untuk memverifikasi solusi yang diakui sewenang-wenang?≠≠\neq Saya pikir masalah seperti itu akan menyiratkan: Secara eksponensial …

25 complexity-theory 

Dengan adanya masalah komputasi, apakah tugas menemukan batas bawah untuk perhitungan seperti itu benar-benar mungkin? Saya kira itu bermuara pada bagaimana langkah komputasi tunggal didefinisikan dan model apa yang kita gunakan untuk bukti, tetapi mengingat itu, apakah kita benar-benar membuktikan batas bawah kemudian secara umum? Maksud saya adalah dapatkah kita …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

Biarkan menjadi rumus boolean yang terdiri dari operator AND, OR, dan NOT yang biasa dan beberapa variabel. Saya ingin menghitung jumlah memuaskan tugas untuk . Yaitu, saya ingin menemukan jumlah penugasan yang berbeda dari nilai kebenaran ke variabel yang mengasumsikan nilai sebenarnya. Misalnya, rumus memiliki tiga penugasan yang memuaskan; memiliki …

24 complexity-theory  reference-request  satisfiability 

Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Definisi masalah Logical Min Cut (LMC) Misalkan G=(V,E)G=(V,E)G = (V, E) adalah digraf tanpa bobot, sss dan ttt adalah dua simpul dari VVV , dan ttt dapat dijangkau dari sss …

24 complexity-theory  graph-theory  np-complete 

Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya sedikit bingung dengan beberapa terminologi yang saya temui mengenai kompleksitas masalah optimasi. Dalam kelas algoritma, saya memiliki masalah kekikiran besar yang dijelaskan sebagai NP-lengkap. Namun, saya tidak yakin apa …

24 complexity-theory  np-complete  terminology