P (kompleksitet)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6e/Complexity_subsets_pspace.svg/250px-Complexity_subsets_pspace.svg.png)
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
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