Pertanyaan yang diberi tag «np-complete»

Kita mengatakan bahwa bahasa adalah padat jika ada polinomial p sehingga | J c ∩ Σ n | ≤ p ( n ) untuk semua n ∈ N . Dengan kata lain, untuk setiap panjang n yang diberikan hanya ada banyak kata panjang n secara polinomi yang tidak ada dalam …

16 complexity-theory  time-complexity  np-complete  satisfiability 

Saya memiliki kesan bahwa untuk setiap masalah NP-complete, untuk banyak ukuran input , jumlah yes-instance atas semua kemungkinan input ukuran n , adalah (setidaknya) eksponensial dalam .nnnnnnnnn Apakah ini benar? Bisakah itu dibuktikan (mungkin hanya dengan asumsi bahwa )? Atau bisakah kita, mungkin secara artifisial, menemukan masalah di mana untuk …

15 complexity-theory  np-complete  np-intermediate 

Kami memiliki kisi. Kami memiliki koleksi persegi panjang di grid ini, setiap persegi panjang dapat direpresentasikan sebagai -by- biner matriks . Kami ingin menutupi kotak dengan persegi panjang itu.N 1 N 2 RN1×N2N1×N2N_1 \times N_2N1N1N_1N2N2N_2RRR Apakah versi keputusan set masalah cover ini NP-complete? Input: Koleksi dari persegi panjang di grid …

15 complexity-theory  np-complete  set-cover 

Kami memiliki DAG. Kami memiliki fungsi pada node F: V→ NF:V→NF\colon V\to \mathbb N (secara longgar, kami beri nomor pada node). Kami ingin membuat grafik terarah baru dengan aturan ini: Hanya node dengan nomor yang sama dapat dikontrak ke node baru yang sama. F( x ) ≠ F( y) ⇒ …

15 algorithms  graphs  np-complete  reductions 

Rupanya, jika P=NPP=NP{\sf P}={\sf NP} , semua bahasa dalam PP{\sf P} kecuali ∅∅\emptyset dan Σ∗Σ∗\Sigma^* akan menjadi NPNP{\sf NP} -lengkap. Mengapa dua bahasa ini khususnya? Tidak bisakah kita mengurangi bahasa lain dalam PP{\sf P} ke mereka dengan mengeluarkannya saat menerima atau tidak menerima?

15 complexity-theory  np-complete  reductions 

Misalkan A direduksi ke B, yaitu, . Oleh karena itu, mesin Turing menerima A memiliki akses ke oracle untuk B . Biarkan Turing mesin menerima A menjadi M A dan oracle untuk B menjadi O B . Jenis pengurangan:A≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} Turing pengurangan: dapat membuat beberapa pertanyaan untuk O B …

15 complexity-theory  np-complete  reductions  complexity-classes 

Apakah terbukti bahwa perhitungan kuantum tidak lebih baik dalam menyelesaikan masalah NP lengkap daripada perhitungan klasik atau hanya dipercaya?

14 np-complete  quantum-computing 

Saya yakin seseorang telah memikirkan hal ini sebelum atau segera menolaknya, tetapi mengapa teori dikotomi Schaefer bersama dengan teorema Mahaney tentang set jarang tidak menyiratkan P = NP? Inilah alasan saya: Buat bahasa yang sama dengan SAT berpotongan dengan set jarang decidable terbatas. Maka L juga harus jarang. Karena L …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

Saya bertanya-tanya, apa algoritma yang paling terkenal, dalam hal notasi Big- , untuk menyelesaikan Integer Linear Programming?OOO Saya tahu bahwa masalah adalah -Lengkap, jadi aku tidak mengharapkan apa-apa polinomial. Dan saya tahu ada banyak heuristik dan yang digunakan dalam aplikasi praktis seperti CPLEX, tapi saya lebih tertarik pada formalitas, kompleksitas …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Jika sebenarnya sama dengan , bagaimana hal ini akan meningkatkan algoritma kami menjadi faktor integer lebih cepat. Dengan kata lain, wawasan seperti apa yang akan diberikan fakta ini dalam memahami faktorisasi bilangan bulat lebih baik?PP{\sf P}N PNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

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 pasangan( xsaya, xsaya¯)(xsaya,xsaya¯)(x_i,\bar{x_i}) tambahkan edge dari vertex (atau ¯ x i ) ke setiap …

14 np-complete  reductions  satisfiability  3-sat 

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 menulis hal-hal seperti "ini adalah formulasi …

14 complexity-theory  np-complete  reductions  linear-programming 

Masalah bandwidth minimum adalah menemukan urutan node grafik pada garis integer yang meminimalkan jarak terbesar antara dua node yang berdekatan. Masalah keputusan adalah NP-lengkap bahkan untuk pohon biner. Hasil Kompleksitas untuk Minimalisasi Bandwidth. Garey, Graham, Johnson dan Knuth, SIAM J. Appl. Matematika., Vol. 34, No.3, 1978 . Apa hasil aproksimasi …

14 complexity-theory  np-complete  reference-request  approximation 

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 sangat berguna secara umum. Pengurangan dari ILP tampaknya jauh lebih …

14 np-complete  reductions  satisfiability  integer-programming 

Misalkan ada sesi tutorial di universitas. Kami memiliki serangkaian pertanyaan dan satu set siswa . Setiap siswa memiliki keraguan dalam subset pertanyaan tertentu, yaitu untuk setiap siswa , biarkan menjadi set pertanyaan yang siswa ragukan. Asumsikan bahwa \ forall 1 \ leq j \ leq n: Q_j \ neq \ …

13 algorithms  complexity-theory  np-complete  np-hard