RUS  ENG
Полная версия
ЖУРНАЛЫ // Журнал Белорусского государственного университета. Математика. Информатика // Архив

Журн. Белорус. гос. ун-та. Матем. Инф., 2017, том 3, страницы 94–99 (Mi bgumi148)

Дискретная математика и Математическая кибернетика

Характеризация и распознавание графов пересечений ребер $3$-хроматических гиперграфов кратности не выше двух в классе расщепляемых графов

Т. В. Лубашеваa, Ю. М. Метельскийb

a Белорусский государственный экономический университет, пр. Партизанский, 26, 220070, г. Минск, Беларусь
b Белорусский государственный университет, пр. Независимости, 4, 220030, г. Минск, Беларусь

Аннотация: Пусть $L^{m}k$ обозначает класс графов пересечений ребер $k$-хроматических гиперграфов кратности не выше $m$. Известно, что задача распознавания графов из $L^{1}(k)$ полиномиально разрешима при $k=2$ и является $NP$-полной при $k=3$. Также известно, что для любого $k\geq 2$ графы из $L^{1}k$ характеризуются конечным списком запрещенных порожденных подграфов в классе расщепляемых графов. Вопрос о сложности распознавания графов из $L^{m}k$ при фиксированных $k\geq 2$ и $m\geq 2$ в настоящее время остается открытым. Здесь доказано, что для графов из $L^{2}(3)$ существует конечная характеризация в терминах запрещенных порожденных подграфов в классе расщепляемых графов. Отсюда, в частности, вытекает полиномиальная разрешимость задачи распознавания $G\in L^{2}(3)$ в классе расщепляемых графов. Результаты получены на основе доказанной в работе характеризации графов из $L^{2}(3)$ в терминах степеней вершин в одном из подклассов расщепляемых графов. В свою очередь, указанная характеризация получена с помощью известного описания графов из $L^{m}(k)$ в терминах покрытий кликами, а также доказанной в работе леммы о большой клике, уточняющей взаимное расположение клик в графе из $L^{m}(k)$.

Ключевые слова: граф пересечений ребер гиперграфа; запрещенный порожденный подграф; характеризация; расщепляемый граф.

УДК: 519.1

Поступила в редакцию: 18.05.2017



© МИАН, 2024