Como usar uma relação de "imediatamente menor" junto com desigualdades transitivas para determinar a ordem de elementos?

Fixando adjacência com "imediatamente menor" e aplicando transitividade das desigualdades para montar a sequência e eliminar ordens impossíveis.

Explicação:
1) A relação "X é imediatamente menor que Y" obriga X e Y a serem vizinhos na ordem (não pode haver elementos entre eles).
2) As demais desigualdades fornecem comparações transversais que ampliam a sequência (se A < B e B < C então A < C).
3) Combinando a adjacência e as transitividades, monta-se as opções válidas e elimina-se as que violam restrições de posição (por exemplo, "não é o maior/nem o menor").

Exemplo:
Considere cinco elementos A, B, C, D, E com informações:
• A é imediatamente menor que B (A < B e são adjacentes).
• B é menor que C e também menor que D (B < C e B < D).
• C é menor que E (C < E).
• E não é nem o menor nem o maior.

Raciocínio:
- Da adjacência: sequência começa A < B < ...
- Como B < C e B < D, os dois C e D vêm depois de B: possibilidades iniciais A < B < C < D < E ou A < B < D < C < E (ou com E em outra posição).
- Mas C < E, então E deve vir depois de C; e como E não pode ser último nem o primeiro, descartamos disposições que colocem E na ponta.
- A única ordem compatível é A < B < C < E < D, portanto o 3º elemento (terceiro menor) é C.