Forbidden subgraphs for constant domination number
本文刻画了使所有连通无某子图族的图的支配数有常数上界的子图族特征。
2018-05-27 math.CO
Domination numbers and noncover complexes of hypergraphs
设$\mathcal{H}$是有限集$V$上的超图. $\mathcal{H}$的{ \em cover}是满足$\mathcal{H}$的所有边的顶点集合。如果$W$不是$\mathcal{H}$的cover,则称$W$是$\mathcal{H}$的{ \em noncover}。$\mathcal{H}$的{ \em非覆盖复形}是抽象单纯复形,其面是$\mathcal{H}$的非覆盖。本文研究超图的非覆盖复形的同调性质。特别地,我们得到了它们的Leray数的一个上界.这个界是用超图控制数表示的。此外,我们的证明思想被应用到计算同伦类型的非覆盖复形的某些一致超图,称为{ \em紧路}和{ \em紧圈}。这推广到超图上的已知结果。
2021-01-06 math.CO
Domination polynomial of clique cover product of graphs
设$G$是阶为$n$的简单图。$G$的控制多项式是多项式$D(G, x)=\sum_{i=1}^n d(G,i) x^i$,其中$d(G,i)$是大小为$i$的$G$的控制集的数目。对于两个图$G$和$H$,设$\mathcal{C} = \{C_1,C_2, \cdots, C_k\}$是$G$和$U\subseteq V(H)$的团覆盖。我们考虑由$G$得到的团覆盖积,记为$G^\mathcal{C} \star H^U$:对于每个团$C_i \in \mathcal{C}$,添加图$H$的一个副本,并将$C_i$的每个顶点连接到$U$的每个顶点.证明了团覆盖积$G^\mathcal{C} \star H^{V(H)}$或简称$G^\mathcal{C} \star H$的控制多项式为\[ D(G^\mathcal{C} \star H,x)=\prod_{i=1}^k\Big [\big((1+x)^{n_i}-1\big)(1+x)^{|V(H)|}+D(H,x)\Big], \],其中每个团$C_i \in \mathcal{C}$都有$n_i$个顶点.作为结果,我们研究了某些图族的$\mathcal{D}$ -等价类。此外,我们还完整地描述了友谊图的$\mathcal{D}$ -等价类的聚合$n$副本的长度为3的循环图与一个共同的顶点。
2016-05-08 math.CO
Domination game on uniform hypergraphs
本文介绍并研究超图上的控制对策。在超图$\mathcal{H}$上,由两个参与者,即Dominator和Staller,交替选择顶点,使得每个选定的顶点扩大到目前为止被控制的顶点集。如果$\mathcal{H}$的所有顶点都是劣势的,则游戏结束。统治者的目标是尽快完成游戏,而Staller的目标是推迟游戏的结束。如果每个参与者都以最佳方式进行游戏,并且支配者开始,则游戏的长度是由$γ_g(\mathcal{H})$表示的不变的“游戏支配数”。这个定义是图上控制对策的推广,是超图上横截对策的一个特例。在一些基本的一般性结果的基础上,我们建立了$k$ -一致超图的博弈控制数的一个渐近紧上界。在本文的剩余部分中,我们证明了$γ_g(\mathcal{H}) \le 5n/9$如果$\mathcal{H}$是一个3-一致的阶为$n$的超图并且不包含孤立点。这也意味着图的以下新结果:如果$G$是$n$顶点上的孤立点自由图,并且它的每条边包含在三角形中,则$γ_g(G) \le 5n/9$。
2017-10-01 math.CO
Excellent graphs with respect to domination: subgraphs induced by minimum dominating sets
一个图$G=(V,E)$是$γ$ -优的,如果$V$是$G$的所有$γ$ -集的并集,其中$γ$代表控制数.设$\mathcal{I}$是所有互不同构的图和$\emptyset \not= \mathcal{H} \subsetneq \mathcal{I}$的集合.本文首先研究了$\mathcal{H}$ - $γ$ -优图,定义如下.如果以下条件成立,则$G$图为$\mathcal{H}$ - $γ$ -优:(i)对于每个$H \in \mathcal{H}$和每个$x \in V(G)$,存在$G$的导出子图$H_x$,使得$H$和$H_x$同构,$x \in V(H_x)$和$V(H_x)$是$G$的某个$γ$ -集的子集,以及(ii)$G$的每个导出子图$H$的顶点集,它同构于$\mathcal{H}$的某个元素,是$G$的某个$γ$ -集的子集。对于一些著名的图,包括圈、树和两个图的某些卡图积,我们描述了它的最大集$\mathcal{H} \subsetneq \mathcal{I}$,使它的图是$\mathcal{H}$ - $γ$ -优的.给出了$γ$ -优良正则图和图的广义字典序积的一些结果.提出了几个开放的问题和疑问。
2020-10-07 math.CO
A Linear-Time Algorithm for the Maximum Matched-Paired-Domination Problem in Cographs
设$G=(V,E)$是一个没有孤立点的图。$G$中的匹配是$G$中的一组独立边。$G$中的完美匹配$M$是使得$G$的每个顶点与$M$的一条边关联的匹配。一个集合$S\subseteq V$是$G$的一个\textit{paired-dominating set},如果$V-S$中的每个顶点都与$S$中的某个顶点相邻,并且由$S$导出的子图$G[S]$至少包含一个完美匹配.配对控制问题是寻找$G$的一个具有最小基数的配对控制集。一个集合$MPD\subseteq E$是$G$的一个\textit{matched-paired-dominating set},如果$MPD$是由$G$的一个成对支配集$S$诱导的$G[S]$的一个完美匹配。需要注意的是,配对支配问题可以看作是寻找$G$的具有最小基数的匹配配对支配集。令$\mathcal{R}$是$V$的子集,$MPD$是$G$的匹配配对支配集,并且令$V(MPD)$表示与$MPD$的边关联的顶点集。$G$ w.r.t.的\textit{maximum matched-paired-dominating set} $MMPD$。$\mathcal{R}$是一个匹配配对支配集,使得$|V(MMPD)\cap \mathcal{R}|\geqslant |V(MPD)\cap \mathcal{R}|$。如果$MPD$中的边的两个顶点都不在…
2009-02-06 math.CO
Dominating sets and Domination polynomials of Cycles
设G=(V,E)是一个单图.一个集合S \subset V是G的一个控制集,如果V§中的每个顶点都至少与S中的一个顶点相邻.设{ \mathcal C}_n^i是基数为i的圈C_n的控制集族,d(C_n,i)=|{ \mathcal C}_n^i.本文构造了{ \mathcal C}_n^i,得到了d(C_n,i)的一个递归公式.利用这个递推公式,我们考虑了多项式D(C_n,x)= \sum_{i=1}^n d(C_n,i)x^i,我们称之为圈的控制多项式,并得到了该多项式的一些性质.
2009-05-20 math.CO
Ramsey-type results on parameters related to domination
本文进一步刻画了使得连通无禁图族图在支配链及相关参数(如不可约数、独立支配数、开不可约数等)上具有有界值的图族,完成了支配链上Ramsey型问题的刻画。
2024-06-06 math.CO
A note on domination in intersecting linear systems
线性系统是一对$(P,\mathcal{L})$,其中$\mathcal{L}$是基有限集$P$上的子集族,使得对于每个$l,l^\prime \in \mathcal{L}$,$|l\cap l^\prime|\leq 1$。$P$和$\mathcal{L}$的元素分别称为点和线,如果任何一对线恰好相交于一个点,则线性系统称为相交。线性系统$(P,\mathcal{L})$的点的子集$D$是$(P,\mathcal{L})$的控制集,如果对于每个$u\in P\setminus D$存在$v\in D$使得$u,v\in l$,对于某个$l\in\mathcal{L}$。线性系统$(P,\mathcal{L})$的最小控制集的基数称为$(P,\mathcal{L})$的控制数,记为$γ(P,\mathcal{L})$。另一方面,线性系统$(P,\mathcal{L})$的线的子集$R$是2-填充,如果$R$的任何三个元素没有公共点(三重不相交)。线性系统$(P,\mathcal{L})$的最大2-填充的基数称为$(P,\mathcal{L})$的2-填充数,记为$ν_2(P,\mathcal{L})$。已知对于秩为$r$的相交线性系$(P,\mathcal{L})$,它满足$γ(P,\mathcal{L})\leq r-1$。本文证明了:若$q$是偶素幂,且$(P,\mathca…
2018-10-23 math.CO
The domination number and the least Q-eigenvalue II
用$L_{g, l}$表示通过将悬垂路径$\mathbb{P}=v_{g}v_{g+1}\cdots v_{g+l}$($l\geq 1$)附加到循环$\mathbb{C}=v_{1}v_{2}\cdots v_{g}v_{1}$($g\geq 3$)而获得的$lollipop$ $graph$。定义了$n\geq g+1$阶的$\mathcal {F}_{g, l}$ - $graph$是将$n-g-l$的悬挂点与$L_{g, l}$的某些非悬挂点相连而得到的图,其中除$v_{g+l-1}$之外的每个顶点至多与一个悬挂点相连.一个$\mathcal {F}^{\circ}_{g, l}$ -图是一个$\mathcal {F}_{g, l}$ - $graph$图,其中$v_{g}$是由悬挂顶点连接的。用$q_{min}$表示图的PDMATHABNAPDMATHABNB-$eigenvalue$。本文研究了图的控制数、最小$Q$ -特征值以及它们之间的关系。进一步得到了如下结果:$\mathrm{(i)}$给出了图的结构扰动下控制数变化的一些结果:在所有具有控制数$γ$和围长$g$的$n$阶的非二部单圈图中,$\mathrm{(ii)}$($g\leq n-1$),对于某些$l$,在一个$\mathcal {F}_{g, l}$ -图上达到最小$q_{min}$;在给定控制数的$\…
2017-09-04 math.CO
Failed power domination on graphs
设$G$是一个简单图,其顶点集为$V$,边集为$E$,又设$S \subseteq V$。$v \in V$的\emph{open neighborhood},$N(v)$,是与$v$相邻的顶点的集合; \emph{closed neighborhood}由$N[v] = N(v) \cup \{v\}$给出。$S$的\emph{open neighborhood},$N(S)$,是$S$中顶点开邻域的并集,$S$的\emph{closed neighborhood}是$N[S] = S \cup N(S)$。在$i^{\ {th}}$步骤处的顶点\emph{monitored}乘$S$的集合$ \mathcal{P}^i(S), i \geq 0$由$\mathcal{P}^0(S) = N[S]$和$\mathcal{P}^{i+1}(S) = \mathcal{P}^i(S) \bigcup\left\{ w : \{ w \} = N[v] \backslash \mathcal{P}^i(S) \ { for some } v \in \mathcal{P}^i(S) \right\}$给出。如果存在$j$使得$\mathcal{P}^j(S) = V$,则$S$称为$G$的一个\emph{power dominating set},PDS。本文引入并讨论了图$G$的\e…
2019-09-04 math.CO
A linear programming method for exponential domination
对于图$G,$,如果对每个$v \in V(G),$都有$1 \le \sum_{d \in D} \left( 2 \right)^{1-dist(d,v)}$,则集合$D \subseteq V(G)$是多孔指数控制集,其中$dist(d,v)$表示最短$dv$路的长度,$G,$的多孔指数控制数表示$γ_e^*(G),$是多孔指数控制集的最小基数.对于任何图形$G,$的技术,推导出一种确定$γ_e^*(G).$的下限。具体地,对于网格图形$H,$线性规划用于锐化通过下限技术找到的边界。确定了King网格$\mathcal{K_n},$、斜网格$\mathcal{S_n},$和$n$维超立方体$Q_n.$的多孔指数控制数的上下界
2018-03-01 math.CO
On the Concentration of the Domination Number of the Random Graph
本文研究了Erdens-Rényi随机图$\mathcal{G}(n,p)$的控制数的性质.推广了Wieland和Godbole的一个结果,证明了当$p \gg \frac{\ln^2n}{\sqrt{n}}$时,$\mathcal{G}(n,p)$的控制数渐近几乎必然等于两个值之一.显式值正好在一阶矩阈值处,即支配集的期望数量开始趋于无穷大的地方。对于小的$p$,我们还提供了各种非浓度的结果,这表明为什么某种形式的概率$p$的下界是必要的,在我们的第一个定理。浓度,虽然不是在一个恒定的长度间隔,是证明为每个$p\gg 1/n$。这些结果表明,与其中支配数的集中发生在一阶矩阈值附近的$p \gg \frac{\ln^2n}{\sqrt{n}}$的情况不同,对于$p = O(\ln n/n)$,其在中值附近发生。特别是在这个范围内,两者相距甚远。
2015-03-15 math.CO
Domination and packing in graphs
Budapest University of Technology and Economics(布达佩斯技术与经济大学);HUN-REN Alfréd Rényi Institute of Mathematics(HUN-REN 阿尔弗雷德·雷尼数学研究所)
研究图类中支配数与覆盖数比值的上界,证明平面图的比值上界改进,并扩展了适用于弦 bipartite 图和同质可序图的结论。
2026-03-16 math.CO
On $\mathcal{D}$-equivalence classes of some graphs
设$G$是阶为$n$的简单图。$G$的控制多项式是多项式$D(G, x)=\sum_{i=1}^n d(G,i) x^i$,其中$d(G,i)$是大小为$i$的$G$的控制集的数目。具有$2n$顶点的$n$ -杠铃图$Bar_n$是由一条边连接一个完全图$K_n$的两个副本而形成的.证明了对每个$n\geq 2$,$Bar_n$不是$\mathcal{D}$ -唯一的,即存在另一个具有相同控制多项式的非同构图.更精确地说,我们证明了对每个$n$,杠铃图的$\mathcal{D}$ -等价类$[Bar_n]$包含许多图,其中之一是顺序$n-1$的书图$B_{n-1}^c$的补图.同时,我们给出了$K_{n_1}\cup K_{n_2}\cup \cdots\cup K_{n_k}$的$\mathcal{D}$ -等价类中的许多图族.
2015-11-18 math.CO
Power domination polynomials of graphs
图的幂控制集是通过将经典控制与电路理论产生的迭代传播过程相结合来观察图中的每个顶点的顶点集合。本文研究了$n$阶图$G$的幂控制多项式,定义为$\mathcal{P}(G;x)=\sum_{i=1}^n p(G;i) x^i$,其中$p(G;i)$是大小为$i$的$G$的幂控制集的个数.我们把幂控制多项式与其他图多项式联系起来,给出了它的根和系数的结构和极值结果,并确定了它所包含的一些图参数。我们还推导出分解公式的权力控制多项式,计算它明确的几个家庭的图形,并探讨图形,可以唯一地确定其权力控制多项式。
2018-05-28 math.CO
Independence, induced subgraphs, and domination in $K_{1,r}$-free graphs
University of Haifa–Oranim(海法大学奥拉尼姆分校);First Principles(第一原理);Rice University(莱斯大学);University of Johannesburg(约翰内斯堡大学);University of Houston–Downtown(休斯顿城市大学)
本文研究了K_{1,r}-自由图中诱导子图的最大阶数与支配数的关系,得出了关于图的独立数和支配数的界,并通过Ramsey理论扩展了框架,证明了对于K_{1,r}-自由图的某些性质。
2026-05-11 math.CO
Reconfiguration graphs for minimal domination sets
本文在令牌滑动模型推广形式下引入极小支配集的重构图,证明其对树和分裂图连通,并完成重构图为完全图与无边图的图分类。
2024-11-04 math.CO
New Algorithms for Weighted $k$-Domination and Total $k$-Domination Problems in Proper Interval Graphs
给定一个正整数$k$,图$G$中的$k$ -支配集是一个顶点集,使得每个不在集合中的顶点在集合中至少有$k$邻居。全$k$ -支配集,也称为$k$ -元组全支配集,是一个顶点集合,使得图的每个顶点在该集合中至少有$k$邻居。在给定的图中,分别求$k$ -控制集和全$k$ -支配集的最小尺寸的问题称为$k$ -控制集和全$k$-控制集.这些经典控制和全控制问题的推广在弦图类中是NP-困难的,更具体地说,甚至在分裂图类(两个问题)和无向路图类(在全$k$ -控制的情况下)中也是NP-困难的。另一方面,它遵循Kang等人最近的工作。(2017),这两个家庭的问题是可解的时间$\mathcal{O}(|V(G)|^{6k+4})$在类的区间图。我们开发了更快的算法$k$ -支配和总$k$ -支配类的适当的区间图,通过减少到一个最短路径计算在一个派生的有向无环图的$\mathcal{O}(|V(G)|^{2k})$节点和$\mathcal{O}(|V(G)|^{4k})$弧。我们表明,一个合适的实现,这避免了构建所有的弧的有向图,导致运行时间的$\mathcal{O}(|V(G)|^{3k})$。该算法也适用于加权的情况。
2018-07-24 cs.DM cs.DS math.CO
Grundy dominating sequences on $X$-join product
本文研究了图$G$与图族$\mathcal R=\{G_v: v\in V(G)\}$的$X$ -联积$G\hookleftarrow \mathcal R$的Grundy控制数.这些结果使我们扩展了已知的几个图族,在这些图族中可以有效地计算这个参数。我们证明了,如果,对于所有的$v\in V(G)$,$G_v$的Grundy控制数是给定的,$G$是一个权力的一个循环,一个权力的一条道路,或分裂图,计算的Grundy控制数的$G\hookleftarrow \mathcal R$可以在多项式时间内完成。特别是,权力的循环和路径的结果来自多项式减少这些图上的最大权重独立集问题。因此,当$G$是圈的幂、路的幂或分裂图时,我们导出了计算字典序积$G\circ H$的Grundy控制数的封闭公式,推广了Bresar等人在2016年给出的关于圈和路的结果。此外,当$G$是分裂图时,关于$X$ -连接积的结果也提供了计算$(q,q-4)$图、伙伴有限图和扩展的$P_4$ -负载图的Grundy控制数的多项式时间算法,这些图类在少数$P_4$的图的层次中是高的.
2018-10-05 math.CO
Grundy domination of forests and the strong product conjecture
图$G$中顶点的最大序列$S$,使得$S$中的每个顶点都有一个独立于或自身独立于$S$中所有先前顶点的邻居,称为Grundy控制序列。Grundy控制数$γ_{gr}(G)$是$S$的长度。我们表明,对于任何森林$F$,$γ_{gr}(F)=|V(T)|-|\mathcal{P}|$,其中$\mathcal{P}$是一个最小的分区的非孤立顶点的$F$到毛虫,如果两个毛虫的$\mathcal{P}$有一个边缘之间的$F$,那么这样的边缘必须入射到一个非叶顶点的毛虫中的至少一个。我们利用这个结果证明了B的强乘积猜想。布雷沙角Bujtás,T. Gologranc,S.克拉瓦扎尔湾科什姆尔利湾帕科斯僵尸Tuza和M.张文,张文,等。23(4):P4.34(2016),所有森林。也就是说,我们表明,对于任何森林$G$和图$H$,$γ_{gr}(G \boxtimes H) = γ_{gr}(G) γ_{gr}(H)$。我们还证明了每个连通图$G$都有一个生成树$T$,使得$γ_{gr}(G)\le γ_{gr}(T)$和每个非完全连通图都包含一个Grundy控制集$S$,使得$S$的导出子图不包含孤立点.
2021-04-12 math.CO
Independence-Domination duality in weighted graphs
给定图$G$的顶点集的一个划分${\mathcal V}=(V_1, \ldots,V_m)$,{ \em独立断面}(IT)是$G$中包含每个$V_i$的一个顶点的独立集. { \em分数IT}是$V(G)$上的非负实值函数,其表示具有至少$1$的总权重的每个部分,并且作为向量属于图中独立集的关联向量的凸包。已知如果由每个$k$部分$V_i$的并导出的图的控制数至少为$k$,则存在分数IT.我们证明了这个结果的一个加权形式.这是一个特殊情况下的一般猜想,对加权版本的对偶现象,独立和控制之间的对图。
2017-03-09 math.CO
On the Domination Polynomials of Friendship Graphs
设$G$是阶为$n$的简单图。$G$的{ \em控制多项式}是多项式${D(G, x)=\sum_{i=0}^{n} d(G,i) x^{i}}$,其中$d(G,i)$是大小为$i$的$G$的控制集的数目。设$n$是任意正整数,$F_n$是由$K_{1}$与$nK_{2}$的连接构成的具有$2n + 1$和$3n$的友谊图.我们研究了这类图的控制多项式,特别是研究了这类图的控制根,并找到了根的极限曲线。我们还证明了对于每个$n\geq 2$,$F_n$不是$\mathcal{D}$ -唯一的,即存在另一个具有相同控制多项式的非同构图.同时,我们构造了实控制根仅为$-2$和$0$的图族。最后,我们结束了讨论的控制多项式的一个相关的家庭的图,$n$ -书图$B_n$,形成加入$n$副本的循环图$C_4$与一个共同的边缘。
2014-08-28 math.CO
Perfect Italian domination on planar and regular graphs
图$G=(V,E)$的完美意大利控制函数是函数$f : V \to \{0,1,2\}$,使得对于每个顶点$f(v) = 0$,它保持$\sum_{u \in N(v)} f(u) = 2$,即,由$f$分配给$v$的邻居的标签的权重正好是2。一个完美意大利函数的权是顶点权的和。$G$的完美意大利控制数,记作$γ^p_I(G)$,是$G$的任何完美意大利控制函数的最小权。在引入参数的同时,Haynes和Henning(离散应用数学(2019),164- 177)还提出了确定最佳可能常数$c_\mathcal{G}$的问题,使得当$G$在特定的图类$\mathcal{G}$中时,对于所有$n$阶的图,$γ^p_I(G) \leq c_\mathcal{G} \times n$。他们证明了当$\mathcal{G}$是二部图类时,$c_\mathcal{G} = 1$是二部图,并提出了平面图和正则图的问题。我们解决了他们的问题,正是平面图证明$c_\mathcal{G} = 1$和立方图证明$c_\mathcal{G} = 2/3$。对于分裂图,我们还表明,$c_\mathcal{G} = 1$。此外,我们还刻画了$γ^p_I(G)$等于2和3的图$G$,并确定了几个简单结构图的参数的精确值。我们的结论是证明它是NP-完全的决定是否一个给定的二部平面图承认一个完美的意大利控制功能的重量…
2020-05-27 cs.DM math.CO
MacWilliams-type equivalence relations
设$\mathcal{P}$是$[n]$上的偏序集,$\mathcal{I}(\mathcal{P})$是$\mathcal{P}$的序理想集,$E$是$\mathcal{I}(\mathcal{P})$上的等价关系.等价关系$E$的对偶关系$E^*$、$E$ -权重(分别)的概念。$E^*$ -权)分布的线性偏序集码(分别为其对偶偏序集码)和一个MacWilliams型等价关系。利用线性偏序集码的MacWilliams型恒等式给出了MacWilliams型等价关系的一个刻画。在$\mathcal{I}(\mathcal{P})$上发现了三种MacWilliams型的等价关系,$(i)$证明了由$\mathcal{P}$的自同构定义的等价关系都是MacWilliams型的; $(ii)$给出了由$\mathcal{I}(\mathcal{P})$上的相同基数定义的等价关系成为MacWilliams型的偏序集结构的一个新刻画; $(iii)$给出了由$\mathcal{I}(\mathcal{P})$上的序同构定义的等价关系成为MacWilliams型的偏序集结构的充要条件。
2013-01-01 math.CO
Factorizing the Rado graph and infinite complete graphs
设$\mathcal{F}=\{F_α: α\in \mathcal{A}\}$和$Λ$是一族无限图.因子分解问题$FP(\mathcal{F}, Λ)$询问$\mathcal{F}$是否可以实现为$Λ$的因子分解,即,是否存在$Λ$的因子分解$\mathcal{G}=\{Γ_α: α\in \mathcal{A}\}$,使得每个$Γ_α$是$F_α$的副本。当$Λ$是Rado图$R$或无限阶$\aleph$的完全图$K_\aleph$时,我们研究了这个问题.当$\mathcal{F}$是可数族时,我们证明了$FP(\mathcal{F}, R)$是可解的当且仅当$\mathcal{F}$中的每个图都没有有限控制集.证明了当图的基数$\mathcal{F}$与图的阶数和控制数一致时,$FP(\mathcal{F}, K_\aleph)$有解.对于可列完全图,当$\mathcal{F}$中图的控制数有限时,我们给出了一些不存在的结果。更确切地说,我们表明,没有分解的$K_{\mathbb{N}}$到$k$ -星(即顶点不相交工会的$k$可数的明星)的副本时,$k=1,2$,而它存在时,$k\geq 4$,留下的问题开放的$k=3$。最后,我们确定了充分条件的图的分解被安排到决议类。
2021-03-22 math.CO
Signed Total Roman Domination and Domatic Numbers: Degree Three and Complete Multipartite Graphs
RWTH Aachen University(亚琛工业大学)
研究三次图的符号全罗马支配数与其开放包装数、2-元全支配数和符号全支配数的关系,得到紧界和NP完全性结果,并确定完全多部图的精确值。
2026-06-26 math.CO
Efficient algorithms for tuple domination on co-biconvex graphs and web graphs
图中的一个顶点支配它自己和它的每个相邻顶点。对于一个固定的正整数$k$,\emph{$k$-tuple domination problem}是在给定的图中寻找一个最小的顶点子集,使得每个顶点至少被这个集合中的$k$顶点支配.从计算的角度来看,这个问题是NP难的。它遵循Bui-Xuan等人以前的作品。(2013)和Belmonte等人。(2013)-在具有快速可计算和有界最小宽度的图类中的局部可检查顶点子集问题的上下文中-$k$ -元组支配问题在圆弧图类中在时间$\mathcal{O}(|V(G)|^{6k+4})$中是可解的。在这项工作中,我们开发了更快的算法$k$ -元组支配的co-boconvex图和网络图,这是无与伦比的子类凹圆图,从而圆弧图。一方面,我们提出了一个$\mathcal{O}(n^2)$ -时间算法来解决它的每一个$2\leq k\leq |U|+3$,其中$U$是通用的顶点集和$n$的输入共双凸图的顶点总数。另一方面,Argiroffo等人(2010)已经从多面体的观点开始了对web图上的该问题的研究,仅针对$k=2$和$k=d(G)$的情况,其中$d(G)$等于输入web图$G$的每个顶点的度。我们完成这项研究的网络图从算法的角度来看,通过设计一个线性时间算法的基础上的整数模运算。在这项工作中提出的算法是相互独立的,但都利用循环特性的每个研究的图形类的增广…
2022-06-21 math.CO
Notes on k-rainbow independent domination in graphs
$k$ -图$G$的彩虹独立控制数,记作$γ_{\rm rik}(G)$,是由两个顶点不相交的独立集$V_1$和$V_2$组成的最小集的基数,其中$V(G)\setminus (V_1\cup V_2)$中的每个顶点在$V_1$和$V_2$中都有邻居。这种支配不变量是由umenjak、Rall和Tepeh在(Applied Mathematics and Computation 333(15),2018:353-361)中提出的,它允许将计算广义棱镜$G {\Box} K_k$的独立支配数的问题减少到$G$上的整数标记问题。他们证明了一个Nordhaus-Gaddum型定理:对于每一个$n\geq 3$阶的图$G$,有$5\leq γ_{\rm rik}(G)+γ_{\rm rik}(\overline{G})\leq n+3$,其中$\overline{G}$是$G$的补图。在本文中,我们改进了这一结果表明,如果$G$不是同构的5-圈,那么$5\leq γ_{\rm rik}(G)+γ_{\rm rik}(\overline{G})\leq n+2$。此外,我们证明了判定一个图是否具有给定权的$k$ -彩虹独立控制函数的问题是$\mathcal{NP}$ -完全的。我们的研究结果回答了Šumenjak等人提出的一些开放性问题。
2019-08-05 math.CO
A unified approach for domination and packing problems in graphs
本文提出统一支配与打包函数框架,证明其优化问题等价,解决部分图类复杂性开放问题,并保持有界clique-width图和强弦图的多项式可解性。
2025-01-08 math.CO math.OC
Switching equivalence of Hermitian adjacency matrices of mixed graphs
设$0 \in Γ$和$Γ\setminus \{0\}$是单位模的复数的子群。定义$\mathcal{H}_{n}(Γ)$为所有$n\times n$厄米特矩阵的集合,这些矩阵的元素在$Γ$中,其对角线元素为零。如果存在对角矩阵$D$,其中对角项属于$Γ\setminus \{0\}$,使得$D^{-1} A D=B$,则称矩阵$A,B\in \mathcal{H}_{n}(Γ)$是交换等价的。我们发现一个特征,在图的基本圈,开关等价的矩阵在$\mathcal{H}_{n}(Γ)$。我们给出了刻画$\mathcal{H}_{n}(Γ)$中的共谱矩阵的充分条件。我们找到了具有相同底层图的所有混合图的切换等价类的数目的界。给出了混合圈的所有切换等价类的大小,并给出了混合平面图的切换等价类大小的计算公式。本文还讨论了图的自同构群对$\mathcal{H}_{n}(Γ)$中矩阵等价类的转换的作用。
2023-02-16 math.CO
ZZ Polynomials of Regular $m$-tier Benzenoid Strips as Extended Strict Order Polynomials of Associated Posets -- Part 1. Proof of Equivalence
在当前系列论文的第1部分中,我们证明了长度为$n$的Kekuléan正则$m$ -层带$\boldsymbol{S}$的张-张多项式$\text{ZZ}(\boldsymbol{S},x)$与与$\boldsymbol{S}$相关的某个偏序集$\mathcal{S}$的扩展严格序多项式$\text{E}_{\mathcal{S}}^{\circ}(n,x+1)$之间的等价性。所发现的等价性是$\boldsymbol{S}$的Kekulé结构的集合$\left\{ K\right\}$和从$\mathcal{S}$的导出子集到区间$\left[\thinspace n\thinspace\right]$的严格保序映射的集合$\left\{ μ:\mathcal{S}\supset\mathcal{A}\rightarrow\left[\,n\,\right]\right\}$之间一一对应的结果。因此,确定$\boldsymbol{S}$的Zhang-Zhang多项式和生成$\boldsymbol{S}$的Clar覆盖完备集的问题,归结为构造相应偏序集$\mathcal{S}$的线性扩张集$\mathcal{L}(\mathcal{S})$并研究其基本性质的问题.特别地,$\boldsymbol{S}$的张-张多项式可以以紧凑形式写作$\text{ZZ}(\boldsymbol{S},…
2021-03-11 math.CO
Super Domination: Graph Classes, Products and Enumeration
支配集问题是组合优化中最著名的问题之一。其定义如下。对于给定的简单图$G=(V,E)$,$G$的控制集是一个子集$S\subseteq V$,使得$ V \setminus S$中的每个顶点至少与$S$中的一个顶点相邻.此外,DSP的问题是找到一个最小尺寸的控制集和相应的最小尺寸,PDMATHAMN的控制数。在这篇文章中,我们研究了DSP的一个变体,即超支配集问题(SDSP),它在过去几年中引起了人们的广泛关注。一个控制集$S$称为$G$的超控制集,如果对每个顶点$u\in \overline{S}=V \setminus S$,存在一个$v\in S$使得$N(v)\cap \overline{S}=\{u\}$ .类似地,SDSP是寻找一个最小尺寸的超控制集,以及相应的最小尺寸,$G$的超控制数。DSP和SDSP的决策变体都被证明是$\mathcal{NP}$ -硬的。在本文中,我们提出了紧界的超控制数的邻域电晕产品,PDMATHAMV-胶合,和Hajós和两个图。此外,我们提出了无限的家庭达到我们的界限图。最后,我们给出了某些图类的最小超控制集的确切个数。特别地,圈的超支配集的数量具有相当令人惊讶的性质,因为它在基于$n\mod4$的集合$\{4,n,2n,\frac{5n^2-10n}{8}\}$的值之间变化。
2022-10-31 math.CO
On $k$-rainbow domination in middle graphs
设$G$是一个有限简单图,其顶点集为$V(G)$,边集为$E(G)$ .一个函数$f : V(G) \rightarrow \mathcal{P}(\{1, 2, \dotsc, k\})$是$G$上的一个\textit{$k$-rainbow dominating function},如果对于$f(v)= \emptyset$所针对的每个顶点$v \in V(G)$,它保持$\bigcup_{u \in N(v)}f(u) = \{1, 2, \dotsc, k\}$。$k$ -彩虹支配函数的权重是值$\sum_{v \in V(G)}|f(v)|$。\textit{$k$-rainbow domination number} $γ_{rk}(G)$是$G$上的$k$ -彩虹支配函数的最小权重。本文首次研究了中间图的$k$ -彩虹控制数.定义了中间$k$ -彩虹控制函数的概念,得到了与之相关的一些界,并确定了几类图的中间$3$ -彩虹控制数。我们还提供了上,下界的中间$3$ -彩虹控制数的树的匹配数。此外,我们还确定了路和圈的中间图的$3$ -彩虹拓扑数。
2020-11-17 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
Reconfiguration of Colourings and Dominating Sets in Graphs: a Survey
本文综述了图的着色和控制集的重构结果。图$G$的$k$ -着色图$\mathcal{C}_{k}(G)$的顶点对应于图$G$的真$k$ -着色,当两个$k$ -着色的颜色恰好有一个顶点不同时,它们是相邻的.类似地,$g$的$k$ -边着色图$\mathcal{EC}_{k}(G)$的顶点是$G$的真$k$ -边着色,其中如果两个$k$ -边着色中的一个可以通过沿边肯普链切换两种颜色而从另一个获得,则两个$k$ -边着色是相邻的,即,最大的双色交替路径或边的循环。$k$ -支配图$\mathcal{D}_{k}(G)$的顶点是基数为$k$或更小的$G$的(不一定是最小的)支配集,如果一个支配集可以通过添加或删除一个顶点从另一个支配集获得,则两个支配集在$\mathcal{D}_{k}(G)$中相邻。另一方面,当我们限制控制集为最小控制集时,例如,我们得到不同类型的控制重构图,这取决于顶点是否沿着边交换。我们认为这些和相关类型的着色和控制重构图。猜想、问题和未决问题在相关章节中陈述。
2020-03-12 math.CO
On Refinements of Wilf-Equivalence for Involutions
令$\mathcal{S}_n(π)$(分别$\mathcal{I}_n(π)$和$\mathcal{AI}_n(π)$)表示排列的集合(分别为对合和交替对合),避免了置换模式$π$。对于$k,m\geq 1$,Backelin-West-Xin通过在这两个集合之间建立双射证明了$|\mathcal{S}_n(12\cdots kτ)|= |\mathcal{S}_n(k\cdots 21τ)|$,其中$τ= τ_1τ_2\cdots τ_m$是$k+1,k+2,\ldots,k+m$的任意置换。这个结果已经被Bousquet-Mélou和Steingrímsson推广到对合,并被第一作者推广到交替排列。本文通过横截、匹配、振荡表和不相交的Dyck路对作为中间结构,建立了$\mathcal{I}_n(123τ)$和$\mathcal{I}_n(321τ)$之间的保峰集双射.我们的结果是一个细化的结果Bousquet-Mélou和Steingrímsson的情况下,$k=3$。作为一个应用,我们双射表明,$|\mathcal{AI}_n(123τ)| = |\mathcal{AI}_n(321τ)|$,证实了最近的猜想Barnabei-Bonetti-Castronuovo-Silimbani。此外,还证明了Barnabei-Bonetti-Castronuovo-Silimbani…
2022-12-04 math.CO
Semirigid systems of three equivalence relations
集合$E$上的等价关系的系统$\mathcal M$是\emph{semirigid},如果只有恒等函数和常数函数保持$\mathcal M$的所有成员。我们构造了三个等价关系的半刚性系统。我们的建设导致的例子Zádori在1983年和许多其他人,也延伸到一些无限基数。因此,我们表明,在每一组最连续的基数不同于$2$和$4$存在一个半刚性系统的三个等价关系。
2015-05-12 math.CO
Robinson-Schensted correspondence for unit interval orders
Stanley-Stembridge猜想将对称函数与每个自然单位区间阶$\mathcal P$相关联。在本文中,我们定义了每个$\mathcal P$在对称群上的Knuth关系,并猜想相关的$\mathcal P$ -Knuth等价类是Schur-正的,改进了Gasharov,Brosnan-Chow和Guay-Paquet的定理.由此产生的等价图适合的框架D图研究Assaf。此外,我们推测舒尔展开是由列读数的$\mathcal P$ -tableaux发生在等价类。通过引入Robinson-Schensted插入的类似物$\mathcal P$,我们证明了$\mathcal P$避免了两个特定的子序,从而回答了Chow的一个长期存在的问题.
2020-05-14 math.CO
Automorphisms of the subspace sum graphs on a vector space
Das [Subspace Sum Graph of a Vector Space,arXiv:1702.08245]最近在有限维向量空间$\mathbb{V}$上引入了子空间和图$\mathcal{G}(\mathbb{V})$. $\mathcal{G}(\mathbb{V})$的顶点集由$\mathbb{V}$的所有非平凡真子空间组成,两个不同的顶点$W_1$和$W_2$相邻当且仅当$W_1+W_2=\mathbb{V}$ .在这篇论文中,一些结构指数(例如,直径、围长、连通度、控制数、团数和色数),但对$\mathcal{G}(\mathbb{V})$的自同构的刻画仍有待进一步研究。基于此,本文对$\mathcal{G}(\mathbb{V})$的自同构进行了全面的刻画.
2017-04-12 math.CO
Roman domination in weighted graphs
Universidad de Sevilla(塞维利亚大学);Universidad de Cádiz(加的斯大学)
本文研究加权图中的加权罗马 domination数,建立了该参数的界限并确定了若干图家族的精确值,同时展示了其与加权图differential的等价性。
2025-12-27 cs.DM math.CO
Sum-of-Squares Certificates for Vizing's Conjecture via Determining Gröbner Bases
本文针对 Vizing 猜想,通过确定 Vizing 理想的 Gröbner 基,推导出 SOS 证书的最小次数,并提出一种基于更小 SDP 的证书寻找方法,在 SageMath 中实现并给出新证书。
2023-06-21 math.CO math.OC
A Linear Kernel for Planar Vector Domination
针对平面图上的向量支配参数化问题,提出线性问题核,进而得到BDVD仅关于参数k线性的核界,改进了此前依赖目标度与参数二者的界。
2025-06-18 cs.CC cs.DM math.CO
Equivalence classes for smooth Fano polytopes
设$\mathcal{F}(n)$是光滑Fano $n$ -多胞形直到单胞等价的集合。本文考虑了$\mathcal{F}(n)$的F-等价类或I-等价类,并引入了F-孤立或I-孤立光滑Fano $n$ -多面体.首先,我们描述了$\mathcal{F}(5)$的所有F-等价类和I-等价类。给出了具有$n+3$顶点的光滑Fano $n$ -多面体的F-等价类(I-等价类)的完整刻画,并构造了一族I-孤立光滑Fano多面体.
2015-03-22 math.AG math.CO
Isolation of regular graphs, stars and $k$-chromatic graphs
本文研究正则图、星图和$k$-色图的隔离数,证明连通$n$-顶点图的$\mathcal{F}_{3,k}$-隔离数不超过$n/(k+1)$(除非为$k$-团或$k=2$的5-环),推广多个经典界,还给出$k$-星隔离数可达该界的充要条件。
2025-08-20 cs.DM math.CO
Harary polynomials
给定图的一个性质$\mathcal{P}$,F. Harary在1985年引入了$\mathcal{P}$ -着色,图着色,其中每个颜色类在$\mathcal{P}$中导出一个图。令$χ_{\mathcal{P}}(G;k)$计算$G$的$\mathcal{P}$着色数,其中最多有$k$颜色。事实证明,对于每个图$G$,$χ_{\mathcal{P}}(G;k)$是$\mathbb{Z}[k]$中的多项式。这种形式的图多项式被称为Harary多项式。本文研究了Harary多项式的性质,并与经典色多项式$χ(G;k)$的性质进行了比较。证明了特征多项式、Laplacian多项式、匹配多项式、独立多项式和控制多项式都不是Harary多项式。我们表明,对于各种概念的稀疏,非平凡的属性$\mathcal{P}$,多项式$χ_{\mathcal{P}}(G;k)$是,相反,$χ(G;k)$,不是一个色,甚至不是一个边缘消除不变。最后,我们研究了Harary多项式在一元二阶逻辑中是否可定义。
2020-07-12 cs.DM math.CO