Линейные неравенства и комбинаторика, Вялый М.Н.
Теория линейных неравенств называется линейным программированием. По существу она совпадает с геометрией многогранников в пространстве произвольной конечной размерности.
Здесь мы рассмотрим несколько примеров приложений линейного программирования к доказательству комбинаторных теорем.
Первым примером будут совершенные графы. Граф называется совершенным, если минимальное цветов для правильной раскраски любого его подграфа совпадает с максимальным числом попарно соседних вершин.
Второй сюжет, который обсуждается ниже — очень важная теорема линейного порграммирования, так называемая теорема двойственности. У этой теоремы есть много приложений к комбинаторике, здесь будут рассмотрены несколько характерных примеров.
Изложение сопровождается задачами. Часть из них — упражнения, которые читателю рекомендуется обязательно выполнить для проверки понимания прочитанного. Остальные — довольно трудные задачи, лежащие несколько в стороне от основного сюжета. Такие задачи отмечены звёздочками. В заключительном разделе приводятся решения некоторых задач.
