씨름 선수 문제관련 질문

네. 오래전에 받은 자료입니다. 말씀해주신 대로 새로 받아서 보니 내용이 바뀌어 있네요. 하지만 "다른 지원자 중 나보다 키도 크고 몸무게도 무거운 사람이 한사람이라도 존재하면 나는 탈락이다"는 문구는 풀이와 일치하지만, “다른 모든 지원자와 일대일 비교하여 키와 몸무게 중 적어도 하나는 크거나, 무거운 지원자만 뽑기로 했습니다.” 이 문장과 "만약 A라는 지원자보다 키도 크고 몸무게도 무거운 지원자가 존재한다면 A지원자는 탈락입니 다." 이 문장은 동일한 의미는 아닌거 같습니다. 알고리즘에 의해 탈락자와 선발자로 결정된 사람들을 다른 지원자와 하나씩 일대일 비교를 해보면 맞지 않는 사람이 있기 때문입니다. 예를 들면, 180 70 인 사람은 합격입니다. 탈락조건으로 따져보면 탈락이 아니기 때문에 합격은 맞습니다. 하지만 합격조건을 보면 모든 지원자와 일대일 비교를 해보면 가장 키가 큰것도 아니고 가장 무거운 것도 아닙니다. 그럼 합격조건이 키와 몸무게에 있어 가장 큰 사람을 뽑는 것이냐 하면 그것도 아닙니다. 적어도 크다라는 표현은 그럼 나보다 작은 사람이 있다는 의미로 해석될 수 있습니다. 그럼 다시 탈락자인 181 60을 생각해보면 이사람은 탈락 조건과 일치합니다. 합격조건을 따져보면 자기보다 키가 작은 사람이 존재합니다. 즉 "다른 모든 지원자와 일대일 비교하여 키와 몸무게 중 적어도 하나는 크거나"에 부합합니다. 키 조건이 가장 큰지 나보다 적은 사람이 존재하는지 어떤 기준으로 맞춰도 합격자와 불합격자간의 기준이 일치하지 않는 경우가 발생합니다. 이 문제가 왜 해석이 안되는지 계속 생각을 해봤는데. 결론은 탈락조건은 명확하지만. 합격조건이 탈락 조건의 반대가 아니기 때문입니다. 즉, 탈락 조건만 제시했다면 문제가 없지만 합격조건이 탈락자가 아닌 사람이 합격이다가 아니라 또다른 불명확한 합격 조건을 제시했기 때문입니다.