- problems solvable in polynomial time - which trivially means also verifiable in polynomial time too