Экстремальный граф
Экстрема́льный граф, граф, на котором та или иная числовая характеристика принимает своё минимальное или максимальное значение. Обычно отыскиваются экстремальные значения некоторой одной числовой характеристики при ограничениях на другие числовые характеристики и свойства. Часто задача состоит в описании множества соответствующих экстремальных графов. Пусть, например, зафиксированы целые положительные числа и и отыскивается наибольшее число рёбер -вершинного графа, не имеющего полных подграфов с вершинами. Установлено, что это число равно где . При этом единственным с точностью до изоморфизма экстремальным графом является полный -дольный граф, мощности долей которого отличаются не более чем на единицу (P. Turán, 1954).
На экстремальных графах изучаемые числовые характеристики достигают своего глобального экстремума. Так называемые критические графы могут рассматриваться как локально оптимальные. Пусть заданы некоторое свойство и набор одноместных операций над графами. Граф , обладающий свойством , называется критическим по свойству относительно операций , если после применения любой из этих операций получается граф, не обладающий свойством . При этом предполагается, что множество графов, не обладающих свойством , замкнуто относительно рассматриваемых операций. В качестве свойства рассматриваются такие свойства графа, как быть связным, плоским, -хроматическим и т. п., а в качестве операций – операции удаления и добавления вершины или ребра, стягивания ребра и др. Например, граф Петерсена (см. рис. 1) является критическим по свойству иметь рёберное хроматическое число, равное , относительно операции удаления ребра.
Полный пятивершинный граф (рис. 2) и полный двудольный граф (рис. 3), каждая доля которого имеет три вершины, являются критическими по свойству не быть плоским относительно операций удаления ребра, стягивания ребра, удаления вершины.
При изучении свойств и характеристик графов оказывается полезным изучение их критических подграфов, т. е. подграфов, обладающих теми или иными свойствами и являющихся минимальными (максимальными) по включению. Примеры таких подграфов – компоненты связности (-связности), остовные деревья.
Экстремальные и критические графы служат: для описания классов графов, обладающих заданными свойствами и числовыми характеристиками; для установления взаимосвязи между различными свойствами и числовыми характеристиками; для проверки наличия того или иного свойства графа.