Given a set of n integers S, with no elements divisible by n. Prove that there exists a subset of S that has a sum divisible by n. In this case, n should be > 1.
I'm pretty trash at mathematical proofs. Can someone help me out?
# | User | Rating |
---|---|---|
1 | tourist | 3985 |
2 | jiangly | 3814 |
3 | jqdai0815 | 3682 |
4 | Benq | 3529 |
5 | orzdevinwang | 3526 |
6 | ksun48 | 3517 |
7 | Radewoosh | 3410 |
8 | hos.lyric | 3399 |
9 | ecnerwala | 3392 |
9 | Um_nik | 3392 |
# | User | Contrib. |
---|---|---|
1 | cry | 169 |
2 | maomao90 | 162 |
2 | Um_nik | 162 |
4 | atcoder_official | 161 |
5 | djm03178 | 158 |
6 | -is-this-fft- | 157 |
7 | adamant | 155 |
8 | awoo | 154 |
8 | Dominater069 | 154 |
10 | luogu_official | 150 |
Given a set of n integers S, with no elements divisible by n. Prove that there exists a subset of S that has a sum divisible by n. In this case, n should be > 1.
I'm pretty trash at mathematical proofs. Can someone help me out?
Name |
---|
Arrange them in any order and look at prefix sums.
You have to consider the prefix sums, but I think that the key part of the solution is knowing Pigeonhole principle
Idea is like partial sum.Consider S1 = a1,S2 = a1 + a2,...Now we have n numbers (S1,S2,..Sn) and if one of them is divisible by n we're done,so asumme opposite.Now we have n number and less then n - 1 different remaniders modulo n so at least 2 of remainders (by PHP) are equal,let's say Si and Sj.But then n|Sj - Si.