PSPACE: differenze tra le versioni

Versione delle 15:12, 22 apr 2010

Versione attuale delle 10:42, 3 apr 2025

(20 versioni intermedie di 19 utenti non mostrate)

Riga 1:

{{categorizzareF|matematica|arg2=teorie dell'informatica|dicembre 2014}}

Nella [[teoria della complessità algoritmicacomputazionale]], la classe di problemi '''PSPACE''', (dache sta per ''polynomial space''), è l'insieme di tutti i problemi che possono essere risolti da una [[macchina di Turing|macchina di Turing deterministica]] deterministica usando una quantità di memoria di <math>O(n^k)</math>, dove <math>n</math> è la dimensione dei dati di [[input|ingresso]] e <math>k</math> è un qualsiasi valore finito.

{{S|matematica}}

Nella [[teoria della complessità algoritmica]], la classe di problemi '''PSPACE''' (da ''polynomial space'') è l'insieme di tutti i problemi che possono essere risolti da una [[macchina di Turing|macchina di Turing deterministica]] usando una quantità di memoria di <math>O(n^k)</math>, dove <math>n</math> è la dimensione dei dati di [[input|ingresso]] e <math>k</math> è un qualsiasi valore finito.

In altre parole, PSPACE include quei problemi che possono essere risolti da un [[algoritmo]] che utilizzi uno spazio di memoria la cui dimensione sia al più [[funzione (matematica)|funzione]] [[polinomio|polinomiale]] della dimensione dell'input.

Line 7 ⟶ 6:

== Proprietà della classe ==

Per il [[teorema di Savitch]], questa classe risulta equivalente a [[NPSPACE]], cioè la classe di problemi che possono essere risolti da una macchina di Turing non deterministica usando una quantità di memoria di <math>O(n^k)</math>. Ciò significa che le due classi sono equivalenti in termini di potenza computazionale.
Inoltre si osserva facilmente che la ben più conosciuta classe di complessità [[P (complessità)|P]] è inclusa in PSPACE. Infatti, è evidente che se un algoritmo ha un tempo di esecuzione <math>t</math>, potrà utilizzare al più <math>t</math> celle di memoria; se quindi sappiamo che <math>t=O(n^k)</math> per un qualche <math>k</math>, necessariamente lo spazio utilizzato è limitato allo stesso modo.

Questo stesso ragionamento, unito all'osservazione fatta prima che PSPACE = NPSPACE, ci permette di dimostrare anche l'inclusione [[NP (complessità)|NP]] <math> \subset</math> PSPACE. L'inclusione opposta invece non è dimostrata, e anzi è opinione comune che sia falsa, ovvero che PSPACE<math>\not \subset</math>NP. Questo implicherebbe quindi PSPACE<math>\not \subset</math>P.

Ad accreditare in particolare questa ultima congettura si aggiunge l'esistenza di problemi [[NP-Completo|NP completi]] appartenenti alla classe PSPACE. Ad esempio, è possibile risolvere in tempo esponenziale ma con utilizzo di memoria polinomiale il [[problema del commesso viaggiatore]]: date <math>n</math> città, è sufficiente ''contare'' in base <math>n</math> i percorsi possibili, che saranno quelli associati ai numeri di <math>n</math> cifre tutte distinte (questo conteggio richiede una quantità di memoria [[linearità (matematica)|lineare]] nel numero di città) e per ogni percorso calcolare la somma delle distanze tra le varie città (anche questa operazione ha costo lineare in spazio). Questo significa che se fosse vero che PSPACE <math> \subset </math> P, sarebbe anche vero NPCNP-C <math> \subset </math> P, e quindi NP <math> \subset </math> P (ossia tutti i problemi decidibili in tempo polinomiale rispetto alla dimensione dell'input da una macchina di Turing non deterministica sarebbero decidibili in tempo polinomiale anche da una macchina di Turing deterministica). Dato che le macchine di Turing deterministiche sono un caso particolare di macchine non deterministiche ne risulta che P <math> \subset </math> NP, e questoquindi èP ritenuto= pocoNP. probabileLa dalladomanda gran"P=NP parteo degliP studiosi<math> \neq </math> NP?" è uno dei [[Problemi per il millennio|problemi del settore)millennio]], ad oggi non risolto, anche se molti esperti credono che P <math> \neq </math> NP.

{{Classi di complessità}}

{{Portale|matematica}}

{{SPortale|informatica|matematica}}

[[de:PSPACE]]

[[en:PSPACE]]

[[Categoria:Classi di complessità]]

[[es:ESPACIOP]]

[[he:PSPACE]]

[[ja:PSPACE]]

[[ko:PSPACE]]

[[nl:PSPACE]]

[[ru:Класс PSPACE]]

[[uk:PSPACE]]

[[zh:PSPACE]]