Problem o sumie zerowej

0 W teorii liczb problemy o sumie zerowej to pewne rodzaje problemów kombinatorycznych dotyczących struktury skończonej grupy abelowej . Konkretnie, mając skończoną grupę abelową G i dodatnią liczbę całkowitą n , pyta się o najmniejszą wartość k taką, że każdy ciąg elementów G o rozmiarze k zawiera n wyrazów, których suma wynosi .

Klasycznym wynikiem w tym obszarze jest twierdzenie Paula Erdősa , Abrahama Ginzburga i Abrahama Ziva z 1961 roku . Udowodnili, że dla grupy liczb całkowitych modulo n ,

Wyraźnie mówi to, że każdy multizbiór 2 n - 1 liczb całkowitych ma podzbiór o rozmiarze n , którego suma elementów jest wielokrotnością n , ale to samo nie jest prawdą w przypadku multizbiorów o rozmiarze 2 n - 2. (Rzeczywiście, niższy granica jest łatwa do zauważenia: multiset zawierający n - 1 kopii 0 i n - 1 kopii 1 nie zawiera n - podzbioru sumującego się do wielokrotności n .) Wynik ten jest znany jako twierdzenie Erdősa – Ginzburga – Ziva po swoich odkrywcach. Można to również wywnioskować z twierdzenia Cauchy'ego – Davenporta .

Istnieją bardziej ogólne wyniki niż to twierdzenie, takie jak twierdzenie Olsona, hipoteza Kemnitza (udowodnione przez Christiana Reihera w 2003 r.) I ważone twierdzenie EGZ (udowodnione przez Davida J. Grynkiewicza w 2005 r.).

Zobacz też

Linki zewnętrzne