ГИПЕРГРАФ

— пара , образованная конечным множеством вершин и некоторым семейством ребер — непустых частей X, удовлетворяющих условию

Напр для Г. Я на рис. . Если все двухэлементные, то Г. — это обыкновенный граф без голых вершин. Теория Г., используя осн. идеи графов теории, позволяет получать многие результаты короче и в более общем виде, а также допускает многочисленные приложения к др. проблемам комбинаторного характера. КГ., в частности, относятся матроиды, введенные с целью построения единой алгебр, теории деревьев, циклов и др. частей в графе.

Лит.: Зыков А. А. Теория конечных графов, т. 1. Новосибирск, 1969 [библиогр. с. 515—542]; Tutte W. Т. Lectures on matroids. «Journal of research National Bureau of Standards», 1965, v. 69B, J4« 1-2: Вerge C. Graphes et hypergraphes. Paris, 1971s А. А. Зыков.