Unificata la definizione di problema decisionale.