Pertanyaan yang diberi tag «np-complete»

Saya tertarik pada generalisasi alami dari 15-puzzle yang terkenal , di mana Anda harus menggeser blok sampai Anda telah mengurutkan semua angka yang diberikan (biasanya ada celah 1 blok). Sekarang generalisasi akan memperluas ukuran puzzle dari 15 ke , di mana satu bidang gratis. Saya telah membuat ilustrasi kecil (panah …

35 cc.complexity-theory  np  np-complete 

Apakah ada bahasa NP-complete (lebih disukai natural) , sehingga untuk setiap n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 tahan? Dengan kata lain, L mengandung tepat setengah dari semua instance n- bit.L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

Akses ke oracle akan memberikan percepatan super-polinomial besar untuk semua yang ada di (dengan asumsi set tidak kosong). Hal ini kurang jelas, bagaimanapun, berapa banyak akan manfaat dari akses oracle ini. Tentu saja, percepatan dalam tidak bisa super polinomial, tetapi masih bisa polinomial. Misalnya, dapatkah kita menemukan jalur terpendek lebih …

23 cc.complexity-theory  np  np-complete 

László Babai baru-baru ini membuktikan bahwa masalah Graph Isomorphism berada dalam masa quasipolynomial . Lihat juga ceramahnya di University of Chicago, catatan dari pembicaraan oleh Jeremy Kun GLL pos 1 , GLL pos 2 , GLL pos 3 . Menurut teorema Ladner, jika , maka tidak kosong, yaitu berisi masalah …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Katakanlah bahasa adalah P -density-close jika ada algoritma waktu polinomial yang memutuskan pada hampir semua input dengan benar.LLLLLLL Dengan kata lain, ada P , sehingga menghilang, yang berarti Ini juga berarti bahwa pada input acak yang seragam, algoritma polytime untuk A akan memberikan jawaban yang benar untuk L dengan probabilitas …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

Apakah ada masalah lengkap NP tanpa subset instance sedemikian sehingga keanggotaan dalam dapat diputuskan dalam waktu polinomial, dan untuk semua , dapat diselesaikan dalam waktu polinomial? (Dengan asumsi )Φ x ∈ Φ x P ≠ N P.ΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhixxxP≠ NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

Yang terkenal isomorfisma dugaan dari Berman dan Hartmanis mengatakan bahwa semua bahasa -Lengkap adalah waktu polinomial isomorfik (p-isomorfik) satu sama lain. Pentingnya kunci dari dugaan adalah bahwa hal itu menyiratkan P ≠ N P . Itu diterbitkan pada tahun 1977, dan sepotong bukti pendukung adalah bahwa semua N P masalah …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Algoritma hashing kata sandi yang umum digunakan bekerja seperti ini hari ini: Garam kata sandi dan beri makan ke dalam KDF. Misalnya, menggunakan PBKDF2-HMAC-SHA1, proses hashing kata sandi adalah DK = PBKDF2(HMAC, Password, Salt, ...). Karena HMAC adalah hashing 2 putaran dengan kunci empuk, dan SHA1 serangkaian permutasi, shift, rotasi, …

16 np-hardness  cr.crypto-security  np-complete  security 

Saya baru-baru ini membaca makalah yang sangat bagus oleh Valiant dan Vazirani yang menunjukkan bahwa jika , maka tidak akan ada algoritma yang efisien untuk menyelesaikan SAT bahkan di bawah janji bahwa itu tidak memuaskan atau memiliki solusi yang unik. Dengan demikian menunjukkan bahwa SAT tidak mengakui algoritma yang efisien …

14 np-hardness  np-complete  unique-solution  promise-problems 

Apa kompleksitas dari masalah berikut ini? Masukan : HHH a jalur Hamilton diKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 subset pasangan simpul bilangan bulat positifkkk Pertanyaan : apakah ada cocok sehingga untuk setiap , ? (di mana )( v , u ) ∈ RMMM(v,u)∈R(v,u)∈R(v,u) \in RdG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq kG=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) Saya …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Untuk setiap bahasa lengkap NP yang sewenang-wenang, adakah selalu superset polytime yang komplemennya juga tidak terbatas? Versi sepele yang tidak menetapkan superset memiliki pelengkap tak terbatas telah diminta di /cs//q/50123/42961 Untuk keperluan pertanyaan ini, Anda dapat mengasumsikan bahwa . Seperti yang dijelaskan Vor, jika maka jawabannya adalah "Tidak". (Jika , …

14 cc.complexity-theory  np-complete  structural-complexity 

Ketika kita ingin membuktikan bahwa adalah -Lengkap, maka pendekatan standar untuk menunjukkan waktu polinomial komputasi pengurangan banyak-salah satu yang dikenal masalah -Lengkap untuk . Dalam konteks ini kita tidak perlu terikat ketat pada waktu pengurangan berjalan. Itu sudah cukup untuk telah setiap polinomial terikat, yang memungkinkan bahwa mungkin mungkin memiliki …

13 cc.complexity-theory  reductions  np-complete 

'Diberikan a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , apakah ada x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' adalah NPNP\mathsf{NP} -complete. Kelas kompleksitas mana yang 'Diberikan , adakah x , y ∈ N , a x 2 + b y 2 = c ' milik?a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by2=cax2+by2=cax^2+by^2=c

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

Pertimbangkan grafik tidak langsung yang terhubung dengan bobot tepi non-negatif, dan dua simpul dibedakan . Di bawah ini adalah beberapa masalah lintasan yang semuanya dari bentuk berikut: temukan lintasan , sedemikian sehingga beberapa fungsi bobot tepi pada lintasan adalah minimum. Dalam hal ini mereka semua adalah "saudara" dari masalah jalan …

10 graph-theory  graph-algorithms  np-complete  polynomial-time