L'avidità, per mancanza di una parola migliore, è buona. Uno dei primi paradigmi algoritmici insegnati nel corso degli algoritmi introduttivi è l' approccio avido . L'approccio avido si traduce in algoritmi semplici e intuitivi per molti problemi in P. Più interessante, per alcuni problemi NP-difficili l'algoritmo avido / locale ovvio …
Il teorema di Immerman-Vardi afferma che PTIME (o P) è precisamente la classe di linguaggi che può essere descritta da una frase di Logica del Primo Ordine insieme a un operatore a virgola fissa, rispetto alla classe delle strutture ordinate. L'operatore a virgola fissa può essere sia a virgola fissa …
Considera l'evidente generalizzazione n×n×nn×n×nn\times n\times n del cubo di Rubik . NP è difficile calcolare la sequenza più breve di mosse che risolve un dato cubo criptato o esiste un algoritmo a tempo polinomiale? [Alcuni risultati correlati sono descritti nel mio recente post sul blog .]
La classe di complessitàUPUP\mathsf{UP} costituita da queiproblemiNPNP\mathsf{NP} che possono essere decisi da una macchina di Turing non deterministica temporale polinomiale che ha al massimo un percorso computazionale accettante. Cioè, la soluzione, se presente, èunicain questo senso. Si ritiene altamente improbabile che tutti isiano in, perché dalteorema Valiant-Vaziraniquesto implicherebbe il collasso.UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} …
Numerosi problemi geometrici sono facili se considerati in , ma NP-completi in per (incluso uno dei miei problemi preferiti, la copertura del disco dell'unità).R1R1R^1RdRdR^dd≥2d≥2d\geq2 Qualcuno è a conoscenza di un problema che è risolvibile in tempo polifunzionale per e , ma NP-completo per ? R1R1R^1R2R2R^2Rd,d≥3Rd,d≥3R^d,d\geq3 Più in generale, esistono problemi …
Questa domanda è ispirata da una domanda simile sulla matematica applicata sul flusso matematico, e che fastidioso pensava che domande importanti su TCS come P vs. NP potrebbero essere indipendenti da ZFC (o altri sistemi). Come sfondo, la matematica inversa è il progetto di ricerca degli assiomi necessari per dimostrare …
Sappiamo che il primo livello della gerarchia polinomiale (cioè NP e co-NP) è in PP, e che PP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACE . Sappiamo anche da di Toda teorema che PH⊆PPPPH⊆PPPPH \subseteq P^{PP} . PH⊆PPPH⊆PPPH \subseteq PPPPPPPPPPPPPPPPPPH⊈PPPH⊈PPPH \nsubseteq PPPP⊈PHPP⊈PHPP \nsubseteq PH Questa domanda è molto semplice, ma non ho trovato alcuna risorsa …
Per quanto ho capito, il programma di teoria della complessità geometrica tenta di separare dimostrando che il permamento di una matrice a valore complesso è molto più difficile da calcolare rispetto al determinante.VP≠VNPVP≠VNPVP \neq VNP La domanda che ho posto dopo aver sfogliato i GCT Papers: ciò implicherebbe immediatamente , …
Sono interessato alla complessità parametrizzata di quello che chiamerò il problema del Set di Colpi d-dimensionale: dato uno spazio (cioè un sistema / ipergrafo) S = (X, R) avente dimensione VC al massimo d e a intero positivo k, X contiene un sottoinsieme di dimensione k che colpisce ogni intervallo …
Nell'introduzione e nella spiegazione Classi di complessità P e NP spesso fornite tramite la macchina di Turing. Uno dei modelli di calcolo è il lambda-calcolo. Capisco, che tutti i modelli di calcolo sono equivalenti (e se possiamo introdurre qualcosa in termini di macchina di Turing, possiamo introdurlo in termini di …
Un'importante applicazione del teorema del PCP è che produce risultati di tipo "durezza di approssimazione". In alcuni casi relativamente più semplici si può dimostrare tale durezza senza PCP. Esiste tuttavia un caso in cui la durezza del risultato di approssimazione è stata dimostrata per la prima volta usando il teorema …
Dato un nuovo problema in NPNP\mathsf{NP} cui vera complessità è da qualche parte tra PP\mathsf{P} ed essere NP completo, ci sono due metodi che conosco che potrebbero essere usati per dimostrare che risolvere questo è difficile: Mostra che il problema è GI-completo (GI = Isomorfismo grafico) Dimostrare che il problema …
Questa è una domanda non tecnica, ma sicuramente rilevante per la comunità TCS. Se considerato inappropriato, sentiti libero di chiudere. Lo zoo della complessità pagina Web dello (http://qwiki.stanford.edu/index.php/Complexity_Zoo) è stata certamente di grande aiuto alla comunità TCS nel corso degli anni. Apparentemente è in calo da un po 'di tempo. …
Si ipotizza che la casualità non estenda la potenza degli algoritmi del tempo polinomiale, cioè è congetturata per trattenere. D'altra parte, la casualità sembra avere un effetto alquanto diverso sulla riduzione dei tempi polinomiali . Con il noto risultato di Valiant e Vazirani, S A T si riduce a U …
Sappiamo che la funzione esponenziale sui numeri naturali non è calcolabile nel tempo polinomiale, perché la dimensione dell'output non è limitata polinomialmente nella dimensione degli input.exp( x , y) = xyexp(x,y)=xy\exp(x,y) = x^y È questo il motivo principale della difficoltà di calcolare la funzione esponenziale o è esponenziale intrinsecamente difficile …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.