4624
правки
Граф расщеплений: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Граф расщеплений''' (''[[Split graph]]'') - [[неориентированный граф]] <math>G = (V,E)</math>, имеющий такое [[разбиение]] множества [[вершина|вершин]] <math>V = S \cup K</math>, что [[подграф]] <math>G[S]</math> [[пустой граф|пустой]], а подграф <math>G[K]</math> [[полный граф|полный]]. | '''Граф расщеплений''' (''[[Split graph]]'') - [[неориентированный граф]] <math>G = (V,E)</math>, имеющий такое [[разбиение]] множества [[вершина|вершин]] <math>V = S \cup K</math>, что [[подграф]] <math>G[S]</math> [[пустой граф|пустой]], а подграф <math>G[K]</math> [[полный граф|полный]]. | ||
Фолдеш и Хаммер (Foldes, Hammer) в 1977 г. доказали следующий критерий: <math>G</math> --- ''граф расщеплений тогда и только тогда, когда <math>G</math> и <math>\bar{G}</math> --- [[хордальный граф|хордальные графы]]''. | Фолдеш и Хаммер (Foldes, Hammer) в 1977 г. доказали следующий критерий: <math>G</math> --- ''граф расщеплений тогда и только тогда, когда <math>G</math> и <math>\bar{G}</math> --- [[хордальный граф|хордальные графы]]''. | ||