Implementando o algoritmo de arco consistência.