Проблема с нулевой суммой - Википедия - Zero-sum problem

В теория чисел, проблемы с нулевой суммой есть определенные виды комбинаторный проблемы о структуре конечная абелева группа. Конкретно, для конечной абелевой группы грамм и положительный целое число п, требуется наименьшее значение k такая, что каждая последовательность элементов грамм размера k содержит п условия, которые в сумме 0.

Классическим результатом в этой области является теорема 1961 г. Пол Эрдёш, Авраам Гинзбург, и Авраам Зив.[1] Они доказали, что для группы целых чисел по модулю п,

Это прямо говорит о том, что любой мультимножество из 2п - 1 целое число имеет подмножество размера п сумма элементов которого кратна п, но то же самое нельзя сказать о мультимножествах размера 2п - 2. (Действительно, оценка снизу нетрудно: мультимножество, содержащее п - 1 копии 0 и п - 1 экз. Из 1 не содержит п-подмножество, суммирующее кратное п.) Этот результат известен как Теорема Эрдеша – Гинзбурга – Зива. после его первооткрывателей. Это также можно вывести из Теорема Коши – Дэвенпорта.[2]

Существуют более общие результаты, чем эта теорема, такие как Теорема Олсона, Гипотеза Кемница (доказано Кристиан Рейхер в 2003 году[3]), а взвешенная теорема EGZ (доказано Дэвид Дж. Гринкевич в 2005 году[4]).

Смотрите также

Рекомендации

  1. ^ Эрдеш, Пол; Гинзбург, А .; Зив, А. (1961). «Теорема аддитивной теории чисел». Бык. Res. Совет Израиля. 10F: 41–43. Zbl  0063.00009.
  2. ^ Натансон (1996) стр.48
  3. ^ Райхер, Кристиан (2007), "О гипотезе Кемница о точках решетки на плоскости", Рамануджанский журнал, 13 (1–3): 333–337, arXiv:1603.06161, Дои:10.1007 / s11139-006-0256-y, Zbl  1126.11011.
  4. ^ Гринкевич, Д. Дж. (2006), «Весовая теорема Эрдеша-Гинзбурга-Зива» (PDF), Комбинаторика, 26 (4): 445–453, Дои:10.1007 / s00493-006-0025-у, Zbl  1121.11018.

внешняя ссылка