«nondeterminism» etiketlenmiş sorular

1
Grafik izomorfizmi karekök sınırlı nondeterminizm ile karar verilebilir mi?
Sınırlı nondeterminizm, fonksiyonunu , yeni bir g - C sınıfı oluşturmak için, kaynağa bağlı deterministik Turing makineleri tarafından kabul edilen dillerin Cg(n)g(n)g(n) sınıfı ile ilişkilendirir . Bu sınıf, bazı tanımlayıcı olmayan Turing makinesi M tarafından kabul edilen ve C'yi tanımlamak için kullanılan kaynak sınırlarına uyan dillerden oluşur , ancak M'nin …
2
NFA evrensellik koşulları
Belirsiz bir sonlu otomata ve bir işlevi . Ek olarak .A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i Şimdi aşağıdaki ifadeyi analiz edelim: Eğer , daha sonra .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* Bunu yapmak kolaydır, için doğrudur, bu nedenle eğer otomatlar uzunluğa kadar her …
1
İkinci dereceden bir sürede normal dillerin kesişim boşluğuna karar verilmesi
Let NFA'ler tarafından verilen iki normal diller olmak girdi olarak.M 1 , M 2L1, L2L1,L2L_1,L_2M1, M2M1,M2M_1,M_2 olup olmadığını kontrol etmek istediğimizi varsayalım . Bu açıkça , ürün otomasyonunu hesaplayan ikinci dereceden bir algoritma ile yapılabilir , ancak daha verimli bir şey olup olmadığını merak ediyordum.M 1 , M 2L1∩ L2≠ …
3
Belirsiz hesaplamayı kim başlattı?
İki tarihsel sorum var: Belirsiz hesaplamayı ilk kim açıkladı? Cook'un NP-tam problemlerini tanımladığını ve Edmonds'un P algoritmalarının "verimli" veya "iyi" algoritmalar olduğunu önerdiğini biliyorum. Bu Wikipedia makalesini araştırdım ve "Algoritmaların Hesaplama Karmaşıklığı Üzerine" ifadesini kullandım, ancak belirsiz hesaplamanın ilk ne zaman tartışıldığı konusunda herhangi bir referans bulamadım. NP sınıfına ilk …
2
CNF-SAT için deterministik olmayan bir doğrusal zaman algoritması var mı?
Karar problemi CNF-SAT aşağıdaki gibi tanımlanabilir: Girdi: Normal normal formda bir boole formülü .ϕϕ\phi Soru: sağlayan değişken bir atama var mı?ϕϕ\phi Belirleyici olmayan iki bantlı bir Turing makinesi ile CNF-SAT'ı çözmek için birkaç farklı yaklaşım düşünüyorum . CNF-SAT'ı adımlarında çözen bir NTM olduğuna inanıyorum .n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot \texttt{poly}(\log(n)) Soru: adımlarda CNF-SAT'ı …
5
Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını test etmek mümkün müdür?
Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …
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 
5
Belirsizlik ve Mantık
Otomata teorisinde (sonlu otomata, aşağı itmeli otomata, ...) ve karmaşıklıkta, "belirsizlik" kavramı vardır. En az iki farklı kabul çalışması olan kelimesi varsa, otomat belirsizdir www. Bir makinedir kkk her kelime için eğer -ambiguous en fazla orada makine tarafından kabul edilen kabul etmek ayrı koşular .wwwkkkwww Bu kavram bağlamdan bağımsız gramerler …
2
Kabul stratejisi ile Büchi otomatları
Sorun Let dil tanıma, bir Büchi da olmalıdır . Biz varsayalım aşağıdaki anlamda bir kabul stratejisi vardır: bir işlev yoktur pilot ishal için kullanılabilir . Bunu aşağıdaki şartlarla resmileştiriyoruz:L ⊆ Σ co bir σ : Σ * → S AA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA σ(ϵ)=q0σ(ϵ)=q0\sigma(\epsilon)=q_0 tüm ve , a ∈ …
3
Deterministik hesaplamanın belirsiz olmayan hızlanması
Belirsizlik, deterministik hesaplamayı hızlandırabilir mi? Evet ise, ne kadar? Belirsizliği kullanarak deterministik hesaplamayı hızlandırarak formun sonuçlarını kastediyorum: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Örneğin, DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) Belirsizliğin hesapladığı deterministik hesaplamanın en iyi bilinen hızlanma sonucu nedir? Ne ΣPkTime(n)ΣkPTime(n)\mathsf{\Sigma^P_kTime}(n) ya da ATime(n)ATime(n)\mathsf{ATime}(n) yerine NTime(n)NTime(n)\mathsf{NTime}(n) ? İkinci dereceden tek bantlı Turing makinelerinin iyi bilinen …
1
Pekiştirecek engel nelerdir için ?
Bu Ömer Reingold en dayanıklı USTCON için bir algoritma verir (bir de U özel köşeler ile grafik ndirected ve olduklarını, Con sadece logspace kullanılarak Bağlanan?). Temel fikir orijinal grafikten bir genişletici grafik oluşturmak ve daha sonra genişletici grafikte yürüyüş yapmaktır. Genişletici grafik, orijinal grafiğin birçok kez logaritmik olarak karesi alınarak …
1
SETH'nin MA versiyonunun nasıl yanlış olduğu kanıtlanmıştır?
Güçlü Üstel Zaman Hipotezinin (SETH) belirsiz olmayan bir uzantısını tartışan bu makaleye göre , "[…] Williams son zamanlarda k-TAUT'un Merlin-Arthur karmaşıklığı ile ilgili hipotezleri yanlış gösterdi". Ancak, bu yazı sadece kişisel bir iletişimi belirtmektedir. SETH'nin MA versiyonunun nasıl yanlış olduğu kanıtlanmıştır? Formülün cebirlenmesini içerdiğinden şüpheleniyorum , ancak başka bir fikrim …
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.