Como se traduz a condição "entre dois itens há n elementos" em diferença de posições e como isso se combina com "vizinho imediato" para determinar posições em uma fila?

Diferença: "Entre dois itens há n elementos" implica \( |pos(X)-pos(Y)|=n+1 \); "vizinho imediato" implica diferença 1.

Explicação:
Ao converter a frase em fórmula, usa-se \( |pos(X)-pos(Y)|=n+1 \). Em problemas, combine essa igualdade com restrições adicionais (por exemplo, um elemento não ser extremidade ou ser vizinho de outro) e teste as posições possíveis eliminando as que violam as condições até restar a configuração válida.

Exemplo:
Suponha 6 lugares em linha. Se entre dois elementos há 2 pessoas, então \( |pos(X)-pos(Y)|=3 \). Se um terceiro elemento é vizinho de Y, então sua posição difere de Y em 1. Se Y não pode estar na posição 6, teste Y=5 → X=2; verifique se o vizinho de Y cabe sem conflito. Rejeite posições que causem conflito com outras restrições até achar a ordem consistente.