17 relazioni: Cammino hamiltoniano, Classe di complessità, Elsevier, Forma normale congiuntiva, Grafo, Leslie Valiant, Macchina di Turing, NP (complessità), P (complessità), Permanente (matematica), Problema decisionale, Problema del commesso viaggiatore, Problema di funzione, Scott Aaronson, Sharp-P-completo, Soddisfacibilità booleana, Teoria della complessità computazionale.
Cammino hamiltoniano
Nel campo matematico della teoria dei grafi, un cammino in un grafo (orientato o non orientato) è detto hamiltoniano se esso tocca tutti i vertici del grafo una e una sola volta.
Nuovo!!: Sharp-P e Cammino hamiltoniano · Mostra di più »
Classe di complessità
Nella teoria della complessità computazionale, una classe di complessità è un insieme di problemi di una certa complessità.
Nuovo!!: Sharp-P e Classe di complessità · Mostra di più »
Elsevier
Elsevier, società del gruppo Reed-Elsevier, è il maggior editore mondiale in ambito medico e scientifico.
Nuovo!!: Sharp-P e Elsevier · Mostra di più »
Forma normale congiuntiva
Nella logica booleana, una formula è in forma normale congiuntiva o congiunta (FNC), indicata anche come CNF (acronimo di Conjunctive Normal Form) se è una congiunzione di clausole, dove le clausole sono una disgiunzione di letterali.
Nuovo!!: Sharp-P e Forma normale congiuntiva · Mostra di più »
Grafo
Grafo (non orientato) con 6 nodi e 5 archi I grafi sono strutture matematiche discrete che rivestono interesse sia per la matematica che per un'ampia gamma di campi applicativi.
Nuovo!!: Sharp-P e Grafo · Mostra di più »
Leslie Valiant
Nessuna descrizione.
Nuovo!!: Sharp-P e Leslie Valiant · 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!!: Sharp-P 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!!: Sharp-P e NP (complessità) · 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!!: Sharp-P e P (complessità) · Mostra di più »
Permanente (matematica)
In matematica, il permanente di una matrice quadrata A di ordine n, di elementi a_ è definito come dove \sigma_i rappresenta una permutazione, ovvero un elemento del gruppo simmetrico S_n.
Nuovo!!: Sharp-P e Permanente (matematica) · 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!!: Sharp-P e Problema decisionale · Mostra di più »
Problema del commesso viaggiatore
Il problema del commesso viaggiatore è il più semplice fra i problemi di routing e di scheduling.
Nuovo!!: Sharp-P e Problema del commesso viaggiatore · Mostra di più »
Problema di funzione
Nella teoria della complessità computazionale, un problema di funzione è un problema computazionale dove ci si aspetta una singola uscita (di una funzione totale) per ogni entrata, ma l'uscita è più complessa di quello di un problema di decisione, cioè, non è solo "SÌ" o "NO".
Nuovo!!: Sharp-P e Problema di funzione · Mostra di più »
Scott Aaronson
Dopo la laurea in informatica alla Cornell University nel 2000, dal sito web di Aaronson.
Nuovo!!: Sharp-P e Scott Aaronson · Mostra di più »
Sharp-P-completo
#P-completo (pronunciato "sharp P completo" o, talvolta, "numero P completo" o "cancelletto P completo") è una classe di complessità nella teoria della complessità computazionale.
Nuovo!!: Sharp-P e Sharp-P-completo · Mostra di più »
Soddisfacibilità booleana
La soddisfacibilità booleana, o soddisfacibilità proposizionale o SAT, è il problema di determinare se una formula booleana è soddisfacibile o insoddisfacibile.
Nuovo!!: Sharp-P e Soddisfacibilità booleana · 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!!: Sharp-P e Teoria della complessità computazionale · Mostra di più »