MRV y LCV: dos preguntas diferentes
Estado parcial del mapa: WA = rojo y NT = verde.
Pregunta: ¿qué variable no asignada tiene menos valores legales?
| Variable | Dominio actual | Valores restantes |
|---|---|---|
| SA ← MRV | {azul} | 1 |
| Q | {rojo, azul} | 2 |
| NSW | {rojo, verde, azul} | 3 |
| V | {rojo, verde, azul} | 3 |
| T | {rojo, verde, azul} | 3 |
MRV elige SA. Su única opción permite confirmar pronto si la rama puede continuar.
Supuesto: la variable elegida es Q, con dominio {rojo, azul}. ¿Qué color elimina menos opciones vecinas?
| Vecina | Antes | Después | Opciones eliminadas |
|---|
LCV compara el efecto sobre los dominios vecinos; no elige la variable.