Planar 3SAT adalah NP-complete. Contoh planar 3SAT adalah instance 3SAT yang grafiknya dibuat menggunakan aturan berikut adalah planar: tambahkan simpul untuk setiap dan ¯ x ixsayaxsayax_ixsaya¯xsaya¯\bar{x_i} tambahkan simpul untuk setiap klausa CjCjC_j menambahkan keunggulan untuk setiap...
Saya punya masalah: Tunjukkan bahwa ada bilangan real yang tidak ada program yang berjalan sangat lama dan menulis angka desimal angka itu. Saya kira itu bisa diselesaikan dengan menguranginya menjadi masalah Berhenti, tetapi saya tidak tahu bagaimana melakukannya. Saya juga akan menghargai...
Bahasa seperti adalah bawah banyak-satu reduksi. Sangat sepele untuk melihat bahwa memiliki masalah. S. Schmitz [1] mempertimbangkan beberapa kelas antara dan . Mereka menghadirkan masalah lengkap untuk kelas-kelas ini di bawah pengurangan yang dibuat
Kita tahu bahwa adalah di N L oleh Immerman-Szelepcsényi Teorema Teorema dan karena s t - c o n n e c t i v i t y adalah Karenanya, N L - h a r d s t - n
Jadi, seperti diketahui, masalah keputusan 0-1 ILP adalah NP-complete. Menampilkannya dalam NP mudah, dan pengurangan aslinya dari SAT; sejak itu, banyak masalah NP-Lengkap lainnya telah terbukti memiliki formulasi ILP (yang berfungsi sebagai pengurangan dari masalah tersebut ke ILP), karena ILP...
Karena Integer Linear Programming adalah NP-complete, ada pengurangan Karp dari setiap masalah di NP untuk itu. Saya pikir ini menyiratkan bahwa selalu ada formulasi ILP berukuran polinomial untuk setiap masalah dalam NP. Tetapi saya telah melihat makalah tentang masalah NP spesifik di mana orang...
Masalah 3-Partisi menanyakan apakah satu set bilangan bulat dapat dipartisi menjadi n set tiga bilangan bulat sehingga setiap set berjumlah hingga beberapa bilangan bulat B yang diberikan . Masalah Balanced Partition menanyakan apakah bilangan bulat 2 n dapat dipartisi menjadi dua set kardinalitas...
Definisi: Pengurangan Karp Bahasa adalah Karp dapat direduksi menjadi bahasa jika ada fungsi yang dapat dihitung polinomial waktu sedemikian rupa sehingga untuk setiap , jika dan hanya jika .AAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in...
Saya ingin tahu apakah ada masalah lengkap di kelas kompleksitas Arthur-Merlin. Grafik Non-Isomorfisme (GNI) tampaknya menjadi contoh kanonik dari suatu masalah di AM, tapi itu mungkin bukan yang lengkap. Saya kira saya juga bertanya-tanya apakah masalah "lengkap" didefinisikan dengan baik untuk...
Saya minta maaf jika pertanyaan ini memiliki beberapa jawaban sepele yang saya lewatkan. Setiap kali saya mempelajari beberapa masalah yang telah terbukti tidak dapat diputuskan, saya mengamati bahwa buktinya bergantung pada pengurangan ke masalah lain yang telah terbukti tidak dapat diputuskan....
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...
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...
Putaran Tes Google Hash Code 2015 ( pernyataan masalah ) bertanya tentang masalah berikut: input: kisi dengan beberapa kotak yang ditandai, ambang , area maksimalMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} Output: total luas kemungkinan terbesar dari serangkaian persegi panjang menguraikan...
Kami telah memiliki beberapa pertanyaan tentang hubungan pengurangan Cook dan Karp . Jelas bahwa pengurangan Cook (pengurangan Turing polinomial-waktu) tidak mendefinisikan gagasan yang sama tentang kelengkapan NP seperti pengurangan Karp (pengurangan polynomial-time-one-one), yang biasanya...
Untuk alasan tentang hal-hal seperti kelengkapan NP, kami biasanya menggunakan banyak-satu pengurangan (yaitu, pengurangan Karp). Ini mengarah ke gambar seperti ini: (di bawah dugaan standar). Saya yakin kita semua akrab dengan hal semacam ini. Gambar apa yang kita dapatkan, jika kita bekerja...
Pertimbangkan masalah berikut yang input instansinya adalah grafik sederhana dan bilangan bulat alami .GGGkkk Apakah ada himpunan sehingga adalah bipartit dan ?S⊆ V( G )S⊆V(G)S \subseteq V(G)G - SG-SG - S| S| ≤k|S|≤k|S| \leq k Saya ingin menunjukkan bahwa masalah ini adalah -complete dengan...
Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa...
Apakah Mesin Turing yang diizinkan untuk membaca dan menulis simbol dari alfabet tak terbatas lebih kuat daripada TM biasa (itulah satu-satunya perbedaan, mesin masih memiliki sejumlah negara terbatas)? Intuisi tidak memberi tahu saya, karena Anda memerlukan jumlah negara tak terbatas untuk...
Katakanlah kita tahu bahwa masalah A itu sulit, maka kita mengurangi A menjadi masalah yang tidak diketahui B untuk membuktikan B juga sulit. Sebagai contoh: kita tahu pewarnaan 3 itu sulit. Lalu kami mengurangi 3-pewarnaan menjadi 4-pewarnaan. Dengan menggabungkan salah satu warna dalam...
Ada pengurangan terkenal dan elegan dari masalah pencocokan bipartit maksimum untuk masalah max-aliran: kita membuat jaringan dengan node sumber , node terminal , dan satu node untuk setiap item untuk dicocokkan, lalu tambahkan tepi yang tepat.tsssttt Pasti ada cara untuk mengurangi aliran...