$1$-Треугольные графы и совершенные окрестностные множества
П. А. Иржавский,
Ю. А. Картынник,
Ю. Л. Орлович Белорусский гос. университет, пр. Независимости, 4, 220030 Минск, Беларусь
Аннотация:
Граф называется
$1$-
треугольным, если для любого максимального независимого множества
$I$ этого графа каждое ребро графа, оба конца которого не принадлежат
$I$, содержится ровно в одном треугольнике с вершиной из множества
$I$. Получена характеризация
$1$-треугольных графов, из которой следует полиномиальный алгоритм их распознавания. Установлена сложность вычисления в классе
$1$-треугольных графов ряда теоретико-графовых параметров, связанных с независимостью и доминированием. В частности, установлена
$\mathrm{NP}$-полнота задачи о наименьшем совершенном окрестностном множестве в классе всех графов. Библиогр. 20.
Ключевые слова:
треугольный граф, рёберно-симплициальный граф, характеризация, совершенное окрестностное множество,
$\mathrm{NP}$-полнота.
УДК:
519.17 Статья поступила: 16.03.2016
Переработанный вариант: 27.06.2016
DOI:
10.17377/daio.2017.24.532