Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

4
Durezza di approssimazione assumendo NP! = CoNP
Due dei presupposti comuni per dimostrare la durezza dei risultati di approssimazione sono e Unique Games Conjecture. Ci sono dei risultati di approssimazione sulla durezza che assumono ? Sto cercando il problema tale che "è difficile approssimare all'interno di un fattore meno che ".P≠NPP≠NPP \neq NPNP≠coNPNP≠coNPNP \neq coNPAAAAAAαα\alphaNP=coNPNP=coNPNP = coNP …
1
Gap-3SAT NP è completo anche per le formule 3CNF in cui nessuna coppia di variabili appare in clausole significativamente più della media?
In questa domanda, una formula 3CNF indica una formula CNF in cui ogni clausola coinvolge esattamente tre variabili distinte . Per una costante 0 < s <1, Gap-3SAT s è il seguente problema promettente: Gap-3SAT s grado : Un 3CNF formula φ. Sì, promessa : φ è soddisfacente. No-promessa : …
11
Qual è il modello computazionale quantistico?
Di tanto in tanto ho sentito persone parlare di algoritmi quantistici e di stati e della capacità di considerare più possibilità contemporaneamente, ma non sono mai riuscito a convincere qualcuno a spiegare il modello computazionale dietro questo. Per essere chiari, non sto chiedendo come siano costruiti fisicamente i computer quantistici, …
6
C'è un mucchio stabile?
Esiste una struttura di dati di coda prioritaria che supporta le seguenti operazioni? Inserisci (x, p) : aggiungi un nuovo record x con priorità p StableExtractMin () : restituisce ed elimina il record con la priorità minima, rompendo i legami per ordine di inserzione . Pertanto, dopo Inserisci (a, 1), …
1
Complessità computazionale di pi
Permettere L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (dove è pensato come codificato in binario). Quindi cosa possiamo dire della complessità computazionale di ? È chiaro che . E …
1
Gerarchia razionale di Eilenberg degli automi e delle lingue non razionali: dov'è adesso?
Nella prefazione ai suoi libri molto influenti Automi, Lingue e macchine (Volumi A, B), Samuel Eilenberg ha promesso in modo allettante Volumi C e D che trattano di "una gerarchia (chiamata gerarchia razionale) dei fenomeni non razionali ... usando le relazioni razionali come uno strumento di confronto. Gli insiemi razionali …
5
Problemi completi di NEXP
Ci sono tonnellate di problemi NP-completi in giro e fonti che li raccolgono, ad esempio vedere il libro di Garey e Johnson. Sarei interessato a vedere un elenco di problemi completi di NEXP. Ce n'è uno disponibile? Dato che presumo che non ci sia, apro questa domanda (si suppone che …
2
Quali classi di programmi matematici possono essere risolti esattamente o approssimativamente, in tempi polinomiali?
Sono piuttosto confuso dalla letteratura sull'ottimizzazione continua e dalla letteratura TCS su quali tipi di programmi matematici (continui) (MP) possano essere risolti in modo efficiente e quali no. La comunità di ottimizzazione continua sembra affermare che tutti i programmi convessi possono essere risolti in modo efficiente, ma credo che la …
9
Algoritmo randomizzato che "sembra" deterministico?
Esiste un esempio interessante di algoritmo randomizzato per un problema di ricerca che genera sempre la stessa risposta (corretta), indipendentemente dalla casualità interna, ma che sfrutta la casualità in modo che il suo tempo di esecuzione previsto sia migliore del tempo di esecuzione del più veloce conosciuto algoritmo deterministico per …
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.