Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

20
Problemi NP-difficili sugli alberi
Diversi problemi di ottimizzazione noti per essere NP-difficili nei grafici generali sono banalmente risolvibili nel tempo polinomiale (alcuni anche in tempo lineare) quando il grafico di input è un albero. Esempi includono copertura minima del vertice, set massimo indipendente, isomorfismo del sottografo. Nomina alcuni problemi di ottimizzazione naturale che rimangono …
4
Quali sono le conseguenze di
Sappiamo che L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} e che L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , dove L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Sappiamo anche che polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}perché quest'ultimo ha problemi completi nello spazio logaritmico molte riduzioni mentre il primo no (a causa del teorema della gerarchia spaziale). Per …
3
Una variante NP completa del factoring.
Il libro di Arora e Barak presenta il factoring come il seguente problema: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Aggiungono inoltre, nel capitolo 2, che la rimozione del fatto che …
4
Teorema di Ladner generalizzato
Il teorema di Ladner afferma che se P ≠ NP, allora esiste una gerarchia infinita di classi di complessità che contengono rigorosamente P e strettamente contenute in NP. La dimostrazione utilizza la completezza di SAT con numerose riduzioni di NP. La gerarchia contiene classi di complessità costruite da una sorta …
8
Necrologi di congetture morte
Sto cercando congetture su algoritmi e complessità che sono stati considerati credibili da molti ad un certo punto nel tempo, ma in seguito sono stati smentiti, o almeno non creduti, a causa della crescente contro-prova. Ecco due esempi: Ipotesi sull'oracolo casuale: le relazioni tra classi di complessità che valgono 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.