Cuando ejecuto el solver CP-SAT para distribuir los turnos, el resultado puede terminar en dos estados: OPTIMAL o FEASIBLE.
- OPTIMAL: encontró el óptimo global. No hay una distribución mejor.
- FEASIBLE: encontró una solución válida, pero no pudo demostrar que sea la mejor. Ni siquiera se puede asegurar que sea un óptimo local: es la mejor que encontró dentro del límite de tiempo.
CP-SAT no es un algoritmo goloso, pero la clase me ayudó a leer su resultado: la diferencia entre una solución que sirve y una que es la mejor.