Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Gli automi finiti non deterministici (NDFA) possono essere convertiti in modo efficiente in automi finiti deterministici (DFA) nello spazio / tempo subexponential?
Venti anni fa, ho creato un pacchetto di espressioni regolari che includeva le conversioni da espressioni regolari a una macchina a stati finiti (DFA) e supportava una serie di operazioni di espressione regolare chiuse (stella di Kleene, concatenazione, retromarcia, operazioni impostate, ecc.). Non ero sicuro delle peggiori prestazioni del mio …
1
Separazioni oracolari tra circuiti quantici a profondità di poli e di registro
Il seguente problema appare nell'elenco di Aaronson Dieci sfide semi-grandi per la teoria del calcolo quantistico . È B Q P = B P PB Q N CBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} In altre parole, può la parte "qualità" di qualsiasi algoritmo quantistico essere compresso a p o l y l o g (n)polylog(n)\mathrm{polylog}(n) …
3
Possiamo dimostrare una debole normalizzazione per il Sistema F per induzione su un ordinale transfinito
Una debole normalizzazione per il semplice calcolo lambda tipizzato può essere dimostrata (Turing) mediante induzione su . Un calcolo lambda esteso con ricorsori su numeri naturali (Gentzen) ha una strategia di normalizzazione debole per induzione su ϵ 0 .ω2ω2\omega^2ε0ε0\epsilon_0 Che dire del sistema F (o più debole)? Esiste una debole …
1
Problemi con LogDCFL-complete
LogCFL è l'insieme di tutte le lingue che sono spazi di log riducibili a un linguaggio privo di contesto. Allo stesso modo, LogDCFL è l'insieme di tutte le lingue che sono spazi di registro riducibili a un linguaggio senza contesto deterministico. Vedi questo articolo di Wikipedia per alcuni problemi naturali …
1
Leggere su
Cosa dovrei leggere per capire questo problema? La potenza dei circuiti quantistici di piccola profondità. Is ? In altre parole, la parte "quantistica" di qualsiasi algoritmo quantistico può essere compressa in profondità poligono (n), a condizione che siamo disposti a eseguire il postprocessing classico in tempo polinomiale? (Questo è noto …
1
Barriere per mostrare
Sappiamo tutti che P≠ NPP≠NPP\ne NP presenta delle barriere. Tutti abbiamo studiato queste barriere perché crediamo P≠ NPP≠NPP\ne NP . Tuttavia supponiamo P= NPP=NPP=NP e ci sono persone sagge che credono che esista la possibilità . Se questo è davvero il caso, il fatto stesso che non abbiamo visto alcun …
15 p-vs-np  barriers 
1
Non
Mi aspetto che la risposta sia no, ma in realtà non sono riuscito a costruire un controesempio. La differenza è che in ∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) , potremmo non essere in grado di scegliere un algoritmo O(n2+ε)O(n2+ε)O(n^{2+ε}) uniformemente in εεε . Con un argomento a coda di rondine (ad esempio, vedi questa …
3
Formule booleane quantificate con alternanze logaritmiche
Sto studiando un problema difficile per la classe di formule booleane quantificate con un numero logaritmico di alternanze dei quantificatori. Un problema in questa classe sarebbe simile a: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F Dove e è una formula …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.