Sudoku adalah teka-teki terkenal yang dilengkapi NP. Binary Sudoku adalah varian yang hanya memungkinkan angka dan 1 . Aturannya adalah sebagai berikut.000111 Setiap baris dan setiap kolom harus mengandung jumlah nol dan yang sama. Setiap baris dan setiap kolom adalah unik. Tidak ada baris atau...
Saat menjawab pertanyaan ini di cstheory , saya (secara informal) membuktikan teorema berikut ini dengan segera: Teorema : Untuk setiap tetap > 3, masalah siklus Hamilton tetap NP-lengkap bahkan jika terbatas pada planar bipartit grafik tidak berarah tingkat maksimum 3 yang tidak mengandung...
Pertanyaan ini dimotivasi oleh postingan ini, Dapatkah Anda mengidentifikasi jumlah dari dua permutasi dalam waktu polinomial? , dan minat saya pada sifat komputasi permutasi. Sebuah perbedaan urutan dari permutasi π nomor 1 , 2 , ... n + 1 dibentuk dengan menemukan perbedaan antara setiap dua...
Dalam grafik yang diarahkan,G = ( V, E)G=(V,E)G=(V,E) , , jika G ∖ F adalah DAG (grafik asiklik terarah), F disebut set busur umpan balik. F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Jika setiap sisi dikaitkan dengan bobot , masalah set busur umpan balik biaya minimum adalah untuk menemukan F...
Saya ingin tahu apakah kelas NPC didefinisikan oleh banyak-satu pengurangan dan pengurangan Turing adalah sama. Sunting: Pertanyaan lain, apakah pengurangan Turing hanya menciutkan kelas C dan co-C untuk beberapa C atau apakah ada kelas seperti ada masalah tidak dalam C ∪ c o - C di bawah...
Dalam grafik, himpunan bebas adalah himpunan bagian verteks yang tidak mengandung tepi sebagai subgraf yang diinduksi. Masalah menemukan set independen terbesar dalam grafik adalah pertanyaan algoritmik yang mendasar, dan yang sulit pada saat itu. Mari kita pertimbangkan pertanyaan yang lebih umum...
Dalam kompleksitas parametrized orang menggunakan reduksi fixed-parameter-tractable (FPT) untuk membuktikan W [t] -kekerasan. Secara teoritis pengurangan FPT bukan pengurangan waktu polinomial, karena dapat dijalankan secara eksponensial pada parameter k. Tetapi dalam praktiknya semua pengurangan...
Pertanyaan ini dimotivasi oleh pertanyaan yang diajukan pada stackoverflow . Misalkan Anda diberi rooted tree (yaitu ada root dan node punya anak dll) pada n node (berlabel 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Setiap simpul memiliki bobot bilangan bulat non-negatif yang terkait: w i...
Nurikabe adalah teka-teki isian kisi-kisi berbasis kendala, mirip dengan Minesweeper / Nonograms; angka ditempatkan pada kisi yang harus diisi dengan nilai on / off untuk setiap sel, dengan masing-masing angka menunjukkan wilayah terhubung 'on' sel dengan ukuran itu, dan beberapa kendala kecil pada...
Saya tertarik pada variasi SAT di mana rumus CNF adalah monoton (tidak ada variabel yang dinegasikan). Formula seperti itu jelas memuaskan. Tetapi katakanlah jumlah variabel benar adalah ukuran seberapa baik solusi kami. Jadi kami memiliki masalah berikut: MINIMUM TRUE MONOTONE 3SAT INSTAN:...
Pertanyaan ini mungkin tidak bersifat teknis. Sebagai pembicara non-asli dan TA untuk kelas algoritma, saya selalu bertanya-tanya apa arti gadget dalam 'gadget klausa' atau 'gadget variabel'. Kamus mengatakan gadget adalah mesin atau perangkat, tapi saya tidak yakin apa artinya bahasa sehari-hari...
Masalah 3-Clique Partition adalah masalah menentukan apakah simpul dari sebuah grafik, misalnya , dapat dipartisi menjadi 3 klik. Masalah ini NP-hard dengan pengurangan sederhana dari masalah 3-colorability. Tidak sulit untuk melihat bahwa jawaban untuk masalah ini mudah ketika diam ( G ) = 1 atau...
Ini mirip dengan SAT, kecuali bahwa kita tahu penugasan masing-masing variabel, tetapi tidak tahu penugasan operator boolean apa pun. Dalam hal itu, apakah menemukan penugasan masing-masing operator sehingga ekspresi mengevaluasi nilai boolean yang diberikan masalah NPC? Sebenarnya, saya...
Masalah N-queen adalah ini: Input: N Keluaran: Penempatan N "ratu" pada papan catur NXN sehingga tidak ada dua ratu yang berada di baris, kolom, atau diagonal yang sama. Melakukan pencarian google pada ini, saya menemukan bahwa banyak slide oleh banyak profesor mengklaim ini adalah masalah...
Saya berpikir tentang kelas bahasa ini: adalah grafik, adalah bilangan alami dan adalah bilangan kromatis dariL = { ⟨ G , k ⟩ | GL.={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG }G}G\} Saya menganggap sebagai (1) "tidak ada pewarnaan warna k-1" dan (2) "ada pewarnaan warna k ". Sekarang, (1)...
Apakah ada dengan properti berikut:L ∈ N PL∈NPL\in {\bf NP} Diketahui bahwa menyiratkan .P = N PL ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Tidak ada (dikenal) waktu polinomial pengurangan Turing dari (atau beberapa masalah -Lengkap) ke .N P LSA TSATSATN PNP{\bf NP}L.LL Dengan kata lain,...
Saya mencari masalah NP-hard sangat untuk pengurangan. Sejauh ini saya telah menemukan masalah berikut: Masalah 3-partisi masalah bin-packing Pencocokan numerik 3 dimensi TSP Setiap masalah NP-lengkap tanpa data numerik, misalnya, KEPUASAN, SIKLUS HAMILTONIAN, 3-KOLABURITAS. Apakah ada yang...
Perbaiki kelompok terbatas . Saya tertarik pada masalah keputusan berikut: input adalah beberapa elemen dengan urutan parsial pada mereka, dan pertanyaannya adalah apakah ada permutasi dari elemen yang memenuhi pesanan dan sedemikian rupa sehingga komposisi elemen dalam order menghasilkan elemen...
Apakah masalah ini sudah dipelajari sebelumnya? Diberikan grafik tak berarah metrik G (panjang tepi memenuhi ketidaksamaan segitiga), temukan seperangkat S simpul sedemikian rupa sehingga MST (G [S]) dimaksimalkan, di mana MST (G [S]) adalah pohon rentang minimum dari subgraf yang diinduksi oleh...
Pertama-tama, pemahaman saya tentang teorema ketidaklengkapan Gödel (dan logika formal pada umumnya) sangat naif, juga pengetahuan saya tentang ilmu komputer teoretis (artinya hanya satu mata kuliah yang diambil saat saya masih sarjana), jadi pertanyaan ini mungkin saja sangat naif. Sejauh yang...