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 | 3856 |
2 | jiangly | 3747 |
3 | orzdevinwang | 3706 |
4 | jqdai0815 | 3682 |
5 | ksun48 | 3591 |
6 | gamegame | 3477 |
7 | Benq | 3468 |
8 | Radewoosh | 3462 |
9 | ecnerwala | 3451 |
10 | heuristica | 3431 |
# | User | Contrib. |
---|---|---|
1 | cry | 168 |
2 | -is-this-fft- | 162 |
3 | Dominater069 | 160 |
4 | Um_nik | 159 |
5 | atcoder_official | 156 |
6 | djm03178 | 153 |
6 | adamant | 153 |
8 | luogu_official | 149 |
9 | awoo | 148 |
10 | TheScrasse | 146 |
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.