Топологическая комбинаторика: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Содержимое удалено Содержимое добавлено
Перевод с английского статьи "Topological combinatorics"
(нет различий)

Версия от 06:53, 3 мая 2017

Топологическая комбинаторика — это молодая область математики, возникшая в последней четверти 20-го века, которая занимается следующими вопросами:

  1. Применение методов топологии к задачам дискретной математики
  2. Топологические обобщения задач дискретной геометрии
  3. Дискретизация топологических понятий

Предпосылки

Комбинаторная топология[англ.]* использует комбинаторные принципы в топологии и в начале 20-го века превратилась в область алгебраической топологии.

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

Задачи и методы

Доказательство Ловаша использует теорему Борсука — Улама и эта теорема удерживает выдающуюся роль в этой новой области. Эта теорема имеет много эквивалентных версий и аналогов и используется для изучения задач справедливого дележа?!.

В другом приложении гомологических методов к теории графов Ловаш доказал как неориентированную, так и ориентированную версии гипотезы Франка[англ.] — Если задан k-связный граф G, k точек v1,...,vkV(G) и k положительных чисел n1,n2,...,nk сумма которых равна |V(G)|, существует разбиение {V1,...,Vk} множества V(G), такое что viVi, |Vi|=ni и Vi образуют связный подграф.

В 1987 Нога Алон решил задачу дележа ожерелья[англ.]*, используя теорему Борсука — Улама. Теорема использовалась также для изучения вычислительной сложности линейных алгоритмов дерева решений и гипотезы Аандераа — Карпа — Розенберга?!. Другие области изучении — топологии частично упорядоченных множеств[англ.] и порядков Брухата.

Кроме того, методы из дифференциальной топологии теперь имеют комбинаторный аналог в дискретной теории Морса[англ.].

См. также

Примечания

Литература

  • Mark de Longueville. 25 years proof of the Kneser conjecture - The advent of topological combinatorics // EMS Newsletter. — Southampton, Hampshire: European Mathematical Society, 2004. — С. 16–19.

Литература для дальнейшего чтения