Гиперграфы
Версия от 11:25, 25 сентября 2015; Romanosov (обсуждение | вклад)
Определение: |
Гиперграфом — вершины; — ребра; предикат Под элементом гиперграфа будем понимать его вершину или ребро, т. е. любой элемент множества — инцидентор гиперграфа . . | называется пара множеств , вместе с двуместным предикатом , определенным при всех , , где
Гиперграф — такое обобщение неориентированного графа, когда ребрами могут служить произвольные подмножества заданного множества вершин, а не только двухвершинные и одновершинные.
Обыкновенный граф есть частный случай гиперграфа
, когда , и , а неориентированный граф общего вида — это гиперграф, удовлетворяющий условиям и .