[일반] C번 증명 질문

[익명(222.96)]

N>1000 일때 0 출력해도 항상 답이 될 수 있는 이유가 뭐야?

[p플랫(urd05)]

M으로 나눈 나머지가 같은 쌍이 하나 이상 존재하게 되고, 그러면 그거를 뺀 거의 절댓값은 M의 배수임. 그러면 M의 배수에 뭘 아무리 곱해도 M으로 나눈 나머지는 0임.

[익명(222.96)]

그러니까 미리 배열 n개의 원소들을 모듈러 해두면 나머지가 같은 쌍이 하나 이상 존재해서 반드시 0이 존재하게 된다는 거지?

[p플랫(urd05)]

ㅇㅇ

[익명(222.96)]

ㅇㅎ ㄳㄳ