Pertanyaan yang diberi tag «reductions»

Saya berjuang untuk memahami hubungan antara NP-Intermediate dan NP-Complete. Saya tahu bahwa jika P! = NP berdasarkan Teorema Ladner ada kelas bahasa dalam NP tetapi tidak dalam P atau NP-Lengkap. Setiap masalah dalam NP dapat direduksi menjadi masalah NP-Complete, namun saya belum melihat contoh untuk mengurangi dugaan masalah NPI (seperti …

17 np-complete  reductions  factoring 

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 

Sebuah Hidoku adalah grid dengan beberapa bilangan bulat pra-diisi dari 1 sampai n 2 . Tujuannya adalah untuk menemukan jalur bilangan bulat berturut-turut (dari 1 hingga n 2 ) di grid. Lebih konkret, setiap sel grid harus mengandung bilangan bulat yang berbeda dari 1 ke n 2 dan setiap sel …

15 complexity-theory  reductions  np-hard 

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 

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 tautan ke masalah serupa untuk latihan lebih lanjut.

14 algorithms  reductions  halting-problem 

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 khusus.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Apakah ada masalah lengkap untuk (alias ) relatif terhadap pengurangan yang lebih lemah? Pengurangan Turing …

14 computability  reductions  turing-completeness  recursion-theory 

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 

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 ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} adalah banyak-satu ruang log dapat direduksi menjadi s …

14 complexity-theory  reductions  space-complexity 

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 

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 yang sama sehingga kedua set memiliki jumlah …

13 complexity-theory  reductions  np-complete 

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 AM. Karena AM = BP.NP, tampaknya pergi ke "reduksi" …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

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 B Definisi: Pengurangan Levin Masalah pencarian adalah Levin dapat direduksi menjadi masalah pencarian jika ada fungsi waktu polinom sehingga Karp …

12 complexity-theory  reductions  check-my-proof 

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 dengan koordinat bilangan bulat di sehingga setiap persegi panjang mencakup setidaknya …

11 complexity-theory  reductions  np-hard