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.
Eksempler
[rediger | rediger kilde]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
[rediger | rediger kilde]- 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