problemi verificabili in tempo polinomiale da una macchina di Turing deterministica