Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Un contrario alla disuguaglianza di Fano?
La disuguaglianza di Fano può essere dichiarata in molte forme e una particolarmente utile è dovuta (con una piccola modifica) a Oded Regev : Sia XXX una variabile casuale e sia Y=g(X)Y=g(X)Y = g(X) dove g(⋅)g(⋅)g(\cdot) è un processo casuale. Supponi l'esistenza di una procedura fff che dato y=g(x)y=g(X)y = …
1
Teloni Turing reversibili?
Questa domanda è se ci sono tarp reversibili noti di Turing, dove "reversibile" significa nel senso di Axelsen e Glück , e "tarpit" è un concetto molto più informale (e potrebbe non essere un'ottima scelta di parole), ma farò del mio meglio per spiegare cosa intendo con questo. Cosa intendo …
1
Codifica di gruppi di permutazioni con un gruppo elettrogeno e un insieme di elementi esclusi
Gli algoritmi del tempo polinomiale sono noti per trovare gruppi generatori di gruppi di permutazione, il che è interessante poiché possiamo quindi rappresentare quei gruppi in modo succinto senza rinunciare agli algoritmi del tempo polinomiale per rispondere a molte domande interessanti relative a questi gruppi. Tuttavia, possiamo talvolta essere interessati …
1
Complessità di comunicazione randomizzata zero errore vs complessità di comunicazione deterministica
È noto che per l'errore la definizione del caso peggiore della complessità della comunicazione randomizzata e la definizione del caso medio sono equivalenti. Ma quando l'errore è , la complessità della comunicazione randomizzata nel caso peggiore è la stessa della complessità della comunicazione deterministica.Θ ( 1 )Θ(1)\Theta(1)000 Qualche funzione è …
2
NP-Almost-2-SAT è difficile?
Un problema CNF SAT NP è difficile quando il numero totale (ma non la larghezza) delle clausole a 3 o più termini è delimitato da una costante? Che dire specificamente quando c'è solo una di queste clausole?
2
Perché la linearizzabilità è una proprietà di sicurezza e perché gli insiemi di proprietà di sicurezza sono chiusi?
Nel capitolo 13 "Oggetti atomici" del libro "Algoritmi distribuiti" di Nancy Lynch, la linearizzabilità (nota anche come atomicità) si è dimostrata una proprietà di sicurezza. Vale a dire, la proprietà di traccia corrispondente è non vuota, prefisso-chiuso e limite-chiuso , come definito nella Sezione 8.5.3. Informalmente, una proprietà di sicurezza …
1
Complessità della convoluzione nell'anello max / plus
Possiamo fare la convoluzione in O ( n logn )O(nlog⁡n)O(n\log n) per i polinomi più / moltiplicati con FFT. Tuttavia, l'approccio non sembra molto generalizzabile agli anelli in generale. Ci sono stati progressi sulla convoluzione O ( n2)O(n2)O(n^2) ingenua per l'anello max / plus? Dovrei notare che si può trasformare …
2
2DFA che richiede molti stati in DFA equivalente?
Esiste un 2DFA con stati (dove non è banale, diciamo almeno 4) che richiede almeno stati per simulare usando qualsiasi DFA?n 2 nnnnnnn2n2n2^n Un DFA a due vie (2DFA) è un automa a stati finiti deterministico che può spostarsi avanti e indietro sul suo nastro di input di sola lettura, …
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.