Em uma lista ordenada de pontuações, o que implica a condição "nenhum torcedor tem pontuação maior que qualquer profissional" sobre a posição relativa das pontuações entre os dois

Resposta: Implica que todas as pontuações dos torcedores aparecem antes ou iguais às dos profissionais, ou seja \( \max(T) \le \min(P) \).

Explicação completa:
Se em uma lista ordenada os torcedores não podem ter pontuação maior que qualquer profissional, então os torcedores ocupam um bloco inicial (prefixo) da lista e os profissionais ocupam o bloco final (sufixo).
Repetições iguais podem ocorrer dentro de um grupo, ou na fronteira entre grupos, mas a divisão será numa posição contínua da lista ordenada.
Isso permite testar onde cortar a lista para satisfazer restrições sobre repetições e igualdades entre grupos.

Exemplo:
Considere pontuações ordenadas: 1, 2, 2, 3, 4, 4, 5.
Suponha que havia: apenas 2 torcedores com a mesma pontuação entre si, e um torcedor teve a mesma pontuação que um profissional.
Como os torcedores formam um prefixo, uma divisão compatível é: torcedores = 1, 2, 2, 3, 4 (cinco pessoas), profissionais = 4, 5 (duas pessoas).
Aqui há duas repetições entre torcedores (os dois 2), e há igualdade entre grupos na fronteira (o 4 aparece em ambos), e \( \max(T)=4 \le \min(P)=4 \), portanto a condição é satisfeita.