Independent Dominating Sets in Directed Graphs
本文研究了最近由Cary,Cary和Prabhu提出的有向图的独立控制问题。我们提供了一个简短的算法证明,所有有向无圈图包含一个独立的控制集。利用线性代数工具,证明了任意偶数周期的强连通图至少有两个独立的控制集,推广了Cary,Cary和Prabhu的一些结果.通过构造几个无限图族的例子,证明了确定图的周期不足以确定独立控制集的存在性。通过给出两个无限图族,证明了Vizing猜想的直接类比对有向图的独立控制数不成立。首次研究了有向图的独立控制的时间复杂性,证明了有向无圈图和偶周期强连通图的独立控制集的存在性属于时间复杂性类$P$ .对于周期大于$1$的有向图,我们还给出了一个判定独立控制集存在性的算法。
2019-10-12 cs.DM math.CO
Characterizations of minimal dominating sets and the well-dominated property in lexicographic product graphs
本文通过引入不可约支配集概念,刻画了字典序乘积图的最小支配集,并给出良支配图的特征刻画,包括支配数为2时的多项式可检验条件,以及支配数有界图类中的多项式时间识别算法。
2017-08-18 cs.DM math.CO
On Error-detecting Open-locating-dominating sets
本文研究错误检测开定位支配集,证明其NP完全性,给出极值图并刻画允许此类集合的三次图。
2023-06-21 cs.DM math.CO
Maximum matchings and minimum dominating sets in Apollonian networks and extended Tower of Hanoi graphs
阿波罗网络显示出显着的幂律和小世界性质,在大多数现实的网络系统中观察到的。它们的对偶图是推广的Tower of Hanoi图,它是由Tower of Hanoi图通过添加一个特殊的顶点连接到它的所有三个极端顶点而得到的。本文研究了Apollonian网络及其对偶图中的最大匹配和最小控制集,这两个问题在复杂网络的结构可控性等领域有着广泛的应用。对于这两个网络,我们确定它们的匹配数,控制数,最大匹配数,以及最小控制集的数量。
2017-09-13 cs.DM math.CO
A Tight Upper Bound on the Average Order of Dominating Sets of a Graph
本文研究了图的控制集的平均阶,即图的控制集的平均阶$\operatorname{avd}(G)$ .像其他平均图参数一样,极值图也是有趣的。Beaton和Brown(2021)证明了对于所有不含孤立点的$n$阶的图$G$,有$\operatorname{avd}(G) \leq 2n/3$ .最近,Erey(2021)证明了无孤立点森林的猜想。本文证明了猜想,并对具有$\operatorname{avd}(G) = 2n/3$的图进行了分类.我们还使用我们的边界来证明Vizing猜想的平均版本。
2022-11-14 cs.DM math.CO
On distance r-dominating and 2r-independent sets in sparse graphs
Dvorak(2013)利用距离为2 r的独立集的最大尺寸和广义着色数给出了距离为r的控制集的最小尺寸的界,从而得到了任意类有界扩张图的参数的常数因子逼近算法。我们使用受Bansal和Umboh(2017)工作启发的基于LP的论点来改进和澄清这种依赖性。
2017-10-27 cs.DM math.CO
Finding Dominating Induced Matchings in $P_9$-Free Graphs in Polynomial Time
设$G=(V,E)$是一个有限无向图.边子集$E' \subseteq E$是{ \em支配诱导匹配}({ \em d.i.m.})在$G$中,如果$E$中的每条边都恰好被$E'$的一条边包围。\emph{Dominating Induced Matching}(\emph{DIM})问题要求存在d.i.m.\在$G$中。DIM问题是\NP -完全的,即使是非常有限的图形类,如平面二分图与最大程度3,但解决了线性时间为$P_7$ -免费的图形和多项式时间为$P_8$ -免费的图形。在本文中,我们解决了它在多项式时间的$P_9$ -自由图。
2020-04-01 cs.DM math.CO
Exact algorithms for dominating induced matchings
设图G的一条边支配自身及与之相邻的所有边,则图G =(V,E)的一条边支配集是E的边E'支配G的所有边的子集.特别地,如果G的每条边都恰好被E'的一条边支配,则E'是支配诱导匹配。众所周知,不是每个图都允许支配诱导匹配,而决定它是否允许的问题是NP-完全的。本文研究了一个带权边图的最小权控制诱导匹配问题。我们描述了一般图的两个精确算法。当G中存在一个小的已知顶点支配集,或G中存在多项式个数的极大独立集时,该算法是有效的.
2013-03-10 cs.DM math.CO
Fault-Tolerant Locating-Dominating sets with Error-correction
定位支配集是表示图G中的“检测器”的顶点的子集;每个检测器监视其闭合邻域并且可以将其自身的位置与其邻居区分开,并且给定所有传感器输入,系统可以在图中的任何地方定位“入侵者”。我们探讨了一个容错的变种定位主导集,纠错定位主导(ERR:LD)集,它可以容忍一个不正确的信号从一个单一的检测器。特别地,我们刻画了纠错定位控制集,并得到了它的存在性准则。我们还证明了在任意图中确定ERR:LD集的最小基数的问题是NP-完全的。此外,我们建立了无限网格和三次图中ERR:LD集的最小密度的上下界,并证明了三次图的最小密度的下界是尖锐的。
2022-12-15 cs.DM math.CO
On the vertices belonging to all, some, none minimum dominating set
我们刻画了顶点属于所有最小控制集,属于某些最小控制集但不是全部,以及不属于最小控制集。我们完善这个特性的一些研究的子类图:弦,无爪,三角形自由。我们还展示了一些图回答一些开放的问题的文献上的最小控制集。
2019-09-06 cs.DM math.CO
Constructing Dominating Sets in Circulant Graphs
给出了循环图中关于$n$注记和$k$不同弦长的一个合理小的控制集的有效构造.这个结果是基于一些双指数和的界。.
2016-03-02 cs.DM math.CO math.NT
On the complexity of Dominating Set for graphs with fixed diameter
本文针对固定直径的无爪图研究支配集问题的复杂性,证明直径至少为3时该问题NP-完全,直径至多为2时多项式时间可解,并借助2K₂-自由图上的最小极大匹配算法完成证明。
2023-04-19 cs.DM math.CO
Locating-dominating partitions for some classes of graphs
Université Clermont Auvergne, CNRS, Clermont Auvergne INPMines Saint-Étienne, LIMOS(克莱蒙奥弗涅大学);Indian Institute of Technology Ropar(印度理工学院罗帕尔分校)
研究了某些图类中顶点集能被划分为两个定位-支配集的问题,证明了距离-hereditary图、最大外平面图、分割图和共双图中存在这样的划分,从而验证了相关猜想。
2026-04-16 cs.DM math.CO
On open-separating dominating codes in graphs
本文提出开分离支配码(OD-码)新概念,研究其存在性、难解性与极小性,并与开分离全支配码(OTD-码)在图族上比较,最终将问题转化为超图覆盖问题并讨论相关多面体。
2025-10-10 cs.DM math.CO
Finding Dominating Induced Matchings in $S_{1,1,5}$-Free Graphs in Polynomial Time
设$G=(V,E)$是一个有限无向图。边集$E' \subseteq E$是{ \em支配诱导匹配}({ \em d.i.m.})在$G$中,如果$E$中的每条边都恰好被$E'$的一条边包围。\emph{Dominating Induced Matching}(\emph{DIM})问题要求存在d.i.m.\在$G$中;这个问题也被称为\emph{Efficient Edge Domination}问题;它是线图的有效控制问题。DIM问题是\NP -完全的,即使是非常有限的图类,如平面二分图,最大程度为3,但在线性时间内可解的$P_7$ -自由的图,和在多项式时间内为$S_{1,2,4}$ -自由的图,以及为$S_{2,2,2}$ -自由的图和为$S_{2,2,3}$ -自由的图。在本文中,结合两种不同的方法,我们解决了它在多项式时间的$S_{1,1,5}$ -自由图。
2020-03-18 cs.DM math.CO
New Optimal Results on Codes for Location in Graphs
University of Turku(图尔库大学)
该研究针对图中定位相关的编码问题,在无限三角网格、国王网格、完全图直积及汉明图等结构中,给出了刚定位支配码、自定位支配码等类型编码的最优规模结果。
2026-08-18 cs.DM math.CO
Domination Cover Number of Graphs
图$G=(V, E)$的一个集合$D \subseteq V$称为支配集,如果任何顶点$v\in V\setminus D$在$D$中至少有一个邻居。Fomin等人[9]给出了一个在$O(1.7159^n)$时间内枚举所有具有$n$顶点的极小控制集的算法。已知$n$顶点上的区间图和树的最小控制集的个数至多为$3^{n/3} \approx 1.4422^n$。本文引入控制覆盖数作为判定图的控制集的一个新准则。支配集$D$的控制覆盖数,记作$\mathcal{C}_D(G)$,是$D$中顶点的度之和。最大化或最小化这个参数在所有的最小支配集有有趣的应用在许多现实世界的问题,如画廊问题。此外,我们研究了不同图类的控制覆盖数的概念,并提出了一些算法来寻找树,块图的控制覆盖数。
2018-05-07 cs.DM math.CO
Graphs with unique Grundy dominating sets
研究图$G$中Grundy支配集的唯一性条件,在自同构映射下刻画四种变体中具有唯一Grundy支配集的图与森林,并为森林类提出高效识别算法。
2025-04-03 cs.DM math.CO
Some Results on Dominating Induced Matchings
设$G$是一个图,$G$的支配诱导匹配(DIM)是支配$G$每条边的诱导匹配.本文证明了如果图$G$有DIM,则$χ(G) \leqslant 3$ .证明了如果$G$是一个连通图,且其所有边都可划分为DIM,则$G$是正则图或双正则图,并刻画了所有边集可划分为DIM的图.另外,证明了如果$G$是一个$n$阶$r$ -正则图,且其边可划分为DIM,则$n$可被$\binom{2r - 1}{r - 1}$和$n = \binom{2r - 1}{r - 1}$整除当且仅当$G$是具有参数$r-1$,$2r-1$的Kneser图。
2019-12-01 cs.DM math.CO
Progress towards the two-thirds conjecture on locating-total dominating sets
本文研究无孤立点的无孪生图中定位全支配集的三分之二上界猜想,并证明其对共二部图、分裂图、块图和次三次图成立。
2024-08-07 cs.DM math.CO
Linear separation of connected dominating sets in graphs
图的连通控制集是指导出连通子图的顶点的控制集。继类似的研究在文献中有关的独立集,控制集,和总控制集,本文研究的一类图,其中的连通控制集可以从其他顶点子集的线性权函数。更确切地说,我们说一个图是连通支配的,如果它允许与它的顶点相关的非负实权重,使得一个顶点集是连通支配集当且仅当相应的权重之和超过某个阈值。我们刻画了在这个非遗传类的图的最小割集的集合的性质。我们给出了遗传情况下的几个刻画,即当每个连通诱导子图都要求是连通域的时候。用禁止诱导子图刻画这类图意味着它适当地推广了两类著名的弦图:块图和平凡完美图。最后,我们研究了连通域图的某些算法方面。建立在与最小割集和性质的超图和布尔函数的连接,我们表明,我们的方法导致新的多项式可解的情况下的加权连通支配集问题。
2018-06-11 cs.DM cs.DS math.CO
Open-locating-dominating sets with error correction
本文研究了开放定位支配集的容错变体——纠错开放定位支配集,证明了在任意图中寻找其最小集是NP完全问题,刻画了存在准则,并探讨了极图与无限网格中的情况。
2023-07-30 cs.DM math.CO
TS-Reconfiguration of Dominating Sets in circle and circular-arc graphs
研究了基于令牌滑动规则的控制集重构问题。它包括给定图G=(V,E)和G的两个控制集D_s和D_t,判定是否存在序列S=<D_1:=D_s,.,D_l:=D_t>,使得对于任意两个相邻的控制集D_r和D_{r+1},当r<t时,D_{r+1} =(D_r\ u)U v,其中uv是G的一条边.在最近的一篇论文中,Bonamy等人研究了这个问题,并提出了以下问题:圆弧图上这个问题的复杂性是什么?在圆图上?在本文中,我们回答了这两个问题,证明了该问题是多项式的圆弧图和PSPACE完全的圆图。
2021-02-21 cs.CC cs.DM math.CO
On the maximum number of minimal connected dominating sets in convex bipartite graphs
众所周知,一般图的最小连通控制集的计数是非常困难的。目前,只知道集合的枚举速度比$\mathcal{O}^{*}(2^n)$稍快,并且算法非常重要。此外,在构造枚举算法时,似乎很难使用二分性作为结构辅助。因此,据我们所知,没有已知的输入敏感算法枚举最小支配集,或其相关的集合之一,在二分图比一般的图。本文给出了二部图的一些非平凡子类,即凸图的第一个输入敏感计数算法。给出了一个计算凸二部图在时间上的所有最小连通控制集的算法$\mathcal{O}(1.7254^{n})$,其中$n$是输入图的顶点数.我们的算法意味着一个相应的上界的最小连通支配集的数量为这个图类。我们通过提供一个凸二部图来补充这个结果,这个凸二部图至少有$3^{(n-2)/3}$最小连通控制集。
2019-08-06 cs.DM cs.DS math.CO
Dominating induced matchings in graphs containing no long claw
一个图$G$中的导出匹配$M$是支配的,如果不是在$M$中的每条边与$M$中的一条边恰好共享一个顶点。支配诱导匹配问题(也称为有效边支配)询问图$G$是否包含支配诱导匹配。这个问题一般是NP-完全的,但对于具有某些特殊性质的图是多项式时间可解的。特别地,对于无爪图,它在多项式时间内是可解的。本文研究了不含长爪的图的诱导子图问题,即不存在由长爪的每条边细分一次而得到的诱导子图。为了解决这类问题,我们把它归结为以下问题:给定一个图$G$和它的顶点的子集,$G$是否包含一个使子集的所有顶点饱和的匹配?我们证明了这个问题可以在多项式时间内得到解答,从而为解决不含长爪的图的主导诱导匹配问题提供了一个多项式时间算法。
2015-05-11 cs.DM cs.DS math.CO
Counting Dominating Sets in Directed Path Graphs
一个图的支配集是一个顶点的集合,使得每个不在这个集合中的顶点至少有一个邻居在这个集合中。弦图的控制集计数问题是P-完全的,而其子类区间图的控制集计数问题是多项式时间可解的。有向路径图是一类介于弦图和区间图之间的著名图,其相应问题的复杂性状态仍未确定。本文揭示了有向路图的控制集计数问题仍然是P-完全的,但根有向路图的严格约束允许多项式时间的解决方案。
2022-07-01 cs.DM
On the Enumeration of Minimal Dominating Sets and Related Notions
图中的支配集$D$是其顶点集的子集,使得每个顶点要么在$D$中,要么在$D$中有邻居。在本文中,我们感兴趣的(包含明智的)图中的最小控制集的计数,称为Dom-Enum问题。众所周知,这个问题可以多项式地简化为超图中的Trans-Enum问题,即,在超图中枚举所有最小断面的问题。首先,我们证明了跨枚举问题可以多项式减少到Dom-Enum问题。因此,存在一个输出多项式时间算法的跨枚举问题,当且仅当存在一个Dom-Enum问题。其次,我们研究了一些图类中的Dom-Enum问题。本文给出了分裂图中Dom-Enum问题的一个输出多项式时间算法,并引入图的完备化,得到了分裂图的一个恰当超类$P_6$ -free弦图中Dom-Enum问题的一个输出多项式时间算法.最后,我们研究了图的最小连通控制集和最小全控制集的计数的复杂性。我们证明了存在一个输出多项式时间算法的Dom-Enum问题(或等价的trans-Enum问题)当且仅当存在一个以下枚举问题:最小全控制集,最小全控制集在分裂图,最小连通控制集在分裂图,最小控制集在co-bipartite图。
2014-07-08 cs.DM cs.DS math.CO
Enumerating minimal dominating sets and variants in chordal bipartite graphs
针对弦二部图极小支配集枚举的公开问题,提出多项式延迟与空间的枚举算法,并解决其全支配、连通支配变体的枚举复杂度问题,同时证明相关技术无法直接推广到一般二部图。
2025-08-04 cs.DM cs.DS math.CO
Efficient Dominating and Edge Dominating Sets for Graphs and Hypergraphs
设G=(V,E)是一个图.一个顶点支配它自己和它的所有邻居,即,V中的每个顶点v支配它的闭邻域N[v]。G中的一个顶点集D是一个有效控制(e. d.)如果对于V中的每个顶点v,D中恰好有一个d控制v,则边集M是有效边控制(e.e.d.)如果它是图G的线图L(G)中的有效支配集,则称它是G的配集. ED问题(EED问题,分别)要求存在一个e.d.设置(e.e.d.)在给定的图形中分别设置)。我们给出了一个统一的框架,调查这些问题的复杂性,各类图。特别是,我们解决了一些公开的问题,并给出了线性时间算法的ED和EED的对偶弦图。我们将这两个问题推广到超图,证明了ED在α-无圈超图上是NP-完全的,在超树上是多项式时间可解的,而EED在α-无圈超图上是多项式的,在超树上是NP-完全的.
2012-07-06 cs.DM
Below all subsets for Minimal Connected Dominating Set
图$G$中的顶点子集$S$是支配集,如果不包含在$S$中的每个顶点在$S$中都有邻居.如果由$S$导出的子图$G[S]$是连通的,则支配集$S$是连通支配集。连通控制集$S$是极小连通控制集,如果没有$S$的真子集也是连通支配集.证明了存在一个常数$\varepsilon > 10^{-50}$,使得$n$顶点上的图$G$至多有$O(2^{(1-\varepsilon)n})$最小连通控制集.对于同样的$\varepsilon$,我们也给出了一个具有运行时间的算法$2^{(1-\varepsilon)n}\cdot n^{O(1)}$来枚举输入图$G$中的所有最小连通支配集.
2016-11-02 cs.DM cs.DS math.CO
Tropical Dominating Sets in Vertex-Coloured Graphs
给定一个顶点着色图,如果图的每一种颜色在一个支配集中至少出现一次,则称该配集是热带的。在这里,我们研究最小热带控制集的结构和算法的观点。首先,我们证明了热带支配集问题即使在简单路的情况下也是NP-完全的,然后,我们建立了与图的各种参数如最小度和边数有关的上界.我们还给出了随机图的上界。最后,我们给出了一般图类和限制图类的可逼近性和不可逼近性结果,并建立了区间图的FPT算法。
2016-01-18 cs.DM
Neighborhood inclusions for minimal dominating sets enumeration: linear and polynomial delay algorithms in $P_7$-free and $P_8$-free chordal graphs
在[M. M. Kanté,V. Limouzy,A.玛丽和L.诺琳关于极小控制集的计数及相关概念。SIAM Journal on Discrete Mathematics,28(4):1916-1929,2014]中,作者给出了一种基于邻域包含的$O(n+m)$延迟算法,用于分裂和无$P_6$弦图中最小控制集的枚举。在本文中,我们调查推广这种技术$P_k$ -自由弦图的大整数$k$。特别地,我们在无$P_8$和无$P_7$弦图类中给出了$O(n+m)$和$O(n^3\cdot m)$延迟算法.对于无$P_k$弦图的$k\geq 9$,我们给出了证据,这种技术是低效的算法的关键步骤,即无冗余扩展问题,成为NP-完全。
2019-09-28 cs.DM cs.DS math.CO
Generating All Minimal Edge Dominating Sets with Incremental-Polynomial Delay
对于任意m边无向简单图G,给出了一个运行时间为O(m^4 |L| ^2)的生成G的所有极小边控制集的集合L的算法.对于二部图,我们得到了一个更好的结果,我们证明了它们的最小边控制集可以在O(m^4 |L|)的时间内计数。事实上,我们的结果更强;当L是已经生成的最小边控制集的集合时,这两个算法分别以增量多项式延迟O(m^5 |L|)和O(m^4 |L|)生成下一个最小边控制集。我们的算法是量身定制的,并解决了等价的问题,枚举最小(顶点)控制集的线图和线图的二分图,递增多项式延迟,因此在输出多项式时间。图的最小控制集的计数最近被证明是等价于超图的最小断面的计数。超图的最小断面是否能在输出多项式时间内计数是输出敏感计数中一个基本而又具有挑战性的问题,它已经公开了几十年,并引发了该领域的广泛研究。
2012-10-23 cs.DM cs.DS math.CO
Parameterized Domination in Circle Graphs
圆图是圆中一组弦的交图。Keil [Discrete Applied Mathematics,42(1):51-63,1993]证明了圈图的支配集、连通支配集和全支配集是NP-完全的。据我们所知,没有什么是已知的参数化的复杂性,这些问题的圆图。在本文中,我们证明了以下结果,这有助于在这个方向上:-支配集,独立支配集,连通支配集,总支配集,和无圈支配集是W[1]-硬的圆图,参数的大小的解决方案。- 鉴于连通支配集和无圈支配集在圈图中都是W[1]-难的,证明了连通无圈支配集在圈图中是多项式时间可解的. - 如果T是一棵给定的树,当T是输入时,判定一个圈图是否有一个与T同构的支配集是NP-完全的,而当参数为|V(T)|.我们证明了FPT算法是次指数的。
2012-05-16 cs.CC cs.DM cs.DS
Blocking dominating sets for $H$-free graphs via edge contractions
本文考虑了如下问题:给定一个连通图$G$,能否仅用一条边收缩使$G$的控制数减1?我们证明了这个问题是$\mathsf{NP}$ -硬时,限制到$\{P_6,P_4+P_2\}$ -自由图,它是$\mathsf{coNP}$ -硬时,限制到次立方无爪图和$2P_3$ -自由图。因此,当$H$连通时,我们能够在无$H$图上建立问题的复杂性二分法。
2019-08-04 cs.CC cs.DM math.CO
Enumerating minimal dominating sets in the (in)comparability graphs of bounded dimension posets
CNRS, LaBRI, Université de Bordeaux(法国国家科学研究中心,LaBRI,波尔多大学);LIS, Aix-Marseille Université(LIS,艾克斯-马赛大学);LIMOS, Université Clermont Auvergne(LIMOS,克莱蒙奥弗涅大学);Theoretical Computer Science Department, Faculty of Mathematics and Computer Science, Jagiellonian University(雅盖隆大学数学与计算机科学学院理论计算机科学系)
本文提出在有限维偏序的不可比图中,通过flashlight搜索方法实现输出多项式时间算法,并改进翻转方法以减少空间需求,从而提升极小支配集的枚举效率。
2025-11-26 cs.DM cs.DS math.CO
Distributed Dominating Set Approximations beyond Planar Graphs
最小支配集(MDS)问题是分布式计算中最基本、最具挑战性的问题之一。虽然众所周知,最小控制集不能在一般图上局部近似,但在过去几年中,在稀疏图,特别是平面图上计算局部近似已经取得了很大进展。在本文中,我们研究了分布式和确定性的MDS近似算法的图形类平面图以外。特别地,我们证明了平面图的现有逼近界可以提升到有界亏格图,并给出了(1)一个局部常数时间,常数因子MDS近似算法和(2)一个局部$\mathcal{O}(\log^*{n})$ -时间逼近方案。我们的主要技术贡献是一个新的分析略有修改的现有算法的Lenzen等人。有趣的是,与现有的平面图的证明,我们的分析不依赖于直接的拓扑参数。
2019-04-16 cs.DC cs.DM cs.DS
A Polynomial Delay Algorithm for Enumerating Minimal Dominating Sets in Chordal Graphs
图的最小控制集列表的输出多项式算法是一个具有挑战性的开放问题,并且已知等价于著名的Transmittance问题,该问题要求输出多项式算法来列出超图的最小碰集。我们给出了一个多项式延迟算法列出弦图,一个重要的和研究得很好的一类图,这样的算法是开放的一段时间的最小控制集的集合。
2014-07-08 cs.DM cs.DS
The Expected Size of the Rule k Dominating Set
规则k是一个局部化的近似算法,它在图中找到一个小的连通支配集。本文估计了平面上sn × sn正方形区域中n个随机点构成的随机单位圆盘图模型的规则k支配集的期望大小。
2004-08-31 cs.DM
Dominating Induced Matchings for P7-Free Graphs in Linear Time
设$G$是一个具有边集$E$的有限无向图.如果$G$中的$E'$的边的成对距离至少为2,则边集$E' \subseteq E$是$G$中的{ \em诱导匹配};如果$E'$中的每条边$e \in E \setminus E'$与$E'$中的某条边相交,则$E'$是$G$中的{\em支配}。\emph{Dominating Induced Matching Problem}(简称\emph{DIM})要求存在一个诱导匹配$E'$,它在$G$中也是主导的;这个问题也被称为\emph{Efficient Edge Domination}问题。DIM问题涉及到并行资源分配问题、编码理论和网络路由。它是\NP -完全的,即使是非常有限的图类,如平面二部图的最大程度为3。然而,它的复杂性对于任何$k \ge 5$的$P_k$ -free图是开放的; $P_k$表示具有$k$顶点和$k-1$边的无弦路径.本文证明了无$P_7$图的加权DIM问题在线性时间内是可解的。
2011-06-14 cs.DM
Finding Dominating Induced Matchings in $(S_{2,2,3})$-Free Graphs in Polynomial Time
设$G=(V,E)$是一个有限无向图。边集$E' \subseteq E$是{ \em支配诱导匹配}({ \em d.i.m.})在$G$中,如果$E$中的每条边都恰好被$E'$的一条边包围。\emph{Dominating Induced Matching}(\emph{DIM})问题要求存在d.i.m.\在$G$中;这个问题也被称为\emph{Efficient Edge Domination}问题;它是线图的有效控制问题。DIM问题是\NP -完全的,即使是非常有限的图类,如平面二分图与最大程度3,是可解的线性时间为$P_7$ -免费的图,和在多项式时间为$S_{1,2,4}$ -免费的图以及$S_{2,2,2}$ -免费的图。在本文中,结合两种不同的方法,我们解决了它在多项式时间的$S_{2,2,3}$ -自由图。
2020-01-06 cs.DM
Dominating Induced Matchings for $P_8$-free Graphs in Polynomial Time
设$G=(V,E)$是一个有限无向图。边集$E' \subseteq E$是支配诱导匹配(d.i.m.)如果$E$中的每条边都恰好被$E'$的一条边所包围,则在$G$中。支配诱导匹配(DIM)问题要求存在D.I.M.。在$G$中,这个问题也被称为有效边支配问题。DIM问题涉及到并行资源分配问题、编码理论和网络路由。即使对于非常有限的图类(例如最大度为三的平面二分图),它也是NP完全的,并且对于无$P_7$的图,它在线性时间内是可解的。然而,它的复杂性对于任何$k \ge 8$的无$P_k$图是开放的; $P_k$表示具有$k$顶点和$k-1$边的无弦路径.本文证明了无$P_8$图的加权DIM问题在多项式时间内是可解的。
2016-05-13 cs.DM
$m$-Eternal Dominating Set Problem on Subclasses of Chordal Graphs
Department of Mathematics, IIT Delhi(德里理工学院数学系)
研究m-永恒支配集问题在弦图子类中的计算复杂性,揭示不同图类中支配集与永恒支配集的复杂性差异。
2026-02-02 cs.CC cs.DM
Counting the Number of Minimum Roman Dominating Functions of a Graph
本文给出了两个计算n阶图的最小罗马控制函数个数的算法,时间复杂度为O(1.5673^n),空间复杂度为O(1.5673^n)。我们还表明,时间复杂度可以降低到O(1.5014 ^n),如果使用指数空间。我们的结果是通过将罗马控制问题转化为图上的其他组合问题,其精确算法已经存在。
2014-03-10 cs.DM cs.DS
New parameterized algorithms for edge dominating set
图G=(V,E)的边支配集是图G中的边的子集M,使得E-M中的每条边与M中的至少一条边关联。在参数化边支配集问题的一个例子中,我们给定一个图G=(V,E)和一个整数k,我们被要求决定G是否有一个大小不超过k的边支配集。本文证明了参数化边支配集控制问题可以在O^*(2.3147^k)时间和多项式空间中求解。我们证明了这个问题可以归结为一个具有O(k^3)边的二次核。
2011-04-21 cs.DM
Inapproximability of Dominating Set in Power Law Graphs
给出了连通(alpha,beta)-幂律图中最小支配集问题的可逼近性的对数下界。我们也给出了一个最好的到现在为止的上限近似的情况下,参数β>2的问题。我们还开发了一个新的功能方法证明下近似界,并显示一个尖锐的相变之间的可逼近性和不可逼近的基本问题。这种方法也可能是独立的利益。
2012-12-14 cs.CC cs.DM cs.DS
Kernels for (connected) Dominating Set on graphs with Excluded Topological subgraphs
给出了H-拓扑子自由图的(连通)支配集问题的第一线性核。本文证明了对给定的H-拓扑无子图G和一个正整数k,存在一个多项式时间算法,即在O(k)个顶点上输出一个H-拓扑无子图G',使得G有一个大小为k的(连通)支配集当且仅当G'有一个.我们的结果推广了已知的图类上的支配集和连通支配集问题允许线性核。在此之前,我们的工作,它是已知的,这些问题承认线性核的图形不包括一个固定的顶点图H作为一个未成年人。此外,对于支配集,一个核的大小kc(H),其中c(H)是一个常数取决于H的大小,从一个更一般的结果,支配集的有界退化图的核化。Alon和Gutner明确地提出了一个问题,即在无H-子图上是否可以得到支配集的线性核。我们对这个问题的回答是肯定的,事实上证明了一个更一般的结果。对于连通支配集,在我们的工作之前,甚至在无H-子图上也没有多项式核。在否定的一面,已知2-退化图上的连通支配集不允许多项式核,除非coNP $\subseteq$ NP/poly.我们的核化算法基于以下成分的非平凡组合:Grohe和Marx的结构定理[STOC 2012],用于排除固定图H作为拓扑子图的图;与[FOCS 2009]中定义的概念不同的突出的新概念;我们的结果是基于一个通用的减少规则,产生一个等效的实例(在输入图是H-未成年人自由)的问题,树宽$O(\sqrt{k})$。以分而治之的方式应用这一规则,再加上新的…
2017-10-25 cs.DM cs.DS
Enumerating minimal dominating sets in $K_t$-free graphs and variants
图的最小控制集能否在输出多项式时间内计数是一个长期存在的问题。在本文中,我们研究这个问题,在图类定义的禁止诱导子图。特别是,我们提供了输出多项式时间算法的$K_t$自由图和变种。这回答了康德等人关于二分图中计数的一个问题。
2020-03-05 cs.DM cs.DS
Decremental Optimization of Dominating Sets Under the Reconfiguration Framework
给定一个支配集,通过初等运算我们能找到小多少的支配集?在这里,我们进行迭代顶点添加和删除,同时保持的属性,该集形成一个支配集的大小有界。这可以被视为支配集重新配置问题的优化变体,其中给出了两个支配集,问题只是是否可以通过基本运算从另一个支配集到达它们。我们表明,这个问题是PSPACE完全的,即使输入图是一个二分图,分裂图,或有界的路宽。在积极的一面,我们给出了线性时间算法的共图,树和区间图。我们还研究了这个问题的参数化复杂性。更准确地说,我们表明,当通过中间支配集大小的上界进行参数化时,该问题是W[2]-困难的。另一方面,我们给出了关于顶点覆盖最小尺寸的固定参数算法,即$d+s$,其中$d$是退化度,$s$是输出解的上界。
2020-05-05 cs.DM
Learning-Based Heuristic for Combinatorial Optimization of the Minimum Dominating Set Problem using Graph Convolutional Networks
Vanderbilt University(范德堡大学);Information Technology University(信息技术大学)
针对 NP-hard 的最小支配集问题,提出用图卷积网络学习启发式选择策略,并结合迭代贪心算法,在随机图和真实图上优于经典贪心近似并具备跨数据集与规模泛化能力。
2023-06-06 cs.DM cs.LG
Blocking total dominating sets via edge contractions
在本文中,我们研究的问题,决定是否可以减少一个给定的图$G$的全控制数使用恰好一个边收缩(称为1-边收缩($γ_t$))。我们专注于几个图形类,并确定这个问题的计算复杂性。把这些结果综合起来,我们得到了$H$ -free图的完全二分法。
2020-09-18 cs.DM
An $O^*(1.1939^n)$ time algorithm for minimum weighted dominating induced matching
假设图$G$的一条边支配它自己和与它相邻的所有边,图$G=(V,E)$的一个边支配集是支配$G$的所有边的边的子集$E' \subseteq E$。特别地,如果$G$的每条边恰好被$E'$的一条边支配,则$E'$是支配诱导匹配。已知不是每个图都允许支配诱导匹配,而判定它是否允许支配诱导匹配的问题是NP-完全的。本文研究了带权边图的最小权控制诱导匹配的求法和控制诱导匹配的计数问题。我们描述了一个精确的算法,运行在$O^*(1.1939^n)$时间和多项式(线性)空间的一般图形。这改进了任何现有的精确算法的问题考虑。
2013-03-06 cs.DM cs.DS
The Minimum-Weight Mixed Dominating Set on Threshold Graphs
LAMSADE, CNRS UMR 7243, Université Paris Dauphine–PSL(拉姆萨德实验室,法国国家科学研究中心联合研究单位第7243号,巴黎第九大学-巴黎文理研究大学);Institut Polytechnique de Paris(巴黎理工学院)
本文针对阈值图的最小权混合支配集问题,通过权重简化、归约为最小权边覆盖,提出O(n⁵)时间算法,解决了该问题的高效求解需求。
2026-09-03 cs.DM cs.DS
Algorithm and Hardness results on Liar's Dominating Set and $k$-tuple Dominating Set
给定一个图$G=(V,E)$,支配集问题要求一个最小顶点子集$D\subseteq V$,使得每个顶点$u\in V\setminus D$至少与一个顶点$v\in D$相邻。也就是说,集合$D$满足以下条件:对于每个$v\in V$,$|N[v]\cap D|\geq 1$,其中$N[v]$是$v$的闭合邻域。本文研究了经典支配集问题的两个变形:$\boldmath{k}$ -元组支配集($k$-DS)问题和说谎者支配集(LDS)问题,得到了一些算法和困难性结果。在算法方面,我们提出了一个常数因子($\frac{11}{2}$)近似算法的骗子的支配集问题的单位圆盘图。然后,我们得到了单位圆盘图上的$\boldmath{k}$ -元组支配集问题的PTAS。在硬度方面,我们展示了一个$Ω(n^2)$位的空间复杂度的下限任何(随机)流算法的骗子的支配集问题,以及为$\boldmath{k}$元组支配集问题。进一步证明了二部图的Liar支配集问题是W[2]-困难的。
2019-11-24 cs.CC cs.CG cs.DM