«nondeterminism» etiketlenmiş sorular

Greibach , sözde belirsiz olmayan versiyonu olarak bilinen bir dilini tanımladı , böylece herhangi bir CFL, ters morfik bir görüntüsü olacak . DCFL ile benzer bir ifade var mı, muhtemelen izin verilen morfizmlerde bazı kısıtlamalar var mı?D 2 HHHHD2D2D_2HHH (Bakınız, örneğin, M. Autebert, J. Berstel ve L. Boasson. Bağlamdan bağımsız …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Bu makale , kapıları ve baskı plakaları olan bir oyunda, (oyuncunun) avatarın belirli bir konuma ulaşıp ulaşamayacağını belirlemek PSPACE zor olduğunu kanıtlar. Bu, TQBF'den bir azalma ile kanıtlanmıştır ve elde edilen çözeltilerin uzunluğu, katlanarak formüldeki evrensel nicelleştiricilerin sayısına bağlıdır. Bir NPSPACE makinesinden, oyunun çözümlerinin uzunluğunun, makinenin kabul yollarının uzunluğu ile …

12 reductions  nondeterminism  pspace 

olduğunu ispatlayabilirsek , N L = N P olduğunu ima eder mi?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Durum böyle olduğunu düşündüm, ama bunu kanıtlayamıyorum (ayrıca sohbet için).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Belirsiz bir Turing makinesinin (NTM) hesaplanmasının, başlangıç ​​konfigürasyonuna dayanan bir konfigürasyon ağacı olarak temsil edilebileceği iyi bilinmektedir. Programdaki herhangi bir geçiş, bu ağaçtaki bir baba-çocuk bağlantısı ile temsil edilir. Olasılıksal ve kuantum makinelerinin hesaplamalarını görselleştirmek için de benzer ağaçlar yapılabilir. (Bazı amaçlar için, kuantum hesaplamaları için ilgili grafiği bir ağaç …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

İzin Vermek ΣΣ\Sigma bir alfabe olmak 222ve boyutu en fazla sınırlı olan minimum DFA'ları düşünün mmm. İzin Vermekf( m )f(m)f(m) "Bu tür farklı minimal DFA'ların sayısını belirtir." İçin kapalı form formül bulabilir miyiz f( m )f(m)f(m)? Bunu göz önünde bulundurarak | Σ | =2|Σ|=2|\Sigma|=2 en fazla DFA boyutunun geçiş fonksiyonu …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Bu, deterministik hesaplamanın belirsiz olmayan hızlanmasının bir devamıdır . Belirsizliğin (veya daha genel olarak değişimin) deterministik hesaplamanın genel bir ikinci dereceden hızlanmasına izin vermesi mantıklı mıdır? Yoksa gibi bir şey için bilinen herhangi bir mantıksız sonuç var mı?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Bazı NP-Complete sorunları var (S A TSAT \mathsf{SAT} , , vb.) içinde olduğu bilinmektedir . Alt doğrusal uzaylar ne olacak?S U B S E T S U MSUBSETSUM \mathsf{SUBSETSUM} D S P A C E ( n )DSPACE(n) \mathsf{DSPACE(n)} Alt doğrusal belirsiz olmayan alanda bilinen NP-Complete (veya NP-Intermediate) problemleri var …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate