Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Distanza statistica tra moneta uniforme e di parte
Let UUU tramite la distribuzione uniforme su nnn bit, e sia DDD essere distribuiti su nnn bit nella quale i bit sono indipendenti e ogni bit è 111 con probabilità 1/2−ϵ1/2−ϵ1/2-\epsilon . È vero che la distanza statistica tra DDD e UUU è Ω(ϵn−−√)Ω(ϵn)\Omega(\epsilon \sqrt{n}), quandon≤1/ϵ2n≤1/ϵ2n \le 1/\epsilon^2?
3
Definizione di funzioni ricorsive primitive su tipi di dati generali
Le funzioni ricorsive primitive sono definite sui numeri naturali. Tuttavia, sembra che il concetto debba generalizzare ad altri tipi di dati, consentendo di parlare di funzioni ricorsive primitive che mappano elenchi su alberi binari, per esempio. Per analogia, le funzioni ricorsive parziali rispetto ai numeri naturali si generalizzano piacevolmente a …
1
È plausibile un non determinismo quadratico che accelera il calcolo deterministico?
Questo è un seguito all'accelerazione non deterministica del calcolo deterministico . È plausibile che il non determinismo (o più in generale l'alternanza) consentirebbe un'accelerazione quadratica generale del calcolo deterministico? Oppure ci sono conseguenze plausibili conosciute per qualcosa come ?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)
1
Gli automi limitati lineari non deterministici a visita limitata riconoscono solo le lingue regolari?
Gli automi limitati lineari non deterministici a visita limitata riconoscono solo le lingue regolari? Per automa lineare non deterministico limitato (nLBA) intendo una macchina di Turing non deterministica a nastro singolo in cui l'input viene "imbottito" con marcatori di estremità su entrambe le estremità che non possono mai essere sovrascritti …
1
Limiti inferiori per Frege ed Extended Frege
Wikipedia [1] afferma che il limite inferiore più noto per dimensione delle prove di Frege è quadratico e che non ci sono limiti inferiori superlineari noti per il numero di linee di prove di Frege. Domande: 1) Qual è il limite inferiore più noto per il numero di righe di …
3
Classi di complessità P / Poly vs Uniform
Non è noto se NEXP sia contenuto in P / poly. Infatti, provare che NEXP non è in P / poly avrebbe alcune applicazioni nella derandomizzazione. Qual è la più piccola classe uniforme C per la quale si può dimostrare che C non è contenuto in P / poli? Mostrare …
1
Multigrafi diretti come automi minimi
Data una normale lingua sull'alfabeto A , il suo automa deterministico minimo può essere visto come una multigrafia connessa diretta con costante grado di out | A | e uno stato iniziale marcato (dimenticando le etichette delle transizioni, gli stati finali). Manteniamo lo stato iniziale perché ogni vertice deve essere …
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.