3622
правки
Изменения
м
→Ацикличность гиперграфов
[[Файл:Hypergraph.jpg|thumb|450px|Рис. 1: Гиперграф с множеством вершин <tex>V = \{ v_1, v_2, v_3, v_4, v_5, v_6, v_7 \}</tex> и гиперребрами <tex>E = \{ \{ v_1, v_2, v_3 \} , \{ v_2, v_3 \} , \{ v_3, v_5, v_6 \} , \{ v_4 \} \}</tex>]]
==Основные понятия гиперграфов==
}}
Пусть <tex>M - </tex> множество вершин гиперграфа <tex>H = (V, E)</tex>. Множество '''частичных ребер''' (англ. ''partial edges'') , порожденных множеством <tex>M</tex> , определяется как множество, полученное путем пересечения гиперребер из множества <tex>E</tex> с <tex>M</tex>. Таким образом, получаем множество : <tex> \{ e \cap M : e \in E \} - \{ \emptyset \} </tex> и берем его редукцию.
Множество частичных ребер, порожденное из гиперграфа <tex>H</tex> множеством <tex>M</tex>, называется '''вершинно - порожденным''' (англ. ''node-generated'') множеством частичных ребер.
{{Определение
''Пример''
[[Файл:Alpha-acyclity-1.png|thumb|lcenterleft|500px|Рис. 5: <tex> \alpha</tex>-ацикличный гиперграф]]
[[Файл:Alpha-acyclity-2.png|thumb|center|500px|Рис. 6: Подмножество гиперребер <tex> \{ ABC, CDE, EFA\} </tex>]]
