P (kompleksitet)

P er ei kompleksitetsklasse som beskriver alle beslutningsproblemer løsbare i polynomiell tid av ei deterministisk turingmaskin. Det er ei av de mest fundamentale kompleksitetsklassene innenfor kompleksitetsteori. Cobhams avhandling sier at P er kompleksitetsklassa over alle problemer som er effektivt løsbare. Et stort spørsmål innen informatikken er om denne kompleksitetsklassa er lik NP. Dette er kjent som P=NP-problemet og det er det per dags dato intet bevis for. P er definert som ei delmengde av NP.

En representasjon av forholdet mellom kompleksitetsklasser, som undergrupper av hverandre.

Eksempler

Eksempler på problemer som er løsbare i polynomiell tid og dermed i P er f.eks. å finne største fellesnevner. Flere problemer innenfor lineær programmering er kjent for å være i P.

Litteratur

• Sipser, Michael (2006). Introduction to the Theory of Computation, 2nd Edition. Course Technology Inc. ISBN 0-534-95097-3.  Section 7.2: The Class P, side 256–263