Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Algoritmi randomizzati che utilizzano uno stack
Ho sviluppato una nuova tecnica di derandomizzazione che mira a algoritmi randomizzati ricorsivi (o) algoritmi più generalmente randomizzati che usano uno stack. Sfortunatamente, non sono riuscito a trovare algoritmi randomizzati naturali per applicare le mie tecniche. Le catene ricorsive di Markov e le grammatiche stocastiche sono molto simili a ciò …
2
Durezza dei separatori di vertici
Per un dato grafico , il problema del separatore chiede se esiste un vertice o un insieme di bordi di piccola cardinalità (o peso) la cui rimozione separa in due grafici disgiunti di dimensioni approssimativamente uguali. Questo si chiama Problema del separatore di vertici quando il set rimosso è un …
3
Quali algoritmi possono essere espressi usando un linguaggio funzionale totale con operatori di dati paralleli?
Immagina un linguaggio di programmazione funzionale i cui soli tipi di dati sono scalari numerici e annidamenti arbitrari di array. La lingua non ha alcun mezzo di iterazione illimitata, quindi non sono consentiti: loop espliciti (comunque non molto usati senza effetti collaterali) ricorsione funzioni arbitrarie di prima classe (senza combinatore …
2
La traccia traccia della differenza di due matrici di densità essendo una implica che queste due matrici di densità possono essere contemporaneamente diagonali?
Credo che la risposta a questa domanda sia ben nota; ma, sfortunatamente, non lo so. Nell'informatica quantistica, sappiamo che gli stati misti sono rappresentati da matrici di densità. E la traccia traccia della differenza delle matrici a due densità caratterizza la distinguibilità dei due stati misti corrispondenti. Qui, la definizione …
1
Le persone osservano la nidificazione dei circuiti nei circuiti booleani?
Mentre ero un laureando in EE ho partecipato ad alcune lezioni che presentavano una bella caratterizzazione dei circuiti booleani in termini di quanti cicli nidificati hanno. Nella complessità, i circuiti booleani sono spesso pensati come punti deboli, ma nei cicli hardware reali sono comuni. Ora, modulo alcuni aspetti tecnici riguardo …
1
Usando la complessità di Kolmogorov per stabilire limiti inferiori della complessità delle prove?
La motivazione di questa domanda è il fatto che la maggior parte delle stringhe n-bit sono incomprimibili. Intuitivamente, possiamo proporre per analogia che la maggior parte delle prove per le tautologie sono incomprimibili alla dimensione polinomiale. Fondamentalmente, la mia intuizione è che alcune prove sono intrinsecamente casuali e non possono …
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.