Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

3
Perché utilizziamo macchine di Turing a nastro singolo per la complessità del tempo?
Come sapete, ci sono molte anomalie per le macchine di Turing a nastro singolo quando il tempo è : simulazione TM multi-nastro, simulazione di alfabeto nastro più grande con solo , costruibilità temporale, teorema della gerarchia temporale non stretto, ...{ 0 , 1 , b }o(n2)o(n2)o(n^2){0,1,b}{0,1,b}\{0,1,b\} Anche risultati come DTime(o(nlgn)=RegDTime(o(nlg⁡n)=Reg\mathsf{DTime}(o(n\lg …
1
Qual è la ragione "reale" che IP = PSPACE non è relativizzante?
OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO Tuttavia, ho visto solo poche persone dare una spiegazione "diretta" del perché il risultato non si relativizza e la risposta abituale è "aritmetizzazione". All'ispezione della prova di IP = PSPACE, quella risposta non è falsa , ma per me non è …
3
Formula CNF equivalente più corta
Sia una formula CNF soddisfacente con n variabili e clausole . Lasciate essere lo spazio delle soluzioni di .F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Considera il problema di determinare, dato , un'altra formula CNF con lo stesso insieme di variabili di , conF 2 F 1 S F 2 = S F 1F1F1F_1F2F2F_2F1F1F_1SF2=SF1SF2=SF1S_{F_2} = S_{F_1} …
2
Calcolo quantistico unidirezionale temporaneo piatto
Sono un fisico sincero e quindi penso che il calcolo quantistico a senso unico sia geniale. In particolare, il Quantum Computing (MBQC) basato su Graph State Measurement è stato uno sviluppo davvero interessante nella ricerca di Quantum Computing come originata da Raussendorf & Briegel . Uno deve solo preparare uno …
2
Calcolo oltre le matrici unitarie
Solo per curiosità, se il calcolo classico riguarda le matrici di permutazione e il calcolo quantistico riguarda le matrici unitarie (di cui le matrici di permutazione sono un sottogruppo), allora ci sarà qualche paradigma di calcolo oltre le matrici unitarie?
1
Qual è la migliore approssimazione per il voto a maggioranza?
L'operazione di voto a maggioranza si presenta abbastanza spesso in tolleranza agli errori (e senza dubbio in altri posti), in cui la funzione genera un bit uguale al valore mai visualizzato più frequentemente nel valore dei bit di ingresso. Per semplicità, supponiamo che ogni volta che l'ingresso contiene un numero …
3
Risolvere esattamente la Superstring
Che cosa si sa dell'esatta complessità del più breve problema delle superstringhe? Può essere risolto più velocemente di ? Esistono algoritmi noti che risolvono le superstringhe più brevi senza ridurre a TSP?O∗(2n)O∗(2n)O^*(2^n) UPD: sopprime i fattori polinomiali.O∗(⋅)O∗(⋅)O^*(\cdot) Il problema più breve delle superstringhe è un problema la cui risposta è …
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.