Ilmu Komputer

Saya memiliki masalah yang saya duga adalah NP-complete. Sangat mudah untuk membuktikan bahwa itu adalah NP. Kereta pikiran saya saat ini berkisar menggunakan pengurangan dari ransel tetapi akan menghasilkan contoh 0-1-ransel dengan nilai setiap item sama dengan beratnya. Apakah ini masih lengkap dengan NP? Atau apakah saya melewatkan sesuatu?

9 complexity-theory  np-complete  decision-problem  packing 

Saya punya masalah dengan situasi berikut. Saya memiliki dua array angka seperti ini: index/pos 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Array 1(i): 1 2 3 4 7 5 4 3 7 6 5 1 2 3 4 2 Array 2(j): …

9 approximation  heuristics 

Apakah ada algoritma linear-waktu untuk memeriksa bahwa urutan karakter adalah gabungan palindrom? Satu-satunya hal yang terlintas di benak saya adalah solusi naif: 1. k = 1 2. Split string into k substrings (all possibilities) and check 3. k++ 4. repeat Catatan: jawabannya sepele ya jika panjang 1-string didefinisikan sebagai palindrom. …

9 algorithms  efficiency  strings 

Saya menerapkan algoritme pembatalan siklus untuk menemukan solusi optimal untuk masalah aliran biaya minimum. Dengan menemukan dan menghilangkan siklus biaya negatif dalam jaringan residual, total biaya diturunkan di setiap putaran. Untuk menemukan siklus negatif saya menggunakan algoritma bellman-ford. Masalah saya adalah: Bellman-ford hanya menemukan siklus yang dapat dijangkau dari sumbernya, …

9 algorithms  graph-theory  shortest-path  network-flow 

Anda dapat memodifikasi grafik apa pun sehingga Dijkstra's menemukan solusinya dengan jumlah tepi minimal sebagai berikut:GGG Lipat gandakan setiap bobot tepi dengan angka aaa , lalu tambahkan 111 ke bobot untuk menghukum setiap tepi tambahan dalam solusi, yaitu w′(u,v)=a∗w(u,v)+1w′(u,v)=a∗w(u,v)+1w'(u,v)=a*w(u,v)+1 Ini tidak bekerja untuk semua nilai aaa ; aaa perlu setidaknya …

9 algorithms  graph-theory  shortest-path 

Dalam masalah Subset Sum, bisakah beberapa angka yang diberikan sama? Sebagai contoh, kita mungkin memiliki dan targetnya adalah ? Dapatkah saya berasumsi bahwa saya memiliki solusi spesifik dengan angka dan dan dan tidak?a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_n[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4]5552223331,1,11,1,11,1,1222

9 complexity-theory  terminology 

Saya ingin belajar lebih banyak tentang pemrograman concatenative melalui pembuatan bahasa kecil yang sederhana, berdasarkan stack dan mengikuti paradigma concatenative. Sayangnya, saya belum menemukan banyak sumber daya mengenai bahasa konkatatif dan implementasinya, jadi maafkan saya sebelumnya untuk kemungkinan kenaifan saya. Karena itu saya mendefinisikan bahasa saya sebagai urutan sederhana rangkaian …

8 logic  programming-languages  compilers  type-theory  type-checking 

Saya membaca kalimat ini dalam sebuah buku: Dalam arsitektur VLIW, kompiler / dan atau penulis perakitan memilih instruksi yang dapat dieksekusi secara paralel. Apa perbedaan antara penulis majelis dan kompiler? Apakah penulis majelis juga berarti sama dengan assembler?

8 compilers  assembly 

Anda menjamu liga basket 1 v 1 dengan jadwal pertandingan. Di akhir liga, Anda meminta setiap pemain untuk melaporkan rekor menang-kalah (tidak ada ikatan), tetapi Anda ingin memeriksa apakah kedudukan yang diusulkan benar-benar dimungkinkan berdasarkan jadwal. Misalnya: Anda memiliki empat pemain (Alice + Bob + Carol + Dave) dan jadwal …

8 algorithms  time-complexity 

Saya melihat ini pembacaan MIT pada kompleksitas komputasi dan sebentar 15:00 embarks Erik Demaine pada demonstrasi untuk menunjukkan apa yang dinyatakan dalam judul pertanyaan ini. Namun saya tidak dapat mengikuti alasannya, dalam praktiknya apa yang dia katakan adalah ini: kita dapat menyatakan masalah keputusan sebagai string dan yang dalam praktiknya …

8 computability  proof-techniques  decision-problem  uncountability 

Begitu NPNPNP singkatan dari masalah di mana kita memiliki saksi kecil yang dapat diverifikasi YESYESYES contoh dan c o NPcoNPcoNP untuk saksi kecil yang dapat diverifikasi NHAINONOcontoh. Bagaimana cara kerjanya? PNPPNPP^{NP} NPNPNPNPNP^{NP} c o NPNPcoNPNPcoNP^{NP} dan seterusnya?

8 complexity-theory  np 

Saya sedang membaca makalah ini di mana penulis menjelaskan Teorema 1, yang menyatakan "Obyek yang Dapat Dicapai" (sebagaimana didefinisikan dalam makalah ini) adalah NP-complete. Namun, mereka membuktikan pengurangan hanya dalam satu arah, yaitu dari 2P1N SAT ke Obyek yang Dapat Dicapai. Ini hanya membuktikan bahwa masalahnya adalah NP-hard; apakah kita …

8 complexity-theory  np-complete  np-hard  satisfiability 

Pertama-tama, saya minta maaf jika ini ditanyakan, tetapi saya benar-benar tidak menemukan apa pun. Saya menemukan artikel ini . Dikatakan bahwa ada masalah yang hanya bisa diselesaikan oleh Komputer Quantum. Dalam pemahaman saya, ini harus berarti, secara intuitif, bahwa masalah ini "dapat dihitung secara efektif", karena kita memiliki metode yang …

8 turing-machines  quantum-computing  church-turing-thesis 

Sebagai contoh, berikut ini semua pohon yang mungkin untuk kasus : Pada setiap simpul yang ditulis adalah aritynya (= jumlah anak).k=3k=3k=3 Sementara ini harus dipecahkan oleh pemrograman dinamis, saya pikir ada hasil kombinatorik dalam hal ini (baik batas atas yang agak halus atau berbutir halus). Apakah ada yang tahu? Edit: …

8 trees  combinatorics 

Saya melihat di mana-mana bahwa persamaan rekursif untuk kompleksitas Strassen alg adalah: T( n ) = 7 T(n2) + O (n2) .T(n)=7T(n2)+O(n2).T(n) = 7T(\tfrac{n}{2})+O(n^2).Ini tidak begitu jelas bagi saya. Parameternnn seharusnya ukuran input, tetapi tampaknya ini adalah satu dimensi dari matriks sedangkan ukuran input sebenarnya n2n2n^2. Juga, setiap matriks input …

8 algorithms  complexity-theory  divide-and-conquer  matrix