Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Qualche algoritmo quantistico migliora sul SAT classico?
Gli algoritmi classici possono risolvere 3-SAT in time (randomizzati) o 1.3303 n time (deterministici). (Riferimento: migliori limiti superiori su SAT )1,3071n1.3071n1.3071^n1,3303n1.3303n1.3303^n Per fare un confronto, l'uso dell'algoritmo di Grover su un computer quantistico dovrebbe cercare e fornire una soluzione in , randomizzata. (Ciò può richiedere ancora una certa conoscenza di …
2
Riesci a identificare la somma di due permutazioni nel tempo polinomiale?
Di recente sono state poste due domande su cs.se che erano correlate o avevano un caso speciale equivalente alla seguente domanda: Supponiamo di avere una sequenza di numeri tale che Scomporre nella somma di due permutazioni, e , di , in modo che .a1,a2,…ana1,a2,…ana_1, a_2, \ldots a_nnnn∑ni=1ai=n(n+1).∑i=1nai=n(n+1).\sum_{i=1}^n a_i = n(n+1).ππ\piσσ\sigma1…n1…n1 …
2
Conseguenza più comune
Una stringa ha sottosequenze, ma di solito non sono tutte distinte. Qual è la complessità di trovare la frequenza massima di qualsiasi sottosequenza?2n2n2^n Ad esempio, la stringa "sottosequenza" contiene 7 copie della sottosequenza "sue" e questo è il massimo. Esempio di codice di forza bruta su http://ideone.com/UIp3t Ci sono teoremi …
2
Gerarchia per BPP vs derandomizzazione
In una frase: l'esistenza di una gerarchia per implicherebbe risultati di derandomizzazione?BPTIMEBPTIME\mathsf{BPTIME} Una domanda correlata ma più vaga è: l'esistenza di una gerarchia per implica qualche limite inferiore difficile? La risoluzione di questo problema colpisce una barriera nota nella teoria della complessità?BPTIMEBPTIME\mathsf{BPTIME} La mia motivazione per questa domanda è quello …
1
Coefficienti di Fourier Funzioni booleane descritte dai circuiti di profondità limitata con porte AND OR e XOR
Sia fff una funzione booleana e pensiamo a f come una funzione da {−1,1}n{−1,1}n\{-1,1\}^n a {−1,1}{−1,1}\{ -1,1 \} . In questo linguaggio l'espansione di Fourier di f è semplicemente l'espansione di f in termini di monomi quadrati liberi. (Questi 2n2n2^n monomi formano una base allo spazio delle funzioni reali su …
3
certificato coNP per isomorfismo grafico
È facile vedere che l' isomorfismo grafico (GI) è in NP. È un grave problema aperto se GI è in coNP. Esistono potenziali candidati delle proprietà dei grafici che possono essere utilizzati come certificati coNP di IG. Qualche congettura che implica ? Quali sono alcune implicazioni di G I ∈ …
7
Dimostrando limiti inferiori dimostrando limiti superiori
Il recente risultato del limite inferiore della complessità del circuito rivoluzionario di Ryan Williams fornisce una tecnica di prova che utilizza il risultato del limite superiore per dimostrare i limiti inferiori della complessità. Suresh Venkat nella sua risposta a questa domanda, ci sono risultati controintuitivi nell'informatica teorica? , ha fornito …
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.