Como usar relações de vizinhança e eliminação para determinar atribuições únicas em problemas de associação?

Usa-se as restrições de vizinhança para eliminar opções impossíveis e, por eliminação, atribuir a opção restante a cada elemento.

Explicação e exemplo:
- Aplicar as restrições de vizinhança para excluir imediatamente opções que conflitam com elas.
- Verificar exclusões adicionais por eliminação; quando um elemento fica com única opção, fixá‑la e propagar essa exclusão aos demais.

Exemplo:
Quatro caixas A, B, C, D e quatro cores: vermelho, azul, verde, amarelo.
Regras:
- B não é vermelho.
- C está vizinha da caixa azul.
- D é amarelo.
- A caixa vermelha está vizinha de C.

Raciocínio:
- C não pode ser azul (é vizinho do azul), nem amarelo (D já é amarelo), nem vermelho (vermelho é vizinho de C). Logo C = verde.
- O azul precisa ser vizinho de C; vizinhos de C são B e D; como D = amarelo, então B = azul.
- Sobram vermelho e amarelo para A e D; D já é amarelo, então A = vermelho.

Distribuição final: A — vermelho; B — azul; C — verde; D — amarelo.