«np-hard» etiketlenmiş sorular

en azından NP-tam sorunları kadar zor olan karar problemleri

6
Neden bilinen NP-Hard problemlerine dayanan bir şifreleme algoritması olmamıştır?
RSA gibi günümüzde şifrelemenin çoğu, NP zorlu bir sorun olduğuna inanılmayan tam sayı çarpanlarına dayanıyor, ancak onu kuantum bilgisayarlara karşı savunmasız kılan BQP'ye ait. Merak ediyorum, neden bilinen bir NP-zor soruna dayanan bir şifreleme algoritması olmadı merak ediyorum. (En azından teoride), NP-zor olduğu kanıtlanmamış bir sistemden daha iyi bir şifreleme …
1
Depoları minimum hareketle doldurmak NP-zor mu?
Vardır kutuları ve topları türü. inci bin Etiketlerin sahip için , o tipi topları beklenen numarası .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj J tipi bjbjb_j topları ile başlar . Tipi Her top j ağırlığı vardır w_j ve bidonları içine öyle ki bin topları koymak istiyorum ben kilo vardır c_i . Önceki durumun tutabileceği …
2
NP'de olmayan fakat karar verilebilen NP-Zor problemleri
NP-Komple olmayan ve çözülemeyen NP-Zor probleminin kolay anlaşılır bir örneği olup olmadığını merak ediyorum. Örneğin, durma sorunu NP-Hard'tır, NP-Complete değil, ancak kararlaştırılamaz. Bunun, bir çözümün polinom zamanında doğrulanamamasının ancak bir problem olduğu anlamına geldiğine inanıyorum. (Lütfen böyle değilse, bu ifadeyi düzeltin).
2
C'nin boş tipi neden boş / alt tipe benzemiyor?
Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
2
Zaman dilimlerinin satış blokları
Verilen zaman dilimleri olduğunu insanlar satın almak istiyorum. Kişi bir değerin h (i, j) \ geq 0 her bir zaman dilimi için j . Her insan, boş olabilen sadece bir ardışık zaman dilimi bloğu alabilir.n, nnk kkı iih ( i , j ) ≥ 0 h(i,j)≥0h(i,j)\geq 0jjj Satıcının elde edebileceği …
2
Dominosa NP-Hard mı?
Bu soru Matematik Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsası'ndan cevaplandırılabilir. 6 yıl önce göç etmiş . Dominosa nispeten yeni bir bulmaca oyunudur. Bir ( n + 1 ) × ( n + 2 )(n+1)x(n+2)(n+1)\times(n+2) ızgarasında oynatılır . Oyun başlamadan önce domino kemikleri ( 0 ,0),(0,1),…,(n,n)(0,0),(0,1),…,(n,n)\left(0,0\right),\left(0,1\right),\ldots,\left(n,n\right) …
1
NPI içindeki hiyerarşi için doğal adaylar
Diyelim ki . , de, ne P ne de N P- hard'de olmayan problemlerin sınıfıdır. N P I olarak düşünülen problemlerin bir listesini burada bulabilirsiniz .N P ı K PP≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Ladner teoremi eğer söyler NP≠PNP≠P\mathsf{NP}\neq\mathsf{P} sonra sonsuz bir hiyerarşi yoktur NPINPI\mathsf{NPI} sorunları, yani orada NPINPI\mathsf{NPI} zor diğerinden daha …
2
Altküme Toplamı: özel durumu genel duruma düşür
Wikipedia , alt küme toplamı problemini, toplamı sıfır olan belirli bir tamsayı çoklu kümesinin bir alt kümesini bulmak olarak belirtir. Bundan başka, bu miktar ile bir alt bulmak eşdeğer olduğunu bildiren herhangi bir için .ssssss Bu yüzden eşdeğer oldukları için her iki tarafta da bir azalma olması gerektiğine inanıyorum. Bir …
1
3SAT'tan Hamilton yolu sorununa kolay azaltma
Sipser'in "Hesaplama teorisine giriş", sayfa 286'da 3SAT'tan Hamilton yolu sorununa bir azalma var. Daha basit bir azalma var mı? Daha basit bir ifadeyle, (öğrenciler için) anlaşılması daha kolay bir indirgeme kastediyorum. Doğrusal sayıda değişken kullanan bir azalma var mı? Sipser'deki azalma, cümlelerinin sayısı ve değişkenlerin sayısı olduğu değişkenlerini kullanır . …
1
“Flow Free” bulmacaları NP zor mu?
"Ücretsiz Akış" bulmacası, pozitif bir tamsayı ve her bir tepe noktası en fazla bir çift olacak şekilde n × n ızgara grafiğindeki (köşesiz) bir dizi farklı köşeden oluşur . Böyle bir bulmacanın çözümü , grafikteki yöneltilmemiş yollar kümesidir, böylece her tepe noktası tam olarak bir yolda olur ve her yolun …
2
Hidoku NP tamamlandı mı?
Hidoku, 1 ila arasında önceden doldurulmuş bazı tamsayılara sahip ızgarasıdır . Amaç, ızgarada birbirini izleyen tamsayıların (1'den ) bir yolunu bulmaktır . Daha somut olarak, ızgaranın her hücresinin 1'den kadar farklı bir tamsayı içermesi ve değerine sahip her hücrenin değerine sahip bir komşu hücresi olması gerekir (çapraz olarak da olabilir).n …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.