Informatica teorica logspace

1

ST-Connectivity è il problema di determinare se esiste un percorso diretto tra due vertici distinti e t in un grafico diretto G ( V , E ) . Se questo problema può essere risolto nello spazio dei registri, è un problema aperto di vecchia data. Questo è chiamato problema N …

31 cc.complexity-theory graph-theory space-bounded treewidth logspace

2

Quali sono le conseguenze di

Shiva Kintali ha appena annunciato un (cool!) Risultato che isomorfismo grafico per i grafici treewidth limitati di larghezza è ⊕ L -Hard≥ 4≥4\geq 4⊕ L⊕L\oplus L . Informalmente, la mia domanda è: "Quanto è difficile?" Sappiamo che in modo non uniforme , vedi le risposte a questa domanda . Sappiamo …

26 cc.complexity-theory complexity-classes logspace

1

Complessità della versione di ricerca di 2-SAT assumendo

Se , allora c'è un algoritmo che risolve logspace la versione decisionale di 2-SAT.L = N LL=NL\mathsf{L = NL} È implica che esiste un algoritmo di spazio di log per ottenere un incarico soddisfacente , quando viene data un'istanza 2-SAT soddisfacente come input?L = N LL=NL\mathsf{L = NL} In caso …

15 sat search-problem logspace

1

Fa ?

Cosa succede se definiamo tale che al posto di un circuito Polytime Turing-machine / polysize, un Turing-machine spazio log o un circuito codifica il problema?P P A DPPAD{\bf PPAD} A C 0AC0{\bf AC^0} Recentemente fornire algoritmi più veloci per la soddisfazione dei circuiti per piccoli circuiti si è rivelato importante, …

15 cc.complexity-theory circuit-complexity logspace ppad ac0

1

Durezza delle etichette informatiche di Weisfeiler-Lehman

L' algoritmo Weisfeiler-Lehman a 1 dim (WL) è comunemente noto come algoritmo di etichettatura canonica o perfezionamento del colore. Funziona come segue: La colorazione iniziale è uniforme, per tutti i vertici .C 0 ( v ) = 1 v ∈ V ( G ) ∪ V ( H )C0C0C_0C0( v …

15 cc.complexity-theory graph-theory graph-isomorphism logspace

1

Quali sono le conseguenze di

Una lingua è in se esiste una macchina di Turing dello spazio di log che decide la lingua con una quantità polinomiale di consigli.L / p o l yL/polyL/poly Vedi qui per maggiori informazioni: https://en.wikipedia.org/wiki/L/poly Domanda Quali sono le conseguenze di ?P⊆ L / p o l yP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory circuit-complexity polynomial-time advice-and-nonuniformity logspace

1

Riduzione dello spazio di registro dai circuiti Parity-L a CNOT?

Domanda. Nel loro articolo Simulazione migliorata dei circuiti stabilizzatori , Aaronson e Gottesman affermano che la simulazione di un circuito CNOT è ⊕L completa (con riduzioni dello spazio di log). È chiaro che è contenuto in ⊕L ; come regge il risultato di durezza? Equivalentemente: esiste una riduzione dello spazio …

14 cc.complexity-theory counting-complexity linear-algebra logspace

1

Quali sono gli ostacoli all'estensione di

Prova di Omer Reingold che fornisce un algoritmo per USTCON (In una U ndirected grafico con vertici speciale s eL=SLL=SLL=SLsss , sono essiConCONNECTED?) Utilizzando solo logspace. L'idea di base è quella di costruire un grafico di espansione dal grafico originale e quindi eseguire la camminata nel grafico di espansione. Il …

13 graph-algorithms nondeterminism expanders logspace

1

Grandi classi che contengono LOGSPACE per le quali sono sconosciute inclusioni rigorose

La pagina di Wikipedia su PSPACE menziona che l'inclusione non è nota per essere rigorosa (purtroppo senza riferimenti).NL ⊂ PHNL⊂PHNL\subset PH Q1: Che dire di e L ⊂ P # P - questi sono noti per essere severi?L ⊂ PHL⊂PHL\subset PHL ⊂ P# PL⊂P#PL\subset P^{\#P} Q2: In caso negativo, esiste …

12 cc.complexity-theory complexity-classes logspace

1

Su set completi sparsi e P vs L

Il teorema di Mahaney ci dice che se c'è un radicale completo impostato sotto riduzioni di molti tempi polinomiali, allora . (Vedi " Set completi sparsi per NP: soluzione di una congettura di Berman e Hartmanis ")NPNPNPP=NPP=NPP = NP Ci sono conseguenze note dell'esistenza di insiemi completi sparsi per altre …

10 cc.complexity-theory complexity-classes reductions polynomial-time logspace

Domande taggate «logspace»