- •Глава VII
- •§ 43. Эйлеровы графы
- •Глава VIII
- •§ 45. Графическая последовательность
- •§ 46. Критерии графичности последовательности
- •§ 47. Реализация графической последовательности с максимальной связностью
- •§ 48. Гамильтонова реализация графической последовательности
- •§ 49. Расщепляемые графы
- •§ 50. Пороговые графы
- •§ 51. Пороговое разложение графа
- •§ 52. Степенное множество графа
- •Глава IX
- •§ 53. Правильная раскраска
- •§ 54. Оценки хроматического числа
- •§ 56. Раскраска ребер
- •§ 57. Связь матроидных разложений графов с раскрасками
- •§ 58. Раскраска планарных графов
- •§ 59. Проблема четырех красок
- •§ 60. Другие подходы к раскраске графов
- •§ 61. Совершенные графы
- •§ 62. Триангулированные графы
- •Глава X Ориентированные графы
- •§ 63. Основные определения
- •§ 64. Полустепени исхода и полустепени захода
- •§ 65. Обходы
- •§ 66. Пути
- •§ 67. База и ядро
- •Глава XI
- •§ 68. Основные определения и свойства
- •§ 69. Независимые множества
- •§ 70. Раскраски
- •§ 71. Реализации гиперграфа
- •Глава XII
- •§ 72. Предварительные сведения
- •§ 73. Поиск в глубину
- •§ 74. Отыскание двусвязных компонент
- •§ 75. Минимальный остов
- •§ 76. Кратчайшие пути
- •§ 77. Наибольшие паросочетания и задача о назначениях
- •§ 78. Труднорешаемые задачи
§ 69. Независимые множества
Множество вершин гиперграфа называется независимым, если оно не содержит ребер. Пустое множество вершин по определению независимо. Как и в случае графов, наибольшее по мощности независимое множество вершин гиперграфа Н называется наибольшим, а число вершив в этом множестве называется числом независимости гиперграфа Н и обозначается через αо(Н). Через ГН обозначается множество, элементами которого служат все независимые множества вершин гиперграфа Н.
Очевидно, что изучая независимые множества вершин гиперграфе, естественно рассматривать гиперграфы без кратных ребер. Опишем, как каждому такому гиперграфу поставить в соответствие монотонную булеву функцию. Пусть Н — гиперграф, VH =(1,2, ..., п), xv=( х1,х2, ..., хп) — характеристический вектор произвольного подмножества U € VH. Определим булеву функцию fH, Положив fH (x)=0 для n-мерного (0, 1)-вектора х = хv Тогда и только тогда, когда U € ГH. Поскольку любое подмножество независимого множества также независимо, то функция fH монотонна и fn (0, 0, ..., 0) = 0.
Соответствие Н -> fH не является, вообще говоря, инъективным, поскольку ребра гиперграфа могут содержаться одно в другом. Поэтому определенный интерес представляют гиперграфы специального вида — антицепи. Гиперграф называется антицепью, если никакое из его ребер в является подмножеством другого ребра. Очевидно, что все k-однородные гиперграфы и, в частности, все простые графы — антицепи.
Пусть Н — произвольная антицепь с непустым множеством ребер, VH = {1, 2, ..., п). Очевидно, что характеристические векторы ребер гиперграфа Н попарно несравнимы относительно порядка ≤: x=( х1, х2, ..., хп)≤ y=( y1, y2, ..., yп) <=> (xi ≤ yi i = 1, п). Поэтому существует единственная монотонная булева функция п переменных, множество нижних единиц которой совпадает с множеством всех характеристических векторов ребер гиперграфа H. Очевидно, что fH и есть такая функция. Для антицепи, не имеющей ребер, fH = 0.
С другой стороны, пусть f — монотонная булева функция п переменных, f ≠ 1. Определим гиперграф Hf, положив VHf = {1, 2, ..., п) и объявив ребрами все подмножества в VHf, характеристические векторы которых служат нижними единицами функции fH. Поскольку эта функция монотонна, то гиперграф Hf окажется антицепью. Очевидно, что fH f = f.
Итак, соответствие f -> Hf — биекция между множеством монотонных булевых функций, отличных от тождественно равной 1, и множеством антицепей.
П усть теперь А — произвольная m X n-матрица без нулевых столбцов, элементы которой — неотрицательные вещественные числа. Рассмотрим систему линейных неравенств
Здесь X — столбец неизвестных x1, x2 ,.. ,xn, В — столбец высоты m с неотрицательными элементами. Нас будут интересовать (0, 1)-решения этой системы. Определим булеву функцию f п переменных, положив f(x1, x2 ,.. ,xn) = 0 тогда и только тогда, когда (x1, x2 ,.. ,xn) — решение системы (1). Очевидно, что f — монотонная функция и f (0, 0, ..., 0) = 0. Скажем, что функция f задается системой неравенств (1).
Л егко понять, что любая монотонная булева функция, отличная от тождественно равной 1, задается некоторой системой линейных неравенств вида (1) с неотрицательными коэффициентами и правыми частями. В самом деле, пусть f — такая функция, Hf — соответствующая антицепь, VHf = (1, 2, ..., п), EHf = {e1 , е2, ...., еm },|ei| = ni (i = 1, m). Рассмотрим систему неравенств
Очевидно, что вектор х = xU = (x1, x2 ,.. ,xn) — решение этой системы тогда и только тогда, когда U € SH. Последнее означает, что fH f = 0. Но fHf = f , следовательно, функция f задается системой (2).
Если же антицепь Hi не имеет ребер, т. е. если f=0, то в качестве системы неравенств (2) можно взять систему xi ≤ 1 (i = 1, п).
Очевидно, что система неравенств, задающая монотонную булеву функцию, определяется неоднозначно.
Из всего сказанного выше очевидно вытекает следующее
Утверждение 69.1. Пусть f — монотонная булева функция, отличная от тождественно равной 1, (1)—задающая эту функцию система линейных неравенств, Hf — соответствующая антицепь, VHf = (1, 2, ...,п), U € VHf, xU — характеристический вектор подмножества U. Тогда следующие высказывания эквивалентны:
f (xU)=0;
вектор xU является решением системы (1);
U€ГHf.
Для того частного случая, когда все нижние единицы функции f имеют норму 2 (функция f графическая), указанная связь между функциями, системами неравенств и антицепями отмечалась ранее в § 28. В этой и только в этой ситуации антицепь Hf является простым графом.
В точности так же, как и для графов, определяется пороговое число th(Н) произвольной антицепи Н. Но в общем случае этот важный параметр изучался мало.