Выпуклый подграф

В этом графе треугольник 1-2-5 выпуклый, но путь 2-3-4 выпуклым не является, поскольку он не включает один из двух кратчайших путей из 2 в 4.

В метрике теории графов выпуклым подграфом неориентированного графа G называется подграф, который включает любой кратчайший путь в G между любыми двумя вершинами. Таким образом, это аналогично определению выпуклого множества в геометрии — такое множество содержит отрезок, соединяющий любые две точки множества.

Выпуклые подграфы играют важную роль в теории неполных кубов и медианных графов. В частности, в медианных графах выпуклые подграфы имеют свойство Хэлли — если элементы семейства выпуклых подграфов попарно пересекаются, то и всё семейство имеет непустое пересечение.

Ссылки

• H.-J. Bandelt, V. Chepoi. Surveys on Discrete and Computational Geometry: Twenty Years Later / Jacob E. Goodman, János Pach, R. Pollack. — Providence, RI: AMS, 2008. — Т. 453. — С. 49–86..
• Wilfried Imrich, Sandi Klavžar. A convexity lemma and expansion procedures for bipartite graphs // European Journal of Combinatorics. — Т. 19, вып. 6. — P. 677–686. — doi:10.1006/eujc.1998.0229..