P (kompleksitet)

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk

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