Como inferir uma associação única entre duas categorias aplicando eliminação de opções incompatíveis?

Quando todas as opções exceto uma são excluídas, a opção que restou é a associação obrigatória.

Liste as possibilidades, aplique cada restrição para eliminar incompatibilidades e, sempre que sobrar apenas uma opção para um elemento, faça a atribuição e propague as consequências para reduzir as opções dos demais.

Exemplo:
Temos quatro pessoas e quatro salas: Azul, Verde, Amarela e Vermelha. Cada pessoa ocupa uma sala distinta e cada sala corresponde a um único setor: Vendas, Produto, Suporte, Financeiro.
Suponha a restrição: a sala Vermelha não é Vendas, nem Produto, nem Suporte.
Como ficaram excluídas todas as outras três opções para Vermelha, Vermelha = Financeiro.
Depois de atribuir Vermelha → Financeiro, atualize as possibilidades das demais salas; se alguma sala ficar com uma única opção restante, atribua também e continue até resolver todas as associações.