«np-complete» etiketlenmiş sorular

Karmaşıklıkla ilgili yasal kodla ilgili bir çalışma olup olmadığını bilmek istiyorum. Özellikle, “Bu kanun kitabı ve bu özel şartlar kümesi göz önüne alındığında, sanık suçlu mu?” Karar sorunumuzu varsayalım. Hangi karmaşıklık sınıfına aittir? Sihirli oyunun Magic: The Gathering'in hem NP hem de Turing-complete olduğunu ispatlayan sonuçlar var, bu yüzden yasal …

64 complexity-theory  np-complete  decision-problem 

Yardımcı olmayan zaman algoritmaları kanıtlanmış NP-komple problemler var mı? Genel dava girdilerini soruyorum, buradaki izlenebilir özel davalardan bahsetmiyorum. Üstel üstel olarak, polinomların üzerinde, ancak üstelden daha az, örneğin gibi bir büyüme sırası anlamına gelir .nkütüknnlog⁡nn^{\log n}

51 complexity-theory  np-complete  np 

Sırt çantası problemleri dinamik programlama ile kolayca çözülür. Dinamik programlama polinom sürede çalışır; Bu yüzden yapıyoruz, değil mi? Aslında bunun NP-tamamlanmış bir sorun olduğunu okudum, ancak bu, polinom problemindeki problemi çözmenin muhtemelen imkansız olduğu anlamına geliyor. Benim hatam nerde?

50 complexity-theory  np-complete  dynamic-programming 

" NP-komple sorunların listesi " hakkındaki Wikipedia girdisini okudum ve süper mario, pokemon, tetris veya şeker ezmesi destanı gibi oyunların np-tamam olduğunu öğrendim. Bir oyunun np-eksiksizliğini nasıl hayal edebilirim? Cevapların çok kesin olması gerekmez. Sadece oyunların np-tam olabileceği anlamına bir genel bakış elde etmek istiyorum.

50 complexity-theory  np-complete  computer-games 

Bir programcı olduğumu ve onu çözmek için ihtiyacım olan NP-tamam bir sorunum olduğunu varsayalım. NPC problemleriyle başa çıkmak için hangi yöntemler mevcut? Bu konuda bir anket ya da benzeri bir şey var mı?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

NPNP\mathsf{NP} ( PP\mathsf{P} değil) Complete değil, bilinen herhangi bir sorun var mı? Benim anladığım şu ki, durumun olduğu yerde şu anda bilinen bir sorun yok, ancak bir olasılık olarak göz ardı edilmedi. NPNP\mathsf{NP} Bir sorun varsa NPNP\mathsf{NP} (ve PP\mathsf{P} ), ancak NP-completeNP-complete\mathsf{NP\text{-}complete} , bu durum sorun örnekleri arasında mevcut bir …

34 complexity-theory  np-complete  p-vs-np 

Bu yüzden TSP (Seyahat eden satıcı problemi) karar problemi NP tamamlandı . Fakat TSP'ye verilen bir çözümün polinom zamanında gerçekte optimal olduğunu, polinom zamanında optimal çözümü bulamayacağımıza göre (sorunun P'de olmadığı için) nasıl olduğunu nasıl anlayabileceğimi anlamıyorum? Doğrulamanın polinom zamanında yapılabileceğini görmeme yardımcı olabilecek herhangi bir şey var mı?

31 complexity-theory  np-complete  traveling-salesman 

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 

Bir çift çiftim var. Her çift, (x, y) formundadır, öyle ki, x, y, aralıktaki tam sayılara aittir [0,n). Yani, n 4 ise, o zaman aşağıdaki çiftleri var: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Zaten çiftlerim var. Şimdi, n/2tamsayıların hiçbirinin tekrarlanmayacağı şekilde çiftler kullanarak bir kombinasyon oluşturmam gerekiyor (başka bir deyişle, …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Karmaşıklık kursu alıyorum ve NPC sorunları arasında bir düşüşle karşılaşmakta güçlük çekiyorum. Sorunlar arasındaki azalmaları nasıl bulabilirim? Kullanabileceğim genel bir numara var mı? NPC olduğunu kanıtlamamı isteyen bir soruna nasıl yaklaşmalıyım?

27 complexity-theory  np-complete  proof-techniques  reductions 

Okuduğum tüm tamamlama kanıtlarının hepsinde (hatırlayabildiğim), bir sorunun içinde olduğunu ve bunun olduğunu göstermek her zaman önemsizdir. -hard ... zor kısmıdır. Hangi -complete problemleri polinom-zaman doğrulayıcıları son derece önemsiz olanlardır?NP\textbf{NP}NP\textbf{NP}NP\textbf{NP}NP\textbf{NP}

27 complexity-theory  np-complete  np 

Bu son XKCD şeridinde ve bu son blog gönderisinde görüldüğü gibiPeter Norvig'den (ve ikincisini içeren bir Slashdot öyküsünden), "regex golf" (normal ifade ayırma problemi olarak daha iyi denebilir), A kümesindeki her kelimeyi kabul eden ve hiç kelimede olmayan en kısa normal ifadeyi tanımlama bulmacasıdır. set B. Norvig'in görevinde oldukça kısa …

27 complexity-theory  np-complete  regular-expressions 

Bu soru StackOverflow hakkındaki bir yorumdan ilham almıştır . Garey Johnson kitabının NP-komple sorunlarını bilmenin yanı sıra, diğerleri; Bir problemin NP-tamamlayıcısı gibi görünüp görünmediğini bilmek için bir kural var mı? Sıkı bir şey aramıyorum, ancak çoğu durumda işe yarayan bir şey arıyorum. Tabii ki, her zaman bir problemin NP tamamlandı …

26 complexity-theory  np-complete  intuition 

Gayri Problem Sorunu: Bir dize verildiğinde, örneğin ACCABBABACCABBABACCABBAB , bazı harfleri kırmızı, bazı harfleri mavi (ve bazılarını değil) renklendirmek istiyoruz, öyle ki sadece soldan sağa doğru kırmızı harfleri okumak aynı sonucu verir. sadece mavi harfler. Örnekte onları şu şekilde renklendirebiliriz: ACCABBABACCABBABA\color{blue}{C}\color{red}{CAB}B\color{blue}{AB} Bu nedenle, A C C A B B A …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

Bilgisayar bütünlüğü uzmanlarına NP eksiksizliği öğretmenin en iyi yolunu sormakla ilgileniyorum. Özellikle, Karp azaltmalarını kullanarak mı yoksa Turing azaltmalarını mı kullanmalıyız? NP bütünlüğü ve azaltma kavramlarının her bilgisayar biliminin bilmesi gereken bir şey olduğunu hissediyorum. Ancak, NP'nin eksiksizliğini öğretirken, Karp azaltmalarının kullanımının bazı olumsuzlukları olduğunu fark ettim. Her şeyden önce, …

25 complexity-theory  np-complete  reductions  education  didactics