Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

13
Problema di decisione facile, problema di ricerca difficile
Decidere se esiste un equilibrio di Nash è facile (lo fa sempre); tuttavia, trovarne effettivamente uno è ritenuto difficile (è PPAD-Complete). Quali sono alcuni altri esempi di problemi in cui la versione della decisione è semplice ma la versione della ricerca è relativamente difficile (rispetto alla versione della decisione)? Sarei …
1
Funzione calcolabile in modo efficiente come contro-esempio della congettura di Mobius di Sarnak
Recentemente Gil Kalai e Dick Lipton hanno entrambi scritto un bell'articolo su un'interessante congettura proposta da Peter Sarnak, un esperto di teoria dei numeri e ipotesi di Riemann. Congetturare. Sia la funzione di Möbius . Supponiamo che sia una funzione con input sotto forma di rappresentazione binaria di , quindi …
2
Se P = NP, potremmo ottenere prove della congettura di Goldbach ecc.?
Questa è una domanda ingenua, per mia competenza; scusa in anticipo. La congettura di Goldbach e molte altre domande irrisolte in matematica possono essere scritte come brevi formule nel calcolo del predicato. Ad esempio, l'articolo di Cook "I computer possono scoprire regolarmente prove matematiche?" formula quella congettura come ∀ n …
3
NC = P conseguenze?
Lo zoo di complessità indica nella voce su EXP che se L = P allora PSPACE = EXP. Dato che NPSPACE = PSPACE di Savitch, per quanto ne so, l'argomento di riempimento sottostante si estende per mostrare che Sappiamo anche che L NL NC P attraverso la gerarchia alternata limitata …
1
Conseguenze di contenente
Molti credono che . Tuttavia sappiamo solo che è al secondo livello della gerarchia polinomiale, ovvero . Un passo verso la visualizzazione di è di portarlo al primo livello della gerarchia polinomiale, ovvero .BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq \mathsf{NP}BPPBPP\mathsf{BPP}BPP⊆ΣP2∩ΠP2BPP⊆Σ2P∩Π2P\mathsf{BPP}\subseteq \Sigma^ \mathsf{P}_2 \cap \Pi^ \mathsf{P}_2BPP=PBPP=P\mathsf{BPP} = \mathsf{P}BPP⊆NPBPP⊆NP\mathsf{BPP} \subseteq \mathsf{NP} Il contenimento significherebbe …
17
La durezza salta nella complessità computazionale?
Il problema minimo della larghezza di banda è trovare un ordinamento di nodi del grafico su una linea intera che minimizzi la distanza maggiore tra due nodi adiacenti. Un bruco kkk è un albero formato dal percorso principale crescendo al limite di percorsi disgiunti di lunghezza al massimo kkk dai …
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.