Informatica teorica nondeterminism

3

Greibach notoriamente definita una lingua , la cosiddetta versione non deterministico di , tale che ogni CFL è l'immagine inversa morfica di . Esiste una dichiarazione simile con DCFL, possibilmente con qualche restrizione sui morfismi consentiti?HHHD2D2D_2HHH (Vedi, ad esempio, M. Autebert, J. Berstel e L. Boasson. Lingue senza contesto e …

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

3

C'è una riduzione dei giochi "porta e spingidisco" che non esplode la lunghezza della soluzione?

Questo documento dimostra che in un gioco con porte e piastre a pressione, è difficile per PSPACE determinare se l'avatar (del giocatore) può o meno raggiungere una determinata posizione. Ciò è dimostrato da una riduzione da TQBF e la lunghezza delle soluzioni risultanti dipende in modo esponenziale dal numero di …

12 reductions nondeterminism pspace

1

Implicazioni tra

Se possiamo dimostrare che , implica che N L = N P ?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Ho pensato che fosse il caso, ma non posso provarlo (anche per il contrario).

10 cc.complexity-theory complexity-classes nondeterminism

1

Modo uniforme di quantificare la "ramificazione" nel calcolo non deterministico, probabilistico e quantistico?

Il calcolo di una macchina di Turing non deterministica (NTM) è ben noto per essere rappresentabile come un albero di configurazioni, radicato alla configurazione iniziale. Qualsiasi transizione nel programma è rappresentata da un collegamento padre-figlio in questo albero. Alberi simili possono anche essere costruiti per visualizzare i calcoli di macchine …

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

2

Numero di DFA minimi di dimensione al massimo

Sia un alfabeto di dimensione 2 e considera i DFA minimi la cui dimensione è limitata al massimo da m . Lascia che f ( m ) indichi il numero di diversi DFA minimi simili.ΣΣ\Sigma222mmmf( m )f(m)f(m) Possiamo trovare una formula in forma chiusa per ?f( m )f(m)f(m) Considerando che …

9 cc.complexity-theory automata-theory nondeterminism dfa

1

È plausibile un non determinismo quadratico che accelera il calcolo deterministico?

Questo è un seguito all'accelerazione non deterministica del calcolo deterministico . È plausibile che il non determinismo (o più in generale l'alternanza) consentirebbe un'accelerazione quadratica generale del calcolo deterministico? Oppure ci sono conseguenze plausibili conosciute per qualcosa come ?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

3

Esiste un problema noto NP-Complete (o NP-Intermediate) nello spazio non deterministico sublineare?

Esistono alcuni problemi NP-Complete ( , S U B S E T S U M , ecc.) Noti per essere in D S P A C E ( n ) . E gli spazi sublineari?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Esiste un problema noto NP-Complete (o NP-Intermediate) nello spazio non …

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

Domande taggate «nondeterminism»