Algoritmo de Consistencia de Arcos (AC-3)

Esta visualización sigue el caso de estudio de coloreo de mapas con variables: SA (South Australia), V (Victoria), NSW (New South Wales) y NT (Northern Territory). Según el ejemplo, SA ya tiene asignado el color Azul. Observa cómo el algoritmo evalúa los arcos dirigidos, poda colores inconsistentes y agrega nuevos arcos a la cola si es necesario.

Grafo de Restricciones (Canvas)

Cola de Arcos (Q)

Registro de Ejecución (Logs)