Sudoku adalah puzzle terkenal yang dikenal sebagai NP-complete dan ini adalah kasus khusus masalah yang lebih umum yang dikenal sebagai kotak Latin. Solusi yang benar dariN×NN×NN \times N kuadrat terdiri dari mengisi setiap baris dan setiap kolom dengan angka dari 111 untuk NNN dengan ketentuan...
Ketika teorema terkenal Savitch dinyatakan, orang sering melihat persyaratan bahwa dapat dibangun dalam ruang (yang menariknya, dihilangkan dalam Wikipedia). Pertanyaan sederhana saya adalah: Mengapa kita membutuhkan ini? Saya mengerti persyaratan untuk berada di , yang jelas dari buktinya. Tapi...
Saya punya sedikit masalah untuk memahami bukti Teorema Time Hierarchy (Hennie and Stearns, 1966) yang memastikan keberadaan bahasa yang dapat diterima dalam tetapi tidak dapat diterima dalam untuk fungsi apa pun , sehingga dapat dikonstruksi waktu
Saya mencoba (secara intuitif) memahami dua istilah "decidability" dan "verifiability". Saya telah melakukan banyak pencarian dan pencarian berbagai teks yang dapat saya lakukan. Namun, pemahaman intuitif mereka nampaknya lepas dari saya, khususnya untuk yang kedua. Dari banyak definisi yang...
Diberikan grafik , cari simpul , yang penghapusan akan menghasilkan grafik dengan komponen terkecil terkecil. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Saya berasumsi untuk besardan besar masalahnya sulit (NP-keras), tapi saya tertarik pada nilai kecil ( ).n=|V|n=|V|n...
Saya punya grafik GkGkG_k dan HkHkH_k dengan | V(Gk) | = | V(Hk)|2 k=n2 k|V(Gk)|=|V(Hk)|2k=n2k|\mathcal{V}(G_k)|=|\mathcal{V}(H_k)|^{2k}=n^{2k} dengan k∈Nk∈Nk\in\Bbb Nyang lulus pemeriksaan kewarasan seperti lemma tanpa homomorfisme. Apakah ada alat gratis dan mudah digunakan untuk menguji...
Saya mengalami kesulitan memahami mengapa mudah mendeteksi siklus bobot negatif (Bellman Ford) tetapi sulit menemukan siklus bobot maksimum dalam grafik yang tidak diarahkan. Jika kita meniadakan bobot masing-masing sisi, kita dapat dengan mudah menemukan apakah ada siklus dengan berat total>...
Baru-baru ini, saya membaca makalah tentang dikotomi . Saya tidak mengerti kondisi apa yang bisa disebut dikotomi ? Apa arti dari "sebuah pertanyaan baik di P atau di NP - lengkap "? (asumsikan P NP )≠≠\neq Sebagai contoh, saya sudah tahu teorema dikotomi Schaefer, di mana dikotomi tentang...
Saya belajar tentang analisis asimptotik, dan telah melihat beberapa kerumitan yang terlihat eksotis yang hidup di antara yang umum lainnya. Misalnya "log log n" adalah antara 1 dan log n. Itu membuat saya bertanya-tanya apakah seseorang dapat selalu menemukan kompleksitas di antara dua...
Kita tahu bahwa P = NP menyiratkan NP = coNP. Apakah implikasi sebaliknya berlaku? Apakah NP sama dengan BNP menyiratkan bahwa P sama dengan NP? Jika tidak, mengapa tidak? Saya mencari di Google tetapi tidak menemukan
Baru-baru ini saya telah berurusan dengan masalah yang mengarahkan saya ke pertanyaan-pertanyaan berikut: Apakah ada algoritma yang baik untuk menghitung semua pencocokan maksimum / sempurna dalam grafik umum? Apakah ada algoritma yang baik untuk menemukan semua pencocokan maksimum / sempurna...
Saya telah mencoba mencari online, tetapi saya tidak dapat menemukan pernyataan yang pasti. Masuk akal bagi saya bahwa Persatuan dan Persimpangan dua bahasa NPC akan menghasilkan bahasa yang tidak harus dalam NPC. Apakah benar juga bahwa bahasa NPC tidak ditutup di bawah operasi pelengkap,...
Nick's Class (NC) adalah kelas masalah yang dapat diputuskan dalam waktu poly-log menggunakan sejumlah prosesor polinomial. Saya ingin tahu tentang analog eksponensial, yang akan mencakup masalah yang dapat diputuskan dalam waktu polinomial menggunakan jumlah prosesor yang eksponensial. Apa yang...
Misalkan adalah masalah keputusan yang dapat ditentukan.ΠΠ\Pi Apakah menyiratkan adalah -Hard?Π ∉ NPΠ∉NP\Pi\not \in NPΠΠ\PiNPNPNP Sunting: jika kita asumsikan ada maka kita selesai. Bisakah kita menyangkal klaim tanpa asumsi yang tidak diketahui?Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus...
Saya mencoba untuk menghubungkan Combinational Logic Circuits (komputer berdasarkan hanya pada gerbang logis) dengan semua yang saya pelajari baru-baru ini dalam Theory of Computation. Saya bertanya-tanya apakah sirkuit logika kombinasional dapat mengimplementasikan komputasi dengan cara yang...
Saya diberikan n objek, dan satu set n permutasi dari n objek ini (dari n! Total permutasi). Ada permutasi mendasar yang sebenarnya, yang saya tahu adalah salah satu di antara set permutasi, tetapi saya tidak tahu yang mana. Namun oracle tahu permutasi yang sebenarnya. Untuk menemukan permutasi...
Pertanyaan: Bisakah ada hash (aman secara kriptografis) yang menjaga topologi informasi { 0 , 1}∗{0,1}∗\{0,1\}^{*}? Bisakah kita menambahkan predikat kedekatan yang dapat dihitung secara efisien yang diberikan hk( x )hk(x)h_k(x) dan hk( y)hk(y)h_k(y) (atau yyy sendiri) memberi tahu kita jika...
Jadi kami baru belajar tentang reducibilitas diri di kelas. Profesor saya dan buku teks kami tidak akan berkomitmen untuk mengatakan bahwa semua masalah dalam NP dapat direduksi sendiri, tetapi sepertinya tidak ada contoh masalah yang tidak. Saya bertanya-tanya apakah ada contoh, atau hanya situasi...
Saya tidak dapat menemukan grafik yang menggambarkan atau teks yang menjawab pertanyaan berikut: Apakah ada hubungan langsung antara kompleksitas suatu algoritma (seperti kasus cepat / terbaik terbaik), dan kelas automata yang dapat mengimplementasikan algoritma. Misalnya apakah ada serangkaian...
Saya akan terkejut jika ini bukan masalah yang dipelajari dengan baik, tapi saya tidak yakin apa lagi yang harus dicari pada saat ini: Anda diberi satu set biner nnn-Vektor S⊂ { 0 , 1}nS⊂{0,1}nS \subset \{0,1\}^n. Masalahnya adalah untuk menemukan satu set binernnn-Vektor B ⊂ { 0 , 1}nB⊂{0,1}nB...