Indice
4 relazioni: Lista delle classi di complessità, Polinomio cromatico, Sharp-P-completo, Soddisfacibilità booleana.
Lista delle classi di complessità
Questa pagina contiene la lista delle classi di complessità, insiemi concernenti la teoria della complessità computazionale. Nell'articolo computazione compare una mappa delle relazioni di inclusione dimostrabili per le classi di complessità.
Vedere Sharp-P e Lista delle classi di complessità
Polinomio cromatico
Il polinomio cromatico è un polinomio studiato nella teoria algebrica dei grafi, una branca della matematica. Esso conta il numero di colorazioni dei grafi come funzione del numero dei colori e fu definito originariamente da George David Birkhoff per affrontare il problema dei quattro colori.
Vedere Sharp-P e Polinomio cromatico
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.
Vedere Sharp-P e Sharp-P-completo
Soddisfacibilità booleana
La soddisfacibilità booleana, o soddisfacibilità proposizionale o SAT, è il problema di determinare se una formula booleana è soddisfacibile o insoddisfacibile.

