«decision-problem» 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 

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 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 7 yıl önce göç etti . Her bir optimizasyon / arama probleminin eşdeğer bir karar problemi olduğu bilinmektedir. Örneğin en kısa yol problemi : optimizasyonu / arama bu bir yönsüz ağırlıksız grafik göz …

26 complexity-theory  optimization  search-problem  decision-problem 

Açıkçası, NP’de tespit edilemeyen herhangi bir problem yoktur. Ancak, Wikipedia'ya göre : NP, cevabın "evet" olduğu durumların, belirleyici bir Turing makinesi tarafından polinom zamanında doğrulanabilir [.. ispatları] olduğu tüm karar sorunlarının kümesidir. [...] Bir problemin sadece eğer polinom zaman içinde yürütülen problem için bir doğrulayıcı varsa ve eğer NP cinsinden …

25 complexity-theory  computability  undecidability  decision-problem 

Bu terminolojiler beni şaşırtıyor. Anladığım kadarıyla SAT çözücü: teklif mantığının karşılanabilirliğine karar verin (DPLL veya Yerel Arama kullanarak). Karar prosedürü, belirli bir karar verilebilir birinci dereceden teorisinin karşılanabilirliğine karar verme prosedürüdür. SMT çözücü bir SAT çözücü + karar prosedürüdür. Teorem prover Dinamik Mantık gibi bir şey gösterir, örneğin KeY aracı …

24 algorithms  terminology  reference-request  decision-problem 

Bu yüzden karar sorununun şu şekilde tanımlandığı fikrini anlıyorum: Maliyet C'den daha düşük olacak şekilde bir P yolu var mı? ve aldığınız bir yolu doğrulayarak bunun doğru olup olmadığını kolayca kontrol edebilirsiniz. Ancak, bu kriterlere uyan bir yol yoksa ne olur? En iyi yol TSP problemini çözmeden "hayır" cevabını nasıl …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

Bir dilin bağlamdan bağımsız olup olmadığını test etmek için bir algoritma / sistematik prosedür var mı? Başka bir deyişle, cebirsel biçimde belirtilen bir dil verildiğinde ( gibi bir şey düşünün ), dilin olup olmadığını test edin . Öğrencilere tüm ödevlerinde yardımcı olmak için bir web hizmeti yazdığımızı düşünün; dili belirtirseniz …

19 algorithms  formal-languages  context-free  decision-problem 

NP-eksiksiz bir karar sorunum var. Sorunun bir örneği göz önüne alındığında, sorun uygulanabilirse EVET ve başka bir şekilde HAYIR çıkaran bir algoritma tasarlamak istiyorum. (Elbette, algoritma optimal değilse, hatalar yapacaktır.) Bu tür problemler için yaklaşık bir algoritma bulamıyorum. SAT için özel olarak bakıyordu ve ben yaklaşık Vikipedi sayfasında bulunan Yaklaşım …

18 algorithms  satisfiability  approximation  decision-problem 

Michael Sipser'in Hesaplama Teorisi'nin 270. sayfasında şunları yazıyor: P = üyeliğe hızlı bir şekilde karar verilebilen dil sınıfı. NP = üyeliğin hızlı bir şekilde doğrulanabildiği dil sınıfı. "Kararlı" ve "doğrulanmış" arasındaki fark nedir?

16 complexity-theory  terminology  decision-problem 

örneğin ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) İfadeler sıradan lise cebirindendir, ancak ters, çıkarma veya bölme olmadan aritmetik toplama ve çarpma (örn. ) ile sınırlıdır . Harfler değişkenlerdir.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Eğer yardımcı olursa, dışındaki sayısal değerlerle temsil edilen herhangi bir ifadeyi yasaklayabiliriz ; yani x 2 veya 3 x veya 4 değil :111x2x2x^23x3x3x444 çok hatlı , …

14 complexity-theory  time-complexity  decision-problem 

Sorunun karar verilebilirliğinin karar verilebilir bir sorun olup olmadığını merak ediyorum. Tahmin etmiyorum, ancak ilk aramalardan sonra bu sorunla ilgili herhangi bir literatür bulamıyorum.

13 computability  undecidability  decision-problem 

Sipser'in Yazışma Sonrası Problem hakkında Hesaplama Teorisine Giriş kitabındaki bazı sayfaları okudum ve PCP'nin aslında NP'de olduğunu düşünüyorum. Formu dolduran olan: kazık bir giriş yapılandırması için bitiştirme bir dize kadar ve bitiştirme dizesini , ardından ikisinin eşit olup olmadığını görmek için ve karşılaştırın ve ardından girdinin aslında PCP için bir …

12 complexity-theory  decision-problem  np 

Yani, normal bir dil olmadığını test biliyoruz düzenli dil bir alt kümesidir Karar verilebilen biz DFAs, hesaplama için ikisini de dönüştürebilir çünkü bu dil boş ise o zaman testi ve.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} Bununla birlikte, bu DFA'lara dönüştürmeyi gerektirdiğinden, DFA'ların ve dolayısıyla test algoritmasının giriş NFA'larındaki durum …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Yani iki DFA verildiğinde, aynı dili üretebilirlerse bulma sorunu Karar Verilebilir bir problem midir? İki CFL Eşitliğinin Karar Verilemez olduğunu zaten biliyorum Peki ya iki DFA'nın Eşitliği? DFA'larla ilgili sorunların çoğunun karar verilebilir olduğu düşünüldüğünde, bu da karar verilebilir mi?

12 computability  automata  finite-automata  decision-problem