Informatica teorica pspace

3

Questa variazione di TQBF è ancora PSPACE completa?

Decidere se una formula booleana quantificata come ∀ x1∃ x2∀ x3⋯ ∃ xnφ ( x1, x2, ... , xn) ,∀X1∃X2∀X3⋯∃Xnφ(X1,X2,...,Xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), valuta sempre come vero è un classico problema completo di PSPACE. Questo può essere visto come un gioco tra …

31 cc.complexity-theory sat gt.game-theory pspace

1

Per quali espressioni regolari

È noto che il seguente problema è completo di PSPACE: Data l'espressione regolare , L ( β ) = Σ ∗ ?ββ\betaL ( β) = Σ*L(β)=Σ∗L(\beta) = \Sigma^* Che ne dici di determinare l'equivalenza con altre espressioni regolari (fisse) ?αα\alpha Data l'espressione regolare , L ( β ) = L …

21 cc.complexity-theory automata-theory regular-expressions pspace

1

Qual è l'oracolo minimo di complessità che separa PSPACE dalla gerarchia polinomiale?

sfondo È noto che esiste un oracolo AAA tale che, .PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A È anche noto che la separazione è relativa a un oracolo casuale. Informalmente, si può interpretare questo per significare che ci sono molti oracoli per i quali e sono separati.PSPACEPSPACEPSPACEPHPHPH Domanda Quanto sono complicati questi oracoli che …

17 cc.complexity-theory oracles relativization pspace structural-complexity

1

La completezza di PSPACE implica la durezza di approssimazione?

È menzionato in un commento in un altro post di cstheorySE che la completezza di PSPACE implica la durezza APX. Qualcuno può spiegare / condividere un riferimento per questo? È "stretto"? (vale a dire, ci sono problemi completi di PSPACE il cui problema di ottimizzazione ammette un'approssimazione costante dei fattori …

14 cc.complexity-theory approximation-algorithms approximation-hardness np pspace

1

Questi giochi da colorare sono stati risolti?

Nel documento "Sulla complessità di alcuni giochi di colorazione", Bodlaender pone alcune domande aperte sulla complessità di decidere se il giocatore 1 o 2 ha una strategia vincente in alcuni giochi di colorazione di grafici. Qualcuno sa se sono stati risolti? 1) In una partita, due giocatori a turno selezionano …

12 graph-colouring pspace two-player-games

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

3

Esiste un gioco semplice con complessità asimmetrica?

Considera le partite combinatorie a due giocatori con informazioni complete che terminano dopo un numero polinomiale di mosse e, in modo alternato, i giocatori scelgono da un numero finito di mosse consentite. La solita domanda è: quanto sia difficile distinguere il vincitore da una determinata posizione. Un altro sarebbe, quanto …

11 cc.complexity-theory np board-games pspace

1

Qual è la complessità del conteggio del numero di soluzioni di un problema P-Space Complete? Che ne dici di classi di complessità superiore?

Immagino che si chiamerebbe # P-Space, ma ho trovato solo un articolo che ne parlava vagamente. Che ne dite della versione di conteggio dei problemi EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? C'è qualche lavoro precedente che si possa citare in merito a questo o qualsiasi tipo di inclusione o esclusione come il …

11 cc.complexity-theory complexity-classes counting-complexity pspace

Domande taggate «pspace»