Informatica teorica

1

Quali sono le complessità dei seguenti sottoinsiemi SAT?

SupponiamoP≠ NPP≠NPP \neq NP Usiamo la seguente notazione per la tetrazione (es. ).ioun'ia{}^iaioa = aun'⋅⋅⋅un'io volteia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | X | è la dimensione dell'istanza x. Sia L una lingua,L |f( i ) ≤ | x | < g( i ): = { x ∈ L | …

10 cc.complexity-theory np-hardness complexity-classes

1

Durezza del problema del sistema stellare vincolato?

Un sistema stellare è una famiglia di sottoinsiemi di n n-elementi di S . Un sistema stellare è grafico se c'è qualche grafo G ( V , E ) tale che F è la famiglia di quartieri vertici in G . È N P completo per decidere se un dato …

10 cc.complexity-theory np-hardness

3

Una separazione esplicita tra costruibilità temporale e costruibilità spaziale?

Mostra una funzione che è costruibile nello spazio ma non costruibile nel tempo.f( n )f(n)f(n) Questo problema è correlato a una possibile separazione tra le classi di complessità DTIME (f (n)) e SPACE (f (n))?

10 cc.complexity-theory space-bounded separation

5

Classi di complessità per casi diversi da "Peggior Caso"

Abbiamo classi di complessità rispetto, per esempio, alla complessità del caso medio? Ad esempio, esiste una classe di complessità (denominata) per i problemi che richiedono il tempo polinomiale previsto per decidere? Un'altra domanda considera la migliore complessità del caso , esemplificata di seguito: Esiste una classe di problemi (naturali) la …

10 cc.complexity-theory complexity-classes

3

È possibile incorporare una soluzione per SAT?

Sono interessato a singoli casi "difficili" di problemi NP-completi. Ryan Williams ha discusso del problema SAT0 sul blog di Richard Lipton . SAT0 chiede se un'istanza SAT ha la soluzione specifica composta da tutti gli 0. Questo mi ha fatto pensare di costruire istanze SAT che probabilmente saranno "difficili". Considera …

10 cc.complexity-theory sat hard-instances

2

Codifica rapida di vettori bilanciati

È facile vedere che per ogni nnn esiste una 1-1 mappatura FFF da {0,1} n a {0,1} n + O ( log n ) tale che per ogni x il vettore F ( x ) è " bilanciato ", ovvero ha un numero uguale di 1 e 0 secondi. È …

10 ds.algorithms ds.data-structures encoding

1

È stata studiata la derandomizzazione di classi leggermente non uniformi, ad esempio BPP / lineare?

Per BPP / linear mi riferisco a macchine BPP con consigli lineari, che mantengono la promessa quando vengono dati i consigli "corretti" e la derandomizzazione dovrebbe darci, diciamo, un algoritmo P / lineare o (SUBEXP / lineare). Se usiamo ipotesi non uniformi, penso che i risultati classici dovrebbero funzionare, perché …

10 cc.complexity-theory derandomization advice-and-nonuniformity

5

Teoria degli automi / Argomento di tesi sul linguaggio formale

Ciao a tutti, al momento sto cercando di trovare un solido argomento di tesi di master pertinente in qualche branca della teoria degli automi o in relazione ai linguaggi formali. Sto cercando di generare alcune buone idee su quale sarebbe un argomento accettabile, qualcosa di ambizioso ma qualcosa di fattibile …

10 ds.algorithms automata-theory fl.formal-languages soft-question

2

Quali buone notazioni esistono per linguaggi deterministici privi di contesto e visibilmente pushdown?

Le lingue deterministiche senza contesto (DCFL) e le lingue visibilmente pushdown (VPL) sono entrambi insiemi di lingue formali tra lingue senza contesto (CFL) e lingue regolari (REG). Esiste una notazione leggibile che può essere espressa in ASCII normale come Backus-Naur-Form per CFL ed espressioni regolari per REG?

10 fl.formal-languages

2

Limiti inferiori per problemi di soddisfacibilità lineare

In SODA 1995 , Jeff Erickson mostrato limiti inferiori per soddisfacibilità lineare (controllo se un qualche -subset di numeri reali soddisfa un'equazione lineare r variabili). Il metodo di prova utilizza infinitesimi e il principio di trasferimento di Tarski .rrrnnnrrr Qualcuno potrebbe spiegare l'intuizione dietro il percorso intrapreso per dimostrare questo …

10 cg.comp-geom lower-bounds algebraic-complexity

3

Che prove ci sono che

Quali prove ci sono che ?c o R P≠ NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP è la classe di lingue per cui esiste una Turing Machine probabililistica che funziona in tempo polinomiale e risponde sempre Sì su un input appartenente alla lingua e risponde No con probabilità almeno la …

10 cc.complexity-theory complexity-classes

2

Esiste un riferimento definitivo per le macchine di Turing con più nastri oracolari?

La maggior parte della letteratura sembra riguardare macchine con singoli oracoli per problemi specifici, tuttavia sembrano esserci alcuni documenti che considerano macchine con più oracoli. Esiste un buon documento o tesi che fornisce una panoramica di ciò che si sa di tali macchine? In particolare sono interessato a P con …

10 oracles turing-machines

2

Mescolanza di token su un grafico usando gli swap locali

Sia un grafico connesso non regolare il cui grado è limitato. Supponiamo che ogni nodo contenga un token univoco.G=(V,E)G=(V,E)G= (V, E) Voglio mescolare uniformemente i token tra i grafici usando solo gli swap locali (ovvero lo scambio dei token tra due nodi adiacenti)? Esiste un limite inferiore noto per questo …

10 ds.algorithms random-walks dc.distributed-comp

2

Esiste un nome ufficiale per la nozione di "riutilizzabile universale"?

Esistono diverse nozioni (probabilmente non equivalenti) di universalità computazionale (vedere ad esempio le ultime due pagine di http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) e non vi è consenso tra esperti su quali nozioni siano più corrette (vedere ad esempio http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Sto cercando di dire qualcosa su un particolare modello di calcolo biomolecolare. Vorrei …

10 universal-computation

6

Ridurre la complessità con il parallelismo

È possibile (barra puoi fornire un esempio) per ridurre la complessità computazionale di un problema usando un algoritmo parallelo che non richiede un numero di processori rispetto alla dimensione dell'input?

10 cc.complexity-theory dc.parallel-comp