Discrete Optimization ( IF 1.1 ) Pub Date : 2019-08-22 , DOI: 10.1016/j.disopt.2019.100553 Mateusz Miotk , Jerzy Topp , Paweł Żyliński
A subset is a dominating set of if every vertex in has a neighbor in , while is 2-dominating if every vertex in has at least two neighbors in . A graph is a -graph if it has a pair of disjoint subsets of vertices such that is a dominating set, and is a 2-dominating set of . Studies of first properties of the -graphs were initiated by Henning and Rall (2013). In this paper, we continue their study and complete their structural characterization of all -graphs. Next, we focus on minimal -graphs and provide the relevant characterization of that class of graphs as well. Additionally, we study optimization problems related to -graphs and non--graphs, respectively. In particular, for a given -graph , the purpose is to find a minimal spanning -graph of of minimum or maximum size. We show that both these problems are NP-hard. Finally, if is a graph which is not a -graph, we consider the question of how many edges must be added to or subdivided in to ensure the existence of a -pair in the resulting graph. The latter problem turned out to be polynomially tractable, while the former one is NP-hard.
中文翻译:
图中不相交的支配集和2支配集
一个子集 是主要的 如果每个顶点都在 有一个邻居 ,而 如果每个顶点都为2, 至少有两个邻居 。图 是一个 -图,如果有一对 顶点的不相交子集 是一个主要的集合,并且 是2的一组 。研究第一个性质图由Henning和Rall(2013)发起。在本文中,我们将继续他们的研究并完成他们对所有物体的结构表征-图。接下来,我们关注最小-图,并提供该类图的相关特征。此外,我们研究了与-图和非图。特别是对于给定-图形 ,目的是找到最小的跨度 的图 最小或最大尺寸。我们证明这两个问题都是NP难题。最后,如果 是不是 图,我们考虑必须添加多少条边的问题 或细分为 确保存在 对在结果图中。事实证明,后一个问题在多项式上可以解决,而前一个问题是NP难题。