Como usar eliminação por incompatibilidade entre pares e restrições extras para determinar uma única atribuição?

Elimine pares impossíveis e atribua o elemento restante.

Explicação e exemplo:
Passo 1: Liste os pares que satisfazem a condição numérica.
Ex.: valores = 1, 3, 5, 7, 9, 11; pares cuja soma é 12: \(1+11,\,3+9,\,5+7\).
Passo 2: Aplique restrições extras que tornam certos elementos incompatíveis (por exclusão).
Ex.: dois com menos de 8 foram correr → exclui 9 e 11 dessa atividade.
Passo 3: Se um dos elementos de um par foi reservado para outra condição (ficou em casa), elimine o par correspondente.
Ex.: o de 3 ficou em casa, então o par \(3+9\) não pode ser o par que foi ao evento de soma 12.
Passo 4: Se um elemento fica excluído tanto da atividade dos pares quanto das outras atividades, só resta atribuí‑lo onde sobram vagas (por exclusão).
Conclusão do exemplo: 9 não pode ser corredor (é ≥8) e não pode formar o par soma‑12 (pois 3 está em casa); logo, 9 deve ficar em casa com 3.