Como usar exclusões e a unicidade de atribuições para determinar a opção restante em um problema de associação?

Eliminar alternativas impossíveis para cada elemento e, por exclusividade (cada opção atribuída uma única vez), atribuir a opção que sobrar.

Explicação:
1) Liste os sujeitos e as opções disponíveis.
2) Aplique cada informação negativa/positiva para riscar opções impossíveis.
3) Use a regra de unicidade (cada opção só pode pertencer a um sujeito) para propagar eliminações.
4) Quando apenas uma opção permanecer para um sujeito, essa é a atribuição final.

Exemplo:
Três funcionários e três cargos: gerente, analista, secretário; meios: carro, bicicleta, ônibus.
Dado: Funcionário A vai de carro e não é secretário.
Abra: O que sobrar para ser secretário?
Resolução:
- Se A não é secretário e já ocupa carro, sobram B e C para secretário.
- Suponha que o que vai de bicicleta é analista (informação adicional). Se B for analista (bicicleta), então C deve ser secretário.
- Pela exclusão (apenas um secretário), conclui-se que o secretário é o que restou após eliminar as impossibilidades.