Klasse P

Die Klasse P enthält alle Entscheidungsprobleme, die von einer deterministischen Turingmaschine in Polynomzeit gelöst werden können:

P:=k1DTIME(nk)

Sie modelliert intuitiv „effizient lösbare Probleme“.