Ada algoritma polinomial yang mudah untuk memutuskan apakah ada jalur antara dua node dalam grafik terarah (cukup lakukan traversal grafik rutin dengan, katakanlah, pencarian-kedalaman-pertama). Namun tampaknya, secara mengejutkan, masalahnya menjadi lebih sulit jika alih-alih menguji keberadaan...
Masalah 3SUM mencoba mengidentifikasi 3 bilangan bulat dari himpunan dengan ukuran sehingga .S n a + b + c = 0a , b , cSebuah,b,ca,b,cSSSnnna+b+c=0Sebuah+b+c=0a + b + c = 0 Diduga bahwa tidak ada solusi yang lebih baik daripada kuadratik, yaitu . Atau dengan kata lain: .o ( n log ( n ) + n 2...
Diberikan instance dari SAT, saya ingin dapat memperkirakan seberapa sulitnya untuk menyelesaikan instance. Salah satu caranya adalah dengan menjalankan solver yang ada, tetapi jenis itu mengalahkan tujuan memperkirakan kesulitan. Cara kedua mungkin mencari rasio klausa terhadap variabel, seperti...
Biarkan SSS menjadi satu set bilangan alami. Kami menganggap SSS dalam urutan parsial yang dapat dibagi, yaitu s1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 . Membiarkan α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V...
Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan...
Saya memiliki satu set pasangan. Setiap pasangan berbentuk (x, y) sedemikian rupa sehingga x, y milik bilangan bulat dari kisaran [0,n). Jadi, jika n adalah 4, maka saya memiliki pasangan berikut: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Saya sudah memiliki pasangan. Sekarang, saya harus membangun...
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...
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...
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...
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
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...
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...
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...
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...
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...
Jika seseorang membangun komputer kuantum universal, akankah hal itu berimplikasi pada masalah P vs
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
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...
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,...
Apakah analisis yang dihaluskan menemukan jalannya ke dalam analisis aliran utama dari algoritma? Apakah biasa bagi perancang algoritma untuk menerapkan analisis yang diperhalus pada algoritme