Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Gratuito
l'accesso più veloce di browser!
E-un annuncio gratuito

2-EXPTIME

Nella teoria della complessità computazionale, la classe di complessità 2-EXPTIME (talvolta chiamata 2-EXP, da 2-Exponential Time, "tempo 2-esponenziale") è l'insieme di tutti i problemi decisionali risolvibili da una macchina deterministica di Turing nel tempo O(22p(n)), dove p(n) è una funzione polinomiale di n. In termini di DTIME, Sappiamo che 2-EXPTIME può anche essere riformulato come la classe di spazio AEXPSPACE, i problemi che possono essere risolti da una macchina di Turing alternante in spazio esponenziale.

13 relazioni: Classe di complessità, EXPSPACE, EXPTIME, Funzione esponenziale, Gerarchia esponenziale, Insieme, Macchina di Turing, NP (complessità), O-grande, P (complessità), Problema decisionale, PSPACE, Teoria della complessità computazionale.

Classe di complessità

Nella teoria della complessità computazionale, una classe di complessità è un insieme di problemi di una certa complessità.

Nuovo!!: 2-EXPTIME e Classe di complessità · Mostra di più »

EXPSPACE

Nella teoria della complessità, EXPSPACE è l'insieme di tutti i problemi di decisione risolvibili da una macchina deterministica di Turing nello spazio O(2p(n)), dove p(n) è una funzione polinomiale di n. (Alcuni autori restringono p(n) all'essere una funzione lineare, ma la maggior parte degli autori invece chiamano la classe risultante ESPACE.) Se usiamo invece una macchina non deterministica, otteniamo la classe NEXPSPACE, che è uguale a EXPSPACE per il teorema di Savitch.

Nuovo!!: 2-EXPTIME e EXPSPACE · Mostra di più »

EXPTIME

Nella teoria della complessità computazionale la classe di complessità EXPTIME (a volte chiamata EXP, da Exponential Time, "tempo esponenziale"), è l'insieme di tutti i problemi decisionali risolvibili da una macchina deterministica di Turing nel tempo O(2p(n)), dove p(n) è una funzione polinomiale di n. In termini di DTIME, Sappiamo che e inoltre, dal teorema della gerarchia temporale e dal teorema della gerarchia spaziale, che così almeno una delle prime tre inclusioni e almeno una delle ultime tre inclusioni deve essere corretta, ma non si sa quali sono, anche se la maggior parte degli esperti credono che tutte le inclusioni siano corrette.

Nuovo!!: 2-EXPTIME e EXPTIME · Mostra di più »

Funzione esponenziale

In matematica, la funzione esponenziale è l'elevamento a potenza con base il numero di Eulero e e con l'esponente assunto come variabile indipendente; la scelta di questo particolare valore della base è motivata dal fatto che, in questo modo, la funzione così ottenuta ha un grafico che attraversa il punto (0,1) con pendenza unitaria (ossia pari a 1; altrimenti detto, è ivi tangente alla funzione lineare x→1+x), il che comporta che la derivata della funzione esponenziale è la funzione esponenziale stessa.

Nuovo!!: 2-EXPTIME e Funzione esponenziale · Mostra di più »

Gerarchia esponenziale

Nella teoria della complessità computazionale, la gerarchia esponenziale è una gerachia di classi di complessità, che inizia con EXPTIME: e continua con e così via.

Nuovo!!: 2-EXPTIME e Gerarchia esponenziale · Mostra di più »

Insieme

In matematica, un raggruppamento di oggetti rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque oggetto fa parte o no del raggruppamento.

Nuovo!!: 2-EXPTIME e Insieme · Mostra di più »

Macchina di Turing

In informatica una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite.

Nuovo!!: 2-EXPTIME e Macchina di Turing · Mostra di più »

NP (complessità)

La classe di problemi NP comprende tutti quei problemi decisionali che, per trovare una soluzione su una macchina di Turing non deterministica, impiegano un tempo polinomiale.

Nuovo!!: 2-EXPTIME e NP (complessità) · Mostra di più »

O-grande

La notazione matematica O-grande è utilizzata per descrivere il comportamento asintotico delle funzioni.

Nuovo!!: 2-EXPTIME e O-grande · Mostra di più »

P (complessità)

Nella teoria della complessità computazionale, P, anche conosciuto come PTIME o DTIME(nO(1)), è una delle più importanti classi di complessità.

Nuovo!!: 2-EXPTIME e P (complessità) · Mostra di più »

Problema decisionale

Un problema decisionale nell'ambito della matematica riguarda un problema di scelta in cui si deve prendere una decisione tra un elevato numero di soluzioni (ammissibili) alternative, sulla base di uno o più criteri.

Nuovo!!: 2-EXPTIME e Problema decisionale · Mostra di più »

PSPACE

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 deterministica usando una quantità di memoria di O(n^k), dove n è la dimensione dei dati di ingresso e k è un qualsiasi valore finito.

Nuovo!!: 2-EXPTIME e PSPACE · Mostra di più »

Teoria della complessità computazionale

In informatica, la teoria della complessità computazionale è una branca della teoria della computabilità che studia le risorse minime necessarie (principalmente tempo di calcolo e memoria) per la risoluzione di un problema.

Nuovo!!: 2-EXPTIME e Teoria della complessità computazionale · Mostra di più »

UscenteArrivo
Ehi! Siamo su Facebook ora! »