Esquema de refinamiento del problema de decisión