Algoritma mesin Turing polinomial-waktu dianggap efisien jika run-time-nya, dalam kasus terburuk, dibatasi oleh fungsi polinomial dalam ukuran input. Saya mengetahui tesis kuat Gereja-Turing: Model perhitungan yang masuk akal dapat disimulasikan secara efisien pada mesin Turing Namun, saya...
Saya memiliki tugas pekerjaan rumah yang selama ini saya anggap bertentangan, dan saya akan menghargai setiap petunjuk. Ini adalah tentang memilih masalah yang diketahui, NP-kelengkapan yang terbukti, dan membangun pengurangan dari masalah itu ke masalah berikut saya akan memanggil DGD (diagnosis...
Misalkan saya diberi satu set terbatas poin di pesawat, dan diminta untuk menggambar kurva C ( P ) yang dapat dibedakan dua kali melalui p i , sedemikian sehingga perimeternya sekecil mungkin. Dengan asumsi p i = ( x i , y i ) dan x i < x i + 1 , saya dapat memformalkan masalah ini sebagai:hal1,...
Saya belajar untuk yang terakhir dalam teori komputasi, dan saya berjuang dengan cara yang tepat untuk menjawab apakah pernyataan ini benar atau salah. Dengan definisi dari kita dapat membangun pernyataan berikut,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B...
Semua orang tahu "Garey & Johnson", yang merupakan referensi masuk ke saya setiap kali saya membutuhkan masalah untuk mengubah dari bukti NP-hardness. Namun saya baru-baru ini menemukan diri saya membutuhkan bukti kekerasan APX, dan saya bertanya-tanya apakah ada kumpulan masalah yang serupa...
Biarkan menjadi beberapa masalah penghitungan yang dikenal sebagai # P -Lengkap .ΠΠ\PiPPP Apakah itu menyiratkan bahwa adalah A P X -hard (yaitu tidak ada PTAS untuk masalah ada kecuali P = N P
Dari Wikipedia : Jenis masalah komputasi: Masalah yang paling umum digunakan adalah masalah keputusan . Namun, kelas kompleksitas dapat didefinisikan berdasarkan masalah fungsi, masalah penghitungan, masalah optimisasi, masalah janji, dll. Saya juga melihat definisi NP-complete, NP-hard, NP,...
Apakah ada algoritma yang dikenal yang secara benar menampilkan "ya" ke masalah NP-complete tanpa secara implisit menghasilkan sertifikat? Saya mengerti bahwa sangat mudah untuk mengubah oracle kepuasan menjadi pencari penugasan memuaskan: hanya beralih pada variabel, setiap kali meminta oracle...
Satu dapat memahami pertanyaan Anda dalam dua cara, sesuai dengan definisi "pelengkap CFL". kasus A: Komplemen CFL adalah kelas dari semua bahasa yang tidak ada dalam CFL. Secara formal, Dalam hal ini, jauh lebih besar dari , bahkan memiliki bahasa yang tidak ada dalam , dll. Tapi mungkin bukan...
Kompleksitas Zoo mendefinisikan L INL.sayaNLIN sebagai kelas masalah keputusan yang dipecahkan oleh mesin Turing deterministik dalam waktu linier. L IN⊆ P.L.sayaN⊆PLIN \subseteq P Karena HORN-SAT dapat dipecahkan dalam (seperti yang ditunjukkan dalam algoritma Linear-time untuk menguji kepuasan...
Apakah ada algoritma untuk masalah berikut: Diberikan mesin Turing yang menentukan bahasa L , Apakah ada mesin Turing M 2 yang memutuskan L sedemikian rupa sehingga t 2 ( n ) = o ( t 1 ( n ) ) ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Fungsi dan t 2 adalah waktu...
Saya tahu bahwa set independen maksimum pada grafik bebas segitiga kubik adalah NP-lengkap. Apakah masih NP-complete jika kita memerlukan set independen berukuran persis ?|V|/2|V|/2|V|/2 Pada dasarnya, contoh instal dari masalah himpunan bebas pada masalah grafik bebas segitiga kubik harus...
Sebagai contoh, saya tahu bahwa bahasa non-reguler adalah dalam A C 0 . Saya ingin tahu lebih banyak contoh seperti ini.Sebuahnbnanbna^nb^nA
Apakah ada cara mudah untuk melihat mengapa NP ada di EXPTIME? Menurut saya apriori dapat dibayangkan bahwa mungkin ada masalah yang membutuhkan waktu super-eksponensial untuk diselesaikan, tetapi solusinya dapat diverifikasi dalam waktu
Masalah keputusan Dengan rumus Boolean , apakah ϕ memiliki satu tugas yang memuaskan?ϕϕ\phiϕϕ\phi dapat dilihat di , U P -hard dan c o N P -hard. Adakah yang lebih dikenal tentang kerumitannya?Δ2Δ2\Delta_2U
Apakah masalah menentukan apakah ekspresi Boolean yang diberikan memuaskan secara komputasi berbeda dari benar-benar menemukan solusi untuk ekspresi? Dengan kata lain, adakah cara lain untuk menemukan bahwa ekspresi yang diberikan adalah memuaskan tanpa secara eksplisit menentukan 'pengaturan yang...
Saya tertarik pada properti dari kelas grafik bipartit mana semua node di X adalah 3-reguler, semua node di Y adalah 2-reguler, dan | X | = | 2 Y / 3 | . Pertama, Apakah ini kelas grafik yang terkenal? Kedua,G ( X∪ Y, E)G(X∪Y,E)G(X \cup Y, E)XXXYYY| X| = | 2Y/ 3 ||X|=|2Y/3||X|=|2Y/3| Apakah ada...
Saya bertanya-tanya apakah ada masalah -hard yang rata-rata "polinomial" dalam kasus rata-rata. Saya pikir ada dua cara untuk menafsirkan ini?NPNPNP Jika , bisa ada sebuah algoritma pemecahan suatu N P masalah -Hard dengan diamortisasi (rata-rata kasus) waktu berjalan dari O ( n k ) untuk konstan...
Saya diberi himpunan , integer , dan integer non-negatif a_ {ij} . Masalah saya adalah menemukan s himpunan bagian himpunan S_j dari \ {1, \ ldots, k \} sedemikian rupa sehingga:A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant
Saya membaca beberapa kali bahwa tidak mungkin membalik jawaban NDTM secara efisien. Namun, saya tidak mengerti mengapa. Misalnya, mengingat NDTM yang berjalan di , teks ini (bagian 3.3) menyatakan bahwa tidak jelas bagaimana NDTM dapat menentukan dalam waktu cara membalikkan