Stiamo lavorando per ripristinare l'app di Unionpedia nel Google Play Store
UscenteArrivo
🌟Abbiamo semplificato il nostro design per una migliore navigazione!
Instagram Facebook X LinkedIn
La tua Unionpedia con il tuo logo e dominio, a partire da 9,99 USD/mese
Crea il mio Unionpedia

Sharp-P

Indice Sharp-P

Nella teoria della complessità computazionale, la classe di complessità #P (pronunciata "sharp P" o, a volte, "numero P" o "cancelletto P") è l'insieme dei problemi di conteggio associati ai problemi decisionali nell'insieme NP.

Indice

  1. 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.

Vedere Sharp-P e Soddisfacibilità booleana