Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Fa
Esistono ipotesi plausibili di complessità / criptovaluta che escludono la possibilità che i circuiti di dimensioni polinomiali abbiano dimensioni di dimensione esponenziale (cioè con ) profondità limitata ( ) circuiti?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ&lt;1ϵ&lt;1\epsilon<1d=O(1)d=O(1)d = O(1) Sappiamo che ogni funzione calcolabile da un circuito può essere calcolata una taglia profondità circuito (usando AND, OR …
3
Dagli estrattori ai generatori pseudocasuali?
Luca Trevisan ha mostrato quante costruzioni di generatori pseudocasuali possono in effetti essere pensate come costruzioni di estrattori: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf C'è un conversare significativo? Vale a dire, le costruzioni "naturali" degli estrattori possono essere pensate come costruzioni di generatori pseudocasuali (PRG)? Le costruzioni degli estrattori sembrano corrispondere alle distribuzioni sui PRG …
1
Dov'è la prova che Coq + Excluded Middle è coerente
Ho visto (e sentito) affermare che è sicuro aggiungere l'assioma classico del mezzo escluso a Coq, ma non riesco a trovare un documento a sostegno di questa affermazione. I documenti che vedo elencati nella wiki di Coq sul centro escluso mostrano incoerenza con Set impredicativo. In effetti, sembra che Coquand …
2
Disegni grafici planari da colorare
Considera l'insieme dei grafici planari in cui tutte le facce interne sono triangoli. Se è presente un punto interno di grado dispari, il grafico non può essere di tre colori. Se ogni punto interno ha un grado uniforme può essere sempre di tre colori? Idealmente, vorrei un piccolo controesempio.
3
Quanto velocemente possiamo risolvere un programma lineare intero totalmente unimodulare?
(Questo è un seguito a questa domanda e alla sua risposta .) Ho il seguente programma intero lineare unimodulare (TU). Qui sono tutti numeri interi positivi indicati come parte dell'input. Un sottoinsieme specificato delle variabili è impostato su zero e il resto può assumere valori integrali positivi:x i jℓ , …
3
Limiti al calcolo parallelo
Sono curioso in senso lato di ciò che è noto sulla parallelizzazione degli algoritmi in P. Ho trovato il seguente articolo di Wikipedia sull'argomento: http://en.wikipedia.org/wiki/NC_%28complexity%29 L'articolo contiene la seguente frase: Non è noto se NC = P, ma la maggior parte dei ricercatori sospetta che ciò sia falso, il che …
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.