Arc-disjoint out-branchings and in-branchings in semicomplete digraphs
有向图$D$中的出分支$B^+_u$(入分支$B^-_u$)是$D$的连通生成子有向图,其中除顶点$u$(称为根)外的每个顶点的入度(出度)为1。众所周知,存在一种多项式算法,用于判定给定有向图是否具有带指定根的$k$弧不相交出分支($k$是输入的一部分)。与此形成鲜明对比的是,判定一个有向图是否有一个出分支与某个入分支弧不相交已经是NP-完全的。一个有向图是{ \bf semicomplete},如果它没有非邻顶点对。一个{ \bf tournament}是一个没有长度为2的有向圈的半完全有向图。本文给出了一类半完全有向图的完全分类,其中出分支$B^+_u$与入分支$B^-_v$弧不相交,其中$u,v$是$D$的规定顶点.我们的表征,这是令人惊讶的简单,推广了一个复杂的表征比赛从1991年的第一作者和我们的证明意味着存在的多项式算法检查是否一个给定的半完全有向图有这样一对分支的规定顶点$u,v$,并构造一个解决方案,如果存在。这证实了Bang-Jensen关于半完全有向图的一个猜想。
2023-02-13 math.CO
Paths with Prescribed Endpoints in Semicomplete and Locally Semicomplete Digraphs
本文解决半完全有向图中端点分属不同强分量的最长(x,y)-路径问题,确定局部半完全有向图连通非强情形的可能端点,给出多项式时间精确算法并分析未解决有向图的性质。
2026-09-07 math.CO
Comparability digraphs: An analogue of comparability graphs
可比较图是一类很流行的图。我们引入可比较图类作为可比较图的有向图模拟。我们发现,许多概念,如蕴涵类和打结图的可比图可以很自然地扩展到一个可比有向图。利用可比较有向图的纽结图给出了可比较有向图的一个刻画。半完全可比较有向图是可比较有向图的原型。一种分析相似图结构的工具技术是图的三角引理。我们将三角引理推广到半完全有向图。利用半完全有向图的三角引理,证明了如果一个半完全有向图的一个蕴涵类不含长度为2的圈,则它完全不含圈。我们还利用它设计了一个半完全可比较有向图的$\mathcal{O}(n^3)$时间识别算法,其中$n$是输入有向图的顶点数。算法的正确性意味着半完全可比较有向图的一个类似于可比较图的特征。
2022-04-03 math.CO
K-Arc-Strong Orientations Of Semicomplete Digraphs
School of Mathematics, Shandong University(山东大学数学学院);Department of Mathematics and Computer Science, University of Southern Denmark(南丹麦大学数学与计算机科学系);School of Mathematics and Statistics, Ningxia University(宁夏大学数学与统计学院)
研究半完全有向图的K-弧强定向问题,利用弗兰克的一般定向定理及基于半完全结构的计数论证,证明至少2k+1个顶点的(2k-1)-弧强半完全有向图含生成的k-弧强锦标赛,给出2k-1和2k+1是最佳界限。
2026-07-28 math.CO
The structure of strong $k$-quasi-transitive digraphs with large diameters
令$k$为整数,其中$k\geq 2$。一个有向图$D$是$k$ -拟传递的,如果对于任何长度为$k$的路$x_0x_1\ldots x_k$,$x_0$和$x_k$相邻。假设在$D$中存在一条长度至少为$k+2$的路。设$P$是$D$中长度为$k+2$的最短路径。Wang和Zhang [Hamilton routes in $k$ -quasi-transitive digraphs,Discrete Mathematics,339(8)(2016)2094--2099]证明了如果$k$是偶数且$k\ge 4$,则$D[V(P)]$和$D[V(D)\setminus V(P)]$都是半完全有向图。本文证明了:如果$k$是奇数,$k\ge 5$,则$D[V(P)]$是半完全有向图或半完全二部有向图,而$D[V(D)\setminus V(P)]$是半完全有向图、半完全二部有向图或空有向图.
2020-06-11 math.CO
Arc-disjoint out- and in-branchings in compositions of digraphs
有向图$D$中的出分支$B^+_u$(入分支$B^-_u$)是$D$的连通生成子有向图,其中除顶点$u$(称为根)外的每个顶点的入度(出度)为1。$D$中的{ \bf good $\mathbf{(u,v)}$ -pair}是一对没有共同弧的分支$B^+_u,B^-_v$。证明了判定一个有向图是否有好偶是NP-完全的。一个有向图是{ \bf semicomplete},如果它没有不相邻的顶点对。{ \bf半完全合成}是通过用任意有向图$H_x$代替$S$的每个顶点$x$而从半完全有向图$S$获得的任何有向图$D$。最近,作者给出了具有良好$(u,v)$ -对的半完全有向图的完全分类,其中$u,v$是$D$的指定顶点.对于给定的半完全有向图$D$和$D$的顶点$u,v$,他们给出了一个多项式算法,该算法要么在$D$中产生一个好的$(u,v)$ -对,要么证明$D$具有这样的对.本文给出了如何利用半完全有向图的结果来完全解决判定给定的半完全合成$D$,对于$D$的给定顶点$u,v$是否有好的$(u,v)$ -对的问题。我们的解决方案意味着问题是多项式可解的所有半完全组合物。特别地,我们的结果意味着存在一个多项式算法来判定给定的拟传递有向图$D$对于$D$的给定顶点$u,v$是否具有好的$(u,v)$ -对。这证实了Bang-Jensen和Gutin在1998年提出的一个猜想。
2023-02-16 math.CO
A minimum semi-degree sufficient condition for one-to-many disjoint path covers in semicomplete digraphs
设$D$是一个有向图。定义$D$的最小半度为$δ^{0}(D) := \min \{δ^{+}(D), δ^{-}(D)\}$。令$k$是正整数,并且令$S = \{s\}$和$T = \{t_{1}, \dots ,t_{k}\}$是$V(D)$的任意两个不相交子集。连接源集合$S$和宿集合$T$且覆盖所有顶点$D$的$k$内部不相交路径的集合称为$D$的一对多$k$ -不相交有向路径覆盖($k$-DDPC)。一个有向图$D$是半完全的,如果对于它的每对顶点$x,y$,在$x$和$y$之间至少有一条弧.本文证明了具有充分大阶$n$和$δ^{0}(D) \geq \lceil (n+k-1)/2\rceil$的半完全有向图$D$都有一个连接任意不相交源集$S$和汇集$T$的一对多$k$,其中$S = \{s\}, T = \{t_{1}, \dots, t_{k}\}$ .
2022-08-19 math.CO
Arc-disjoint in- and out-branchings in semicomplete split digraphs
本文证明了每个2-弧强半完全分裂有向图对于任意顶点u, v都包含弧不相交的好(u,v)-对,证实了Bang-Jensen和Wang的猜想。
2024-10-16 math.CO
On the 2-Linkage Problem for Split Digraphs
School of Mathematics, Shandong University(山东大学数学学院);Department of Mathematics and Computer Science, University of Southern Denmark(南丹麦大学数学与计算机科学系)
本文证明了6强分裂有向图和5强半完全分裂有向图均为2-连通,解决了相关问题。
2026-03-08 math.CO
Decomposing and colouring some locally semicomplete digraphs
一个有向图是半完全的,如果任意两个顶点至少由一条弧连接,并且是局部半完全的,如果任意顶点的外邻域和内邻域诱导一个半完全有向图。本文研究了局部半完全有向图的各种子类,给出了它们的结构分解定理。作为结果,我们得到了几个应用,其中Naserasr和第一和第三作者的一个猜想的答案:如果一个定向图是这样的,每个顶点的外邻域诱导一个传递竞赛,那么可以划分它的顶点集为两个无圈有向图。
2022-12-06 cs.DM math.CO
Generalized paths and cycles in semicomplete multipartite digraphs
研究半完全多部有向图中广义路径与圈的结构和算法性质,识别出可多项式时间求解或近似求解的0-1加权有向TSP实例类,同时证明两个相关圈问题为NP完全。
2024-03-12 math.CO
Spanning eulerian subdigraphs in semicomplete digraphs
一个有向图是欧拉图,如果它是连通的,并且每个顶点的入度等于出度。有一个生成欧拉子有向图是有一个哈密尔顿圈的一个弱化。本文首先刻画了半完全有向图$D$和弧$a$的对$(D,a)$,使得$D$有一个包含$a$的生成欧拉子有向图.特别地,我们证明了如果$D$是$2$ -弧强的,则每个弧都包含在生成欧拉子有向图中.然后我们刻画了半完全有向图$D$和弧$a$的对$(D,a)$,使得$D$有一个生成欧拉子有向图避开$a$ .特别地,我们证明了每个$2$ -弧-强半完全有向图都有一个避开任意指定弧的生成欧拉子有向图。我们还证明了存在一个(最小)功能$f(k)$,使每一个$f(k)$弧强半完全有向图包含一个生成欧拉子有向图,避免任何规定的$k$弧集:我们证明了$f(k)\leq (k+1)^2/4 +1$,猜想$f(k)=k+1$,并建立这个猜想为$k\leq 3$,当$k$弧,我们删除形成一个森林的恒星。一个有向图$D$是欧拉连通的,如果对于任意两个不同的顶点$x,y$,有向图$D$有一个生成$(x,y)$ -迹。证明了每一个$2$ -弧强半完全有向图都是欧拉连通的。我们的结果可以看作是半完全有向图中哈密尔顿圈的著名结果的弧类似。
2019-05-27 cs.DM math.CO
Strong arc decompositions of split digraphs
本文研究分裂有向图的强弧分解,证明了每个3-弧强分裂有向图均存在多项式时间可求的强弧分解,并给出了无强弧分解的2-强分裂有向图实例。
2023-09-13 math.CO
Berge's Conjecture and Aharoni-Hartman-Hoffman's Conjecture for locally in-semicomplete digraphs
University of Campinas(坎皮纳斯大学);Federal University of São Carlos(圣卡洛斯联邦大学)
本文针对局部内半完全与局部外半完全有向图,证明了Berge提出的k-最优路径划分存在正交部分k-着色猜想,以及Aharoni-Hartman-Hoffman提出的最优k-填充存在正交着色猜想。
2017-08-22 math.CO
The Complexity of Color-constrained Paths in Semicomplete Multipartite Digraphs
Goethe University Frankfurt(法兰克福歌德大学)
研究半完全多部有向图中具有颜色约束的路径问题,利用Schaefer二分法定理对几乎所有问题进行了复杂性分类,并探讨了独立数2时的拟哈密顿路径问题。
2026-06-26 cs.DM math.CO
Arc-disjoint Strong Spanning Subdigraphs of Semicomplete Compositions
有向图$D=(V,A)$的强弧分解是将其弧集$A$分解为两个不相交的子集$A_1$和$A_2$,使得生成子有向图$D_1=(V,A_1)$和$D_2=(V,A_2)$都是强的。设$T$是一个有向图,$t$是$u_1,\dots , u_t$的顶点,$H_1,\dots H_t$是一个有向图,$H_i$是$u_{i,j_i},\ 1\le j_i\le n_i.$的顶点.则合成图$Q=T[H_1,\dots , H_t]$是一个有向图,其顶点集$\cup_{i=1}^t V(H_i)=\{u_{i,j_i}\mid 1\le i\le t, 1\le j_i\le n_i\}$和弧集\[ \left(\cup^t_{i=1}A(H_i) \right) \cup \left( \cup_{u_iu_p\in A(T)} \{u_{ij_i}u_{pq_p} \mid 1\le j_i\le n_i, 1\le q_p\le n_p\} \right). \].当$T$是一个半完全有向图且每个$H_i$是一个任意有向图时,我们得到了有向图合成图$Q=T[H_1,\dots H_t]$具有强弧分解的一个特征.我们的刻画推广了Bang-Jensen和Yeo(2003)对具有强弧分解的半完全有向图的刻画,并解决了Sun,Gutin和Ai(2018)关于有向图合成$Q=T[H_1,\dots …
2019-03-28 cs.DM math.CO
Solving the kernel perfect problem by (simple) forbidden subdigraphs for digraphs in some families of generalized tournaments and generalized bipartite tournaments
本文通过禁止子有向图刻画了广义锦标赛和广义二分锦标赛若干族中的核完美与临界核不完美有向图,并证明判定CKI问题可多项式求解,回应了Bang-Jensen的猜想。
2018-11-26 math.CO
Polynomial Algorithms for Minimum Degree Partitions in Semicomplete Digraphs
School of Mathematics, Shandong University(山东大学数学学院)
研究半完全有向图的度约束二划分问题,通过小度证书、最小核、闭包和保护集论证以及确定性通用染色与单调重染等方法,解决了相关猜想,给出固定度阈值下的多项式时间算法。
2026-07-07 cs.DM math.CO
Disjoint paths in tournaments
给定有向图$G$的$k$顶点对$(s_i,t_i)$,$1\le i\le k$,如何检验$1\le i\le k$是否存在从$s_i$到$t_i$的$k$顶点不交有向路?这在一般的有向图中是NP-完全的,即使对于$k = 2$也是如此,但是对于$k=2$,当$G$是竞赛图(或者更一般地,半完全有向图)时,由于Bang-Jensen和Jassen的研究,存在多项式时间算法。本文证明了对于所有固定的$k$,当$G$是半完备的时,存在一个多项式时间算法来求解该问题.
2014-11-23 math.CO
On the $k$-linkage problem for generalizations of semicomplete digraphs
本文研究半完全与拟传递等广义有向图的 $k$-链接问题,证明 $3k$-强、最小出度至少 $23k$ 的相关图类及高连通 $l$-拟传递有向图可实现 $k$-链接,并利用最大入度顶点的丰富短路径结构作为关键工具。
2025-03-13 math.CO
Extended Path Partition Conjecture for Semicomplete and Acyclic Compositions
设$D$是一个有向图,$λ(D)$表示$D$的最长路上的顶点数。对于$D$的一对顶点不相交的导出子有向图$A$和$B$,我们说$(A,B)$是$D$的一个划分,如果$V(A)\cup V(B)=V(D).$路划分猜想(PPC)指出,对于每个有向图$D$和每个整数$q$,其中$1\leq q\leqλ(D)-1$,存在$D$的一个划分$(A,B)$使得$λ(A)\leq q$和$λ(B)\leqλ(D)-q.$令$T$是具有顶点集$\{u_1,\dots, u_t\}$的有向图并且对于每个$i\in [t]$,设$H_i$是顶点集为$\{u_{i,j_i}\colon\, j_i\in [n_i]\}$有向图。$T$和$H_1,\ldots, H_t$的{ \em合成} $Q=T[H_1,\dots , H_t]$是一个顶点集$\{u_{i,j_i}\colon\, i\in [t], j_i\in [n_i]\}$和弧集$$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{i,j_i}u_{p,q_p}\colon\, u_iu_p\in A(T), j_i\in [n_i], q_p\in [n_p]\}.$$的有向图。我们说$Q$是无圈的{(分别是半完全的)},如果$T$是无圈的{(分别是半完全的)}。本文利用Bang-Jensen,Nielsen和Yeo(20…
2021-11-18 cs.DM math.CO
Kings and Kernels in Semicomplete Compositions
本文研究了半完全复合图中的王与核问题,刻画了具有k-king的有向图复合,并证明了限制在半完全复合图上的k-Kernel问题在不同条件下的NP完全性与多项式时间可解性。
2024-04-24 math.CO
Spanning eulerian subdigraphs avoiding k prescribed arcs in tournaments
一个有向图是{ \bf欧拉}的,如果它是连通的,并且每个顶点的入度等于出度。有一个生成欧拉子有向图是有一个哈密尔顿圈的一个弱化。一个有向图是{ \bf semicomplete},如果它没有不相邻的顶点对.一个{ \bf tournament}是一个没有长度为2的有向圈的半完全有向图。Frise和Schlassen \cite{fraisseGC3}证明了每一个$(k+1)$ -强竞赛图都有一个避免任何给定$k$弧集的Hamilton圈.在\cite{bangsupereuler}中,作者证明了一些关于竞赛图中的点连通度和Hamilton圈的结果,并且当我们用弧连通度代替点连通度和用生成欧拉子有向图代替Hamilton圈时,这些结果具有类似性.他们证明了存在一个最小函数$f(k)$,使得每个$f(k)$ -弧-强半完全有向图都有一个生成欧拉子有向图,它避开了任何指定的$k$弧集.他们证明了$f(k)\leq \frac{(k+1)^2}{4}+1$,也证明了$f(k)=k+1$当$k=2,3$。基于此,他们证实了所有$k\geq 0$的$f(k)=k+1$。本文证明了$f(k)\leq (\lceil\frac{6k+1}{5}\rceil)$ .
2019-07-01 math.CO
Arc-disjoint in- and out-branchings rooted at the same vertex in compositions of digraphs
一个有向图$D=(V, A)$在顶点$r$处有一个好对,如果$D$有一对以$r$为根的弧不相交的入分支和出分支。设$T$是一个有向图,$t$的顶点是$u_1,\dots , u_t$,$H_1,\dots H_t$是一个有向图,使得$H_i$的顶点是$u_{i,j_i},\ 1\le j_i\le n_i.$,则合成图$Q=T[H_1,\dots , H_t]$是一个有向图,顶点集是$\{u_{i,j_i}\mid 1\le i\le t, 1\le j_i\le n_i\}$,弧集是$$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{ij_i}u_{pq_p}\mid u_iu_p\in A(T), 1\le j_i\le n_i, 1\le q_p\le n_p\}.$$。每个强有向图组合$Q$,其中$n_i\ge 2$对于每个$1\leq i\leq t$,在$Q.$的每个顶点都有一个好的对这个结果中的$n_i\ge 2$的条件不能放松。当$T$是半完全图时,我们用一个好对刻画了半完全复合图,推广了Bang-Jensen和Huang(J. Graph Theory,1995)对拟传递有向图的相应刻画.因此,我们可以在多项式时间内决定一个给定的半完全复合是否有一个以给定顶点为根的好对。
2019-06-19 cs.DM math.CO
On kernels by rainbow paths in arc-coloured digraphs
2018年,白,藤田和张(\emph{Discrete Math.} 2018,341(6):1523-1533)通过彩虹路径引入了内核的概念(简称RP-核),它是$D$的顶点的子集$S$,使得($a$)对于$S$的任何一对不同的顶点都不存在彩虹路径,并且($b$)$S$外部的每个顶点都可以通过$D$中的彩虹路径到达$S$。证明了判别弧色有向图是否有RP-核是NP-困难的,判别弧色竞赛图是否有RP-核是NP-完全的。本文给出了弧色单圈有向图、半完全有向图、拟传递有向图和二部竞赛图存在RP-核的充分条件,并证明了如果某些“短”圈和某些“小”诱导子图是彩虹图,则这些弧色有向图有RP-核。
2018-07-22 math.CO
Some results on Berge's conjecture and Begin-End conjecture
设$D$是一个有向图。$V(D)$的子集$S$是独立集,如果$S$中的每对顶点在$D$中不相邻。$D$的不相交路径$\mathcal{P}$的集合是$V(D)$的路径划分,如果$V(D)$中的每个顶点都在$\mathcal{P}$的路径上。我们说一个独立集$S$和一个路径划分$\mathcal{P}$是正交的,如果$P$的每条路径恰好包含$S$的一个顶点。一个有向图$D$满足$α$ -性质,如果对于$D$的每个最大独立集$S$,存在一个路划分$\mathcal{P}$使得$S$与$\mathcal{P}$正交.一个有向图$D$是$α$ -双完全图,如果$D$的每个导出子图都满足$α$ -性质. 1982年,Claude Berge利用禁止反有向奇圈刻画了$α$ -双完全有向图。2018年,Sambinelli,Silva和Lee提出了类似的猜想。一个有向图$D$满足Begin-End-property或BE-property,如果对于$D$的每个最大独立集$S$,存在一个路径划分$\mathcal{P}$使得(i)$S$和$\mathcal{P}$是正交的并且(ii)对于每个路径$P \in \mathcal{P}$,$P$的开始或结束位于$S$中.有向图$D$是BE-双完全图,如果$D$的每个导出子图都满足BE-性质. Sambinelli,Silva和Lee利用禁止阻塞奇圈刻画…
2021-11-23 math.CO
Strong chordality in tournaments and multipartite tournaments with possible loops
本文研究可能带环的多部锦标赛的强弦性,给出多项式时间识别算法与禁用导出子图刻画,并证明强弦有向图中全控制集最小规模等于不相交入邻域最大数目且可在线性时间内计算。
2025-09-23 math.CO
Towards the Small Quasi-Kernel Conjecture
设$D=(V,A)$是一个有向图。一个顶点集$K\subseteq V$是$D$的拟核,如果$K$是$D$中的一个独立集,并且对于每个顶点$v\in V\setminus K$,$v$与$K$的距离不超过2. 1974年,Chvátal和Lovász证明了每个有向图都有一个拟核。P. L.埃尔德斯和L. A. Székely在1976年证明了如果$D$的每个顶点都有正的入度,则$D$有一个大小至多为$|V|/2$的拟核.这个猜想只在有限的有向图类中得到证实,例如半完全多部图、准传递图或局部半完全有向图。本文对所有有向图提出了一个类似的猜想,证明了这两个猜想是等价的,并证明了这两个猜想对一类包含所有4-可着色图(特别是所有可平面图)的定向的有向图成立.
2020-01-12 math.CO
Competitively orientable complete multipartite graphs
我们说一个有向图$D$是竞争的,如果任何一对顶点在$D$中有一个公共的外邻居,并且一个图$G$是竞争定向的,如果存在$G$的竞争定向.竞争有向图的概念是在研究其竞争图是完备的有向图时提出的。我们得到了竞争可定向图的一些有用的性质,并证明了一个$n$阶完全图是竞争可定向的当且仅当$n \geq 7$。然后,我们完全刻画了竞争可定向完全多部图的部分集的大小。此外,我们提出了一种方法来建立一个竞争性的多部竞赛在每个竞争定向的情况下。
2022-12-11 math.CO
Gallai colorings and domination in multipartite digraphs
设D是一个不含循环三角形的有向图,其顶点被划分为A_1,…,独立顶点的A_t。一个集合$U=\cup_{i\in S} A_i$称为一个大小为|S|的支配集,如果对于任何顶点$v\in \cup_{i\notin S} A_i$,U中有一个w使得(w,v)在E(D)中。设beta(D)是D的最大独立集的基数,其顶点来自D的不同分类。我们的主要结果是存在h=h(beta(D))使得D有一个大小不超过h的控制集。这一结果被应用于解决一个与广义Gallai染色有关的问题,即不含三色三角形的图的边染色。
2010-06-10 math.CO
Strong in-domatic number in digraphs
设$D=(V,A)$是一个有向图,$\mathfrak{S}$是$V(D)$的一个划分.我们称$\mathfrak{S}$是强内支配划分,如果$\mathfrak{S}$中的每个$S$都保持每个不在$S$中的顶点在$S$中至少有一个外邻,即$S$是内支配集,且$D\langle S \rangle$是强连通的.强内域划分的最大元素数称为$D$的强内域数,记为$\mathsf{d}_{s}^{-}(D)$.本文引入了这些概念,并确定了半完全有向图和平面有向图的$\mathsf{d}_{s}^{-}$的值。我们给出了具有强独立划分的有向图的一些结构性质,并给出了$\mathsf{d}_{s}^{-}(D)$的一些界。然后,我们研究了笛卡尔积、合成、线有向图等相关有向图中的这一概念。此外,我们还刻画了强自内临界有向图,并给出了两类具有某些性质的强自内临界有向图,其中强自内临界有向图$D$证明:对于$A(D)$中的每个$e$,都有$\mathsf{d}_{s}^{-}(D-e) = \mathsf{d}_{s}^{-}(D) -1 $.
2022-04-04 math.CO
Multipartite tournaments in which any two vertices have an $(i,j)$-step common out-neighbor
该研究将Choi等人关于$(1,1)$步竞争可定向完全多部图的刻画结果推广,给出了$(i,j)$步竞争可定向完全多部图的一般性特征刻画。
2024-10-06 math.CO
Decomposition of balanced multipartite tournaments into strongly connected tournaments
将一个有向图分解为具有固定结构或性质的子图是图论中的经典问题,也是网络和通信中的一个有用工具。一个有向图是强连通的,如果它包含从每个顶点到所有其他顶点的有向路。本文考虑多部竞赛图,研究了具有$c$部集的多部竞赛图划分为强连通$c$ -竞赛图的存在性.这是一个延续的研究开始于1999年的Muslimmann的存在性强连接的子竞赛图的多部比赛。
2018-12-15 math.CO
On competition indices and periods of multipartite tournaments
本文计算了多部竞赛图的竞争指数和周期。我们首先证明了无圈有向图$D$的竞争周期是1,并且$ζ(D) +1$是$D$的竞争指数的一个上界,其中$ζ(D)$是$D$的汇消除指数.然后证明了,特别地,对于一个无圈$k$ -部竞赛图$D$,$D$的竞争指数是$ζ(D)$或$ζ(D) +1$(对于整数$k \ge 3$).通过开发有用的工具来创建无穷多个有向行走在一定的规则模式,从给定的有向行走,我们表明,一个多部锦标赛汇和有向圈的竞争期是最多三个。我们还证明了本原有向图的竞争指数不超过它的指数。
2020-12-15 math.CO
Perfect digraphs
设$D$是一个有向图。给定顶点集合$S \subseteq V(D)$,$D$的$S$ -路径划分$\mathcal{P}$是$D$的路径集合,使得对于每个$P \in \mathcal{P}$,$\{V(P) \colon P \in \mathcal{P}\}$是$V(D)$和$|V(P) \cap S| = 1$的划分。我们说$D$满足$α$ -性质,如果对于$D$的每个最大稳定集$S$,存在$D$的$S$ -路划分,我们说$D$是$α$ -双完全的,如果$D$的每个导出子图满足$α$ -性质。有向图$C$是反有向奇圈,如果(i)$C$的底层图是圈$x_1x_2 \cdots x_{2k + 1}x_1$,其中$k \in \mathbb{Z}$和$k \geq 2$,并且(ii)每个顶点$x_1, x_2, x_3, x_4, x_6,$ $x_8, \ldots, x_{2k}$是源或宿。Berge(1982)证明了一个有向图是$α$ -双完全的当且仅当它不包含诱导反有向奇圈。请注意,这个猜想与Berge关于完美图的猜想惊人地相似-现在被称为强完美图定理(Chudnovsky,Robertson,Seymour和Thomas,2006)。据我们所知,Berge关于$α$ -双完全有向图的猜想仅在对称有向图和其基础图是完全的有向图中得到了验证。在本文中,我们证明了它的有向图…
2019-04-04 math.CO
Heroes in oriented complete multipartite graphs
该研究针对有向图的英雄图刻画问题,证明拟传递有向图的英雄图与竞赛图一致,证否了有向多部图相关猜想,并给出有向完全多部图英雄图的近乎完整刻画。
2023-12-11 cs.DM math.CO
Colouring Complete Multipartite and Kneser-type Digraphs
本文研究有向图双色数及其列表版本,推广了Lovász和Alon的结果,确定了Kneser图、Borsuk图及完全多部图的(列表)双色数渐近界,并给出Sabidussi定理的有向类比。
2025-04-20 math.CO
Low chromatic spanning sub(di)graphs with prescribed degree or connectivity properties
推广了Erdés和Lovász的著名结果,证明了每个图$G$都包含一个具有$λ(H)\geq \lceil{}\frac{k-1}{k}λ(G)\rceil$的生成$k$ -部子图$H$,其中$λ(G)$是$G$的边连通度.特别是,连同一个众所周知的结果,由于纳什-威廉姆斯和Tutte,这意味着每一个$7$ -边连通图包含一个生成二部图,其边集分解成两个边不相交的生成树。我们证明了这是最好的可能性,因为它不适用于无限多的$6$ -边连通图。对于有向图,文献[6]证明了不存在$k$使得每个$k$ -弧连通有向图都有一个生成强二部子有向图.证明了每个强有向图都有一个生成强三部子有向图,并且每个至少6个顶点的强半完全有向图都有一个生成强二部子有向图。\jbj{We generalize this result to higher connectivities by proving}证明了,对于每个正整数$k$,每个$k$ -弧连通有向图包含一个生成$(2k+1$)-有部子图是$k$ -弧连通的,这是最佳可能的.文[18]中的一个猜想是:每个最小出度$2k-1$的有向图都包含一个最小出度至少为$k$的生成$3$ -部子有向图.通过给出一类具有最小出度$2k-2$的有向图,证明了有界$2k-1$是最佳可能的,这类有向图不包含任何出度至少为$k$的生成$3$ -部子有向图.证明了最小半度至少为…
2020-08-12 math.CO
Sparse highly connected spanning subgraphs in dense directed graphs
Mader证明了每个强$k$ -连通$n$ -顶点有向图都包含一个强$k$ -连通生成子图,该生成子图最多有$2kn - 2k^2$条边,其中等式对完全二部有向图${DK}_{k,n-k}$成立.对于稠密的强$k$连通有向图,这个上界可以得到显著的改进.更精确地说,我们证明了每一个强$k$ -连通$n$ -顶点有向图$D$都包含一个强$k$ -连通生成子图,其中强$k$ -连通生成子图至多有$kn + 800k(k+\overlineΔ(D))$条边,其中$\overlineΔ(D)$表示有向图$D$的基础无向图的补图的最大度.这里,附加项$800k(k+\overlineΔ(D))$紧接着乘法和加法常数。作为推论,这意味着每个强$k$ -连通的$n$ -顶点半完全有向图都包含一个强$k$ -连通的生成子图,该生成子图最多有$kn + 800k^2$条边,这是本质最优的,因为$800k^2$不能约简到小于$k(k-1)/2$ .我们还证明了一个类似的结果,强$k$ -弧连通有向多重图。这两个证明都产生多项式时间算法。
2018-08-12 cs.DM math.CO
On splitting digraphs
1995年,Stiebitz提出了一个问题:对任意正整数$s,t$,是否存在一个有限整数$f(s,t)$使得每一个最小出度至少为$f(s,t)$的有向图$D$都有一个二分图$(A, B)$,使得$A$导出一个最小出度至少为$s$的子有向图,$B$导出一个最小出度至少为$t$的子有向图?我们给出了一个肯定的答案竞赛,多部竞赛,有界最大入度的有向图。特别地,我们证明了对于每个具有$0<ε<1/2$的$ε$,存在一个整数$δ_0$,使得每个具有最小出度至少$δ_0$的竞赛图都有一个二分$(A, B)$,使得每个顶点在$A$和$B$中至少有$(1/2-ε)$的外邻居.
2018-04-10 math.CO
Note on Disjoint Cycles in Multipartite Tournaments
本文针对无三角形多部竞赛图和3部竞赛图验证了Bermond-Thomassen关于顶点不相交有向圈的猜想,并进一步刻画了最小出度至少为$2k-1$且任意$k$个不相交圈等长的3部竞赛图。
2023-11-22 math.CO
The niche graphs of multipartite tournaments
有向图$D$的生态位图的顶点集为$V(D)$,边为$uv$当且仅当对某些$w \in V(D)$有$(u,w) \in A(D)$和$(v,w) \in A(D)$,或有$(w,u) \in A(D)$和$(w,v) \in A(D)$.生态位图的概念是由Cable等人(1989)作为竞争图的一个变体引入的。如果一个图是一个有向图$D$的小生境图,则称它是通过$D$可小生境实现的。如果一个图$G$是小生境可实现的,通过一个整数$k \ge 2$的$k$ -部竞赛图,那么我们说对$(G, k)$是小生境可实现的。Bowser等人(1999)研究了通过锦标赛可实现利基的图,Eoh等人(2018)研究了$k=2$的利基可实现对$(G, k)$。本文研究了当$G$是图且$k$是至少为$3$的整数时的小生境可实现对$(G, k)$.证明了$k$ -部竞赛图的小生境图当$k \ge 3$时至多有三个分量,当$k \ge 4$时连通.当$G$是不连通图、$G$是完全图和$G$是连通无三角形图时,我们求出了所有的小生境可实现对$(G, k)$.
2019-11-11 math.CO
On 2-distance-transitive circulant digraphs
Xiangtan University(湘潭大学)
本文基于2-弧传递循环图的分类,完整分类了2-距离传递循环有向图,列出了所有同构类型,包括无向圈、完全多部图、Paley图及若干有向图族。
2026-09-18 math.CO
$(k,H)$-kernels in nearly tournaments
设$H$是一个可能有环的有向图,$D$是一个没有环的有向图,而$ρ: A(D) \rightarrow V(H)$是$A(D)$的一个着色图($D$被称为是一个$H$着色的有向图).如果$W=(x_{0}, \ldots , x_{n})$是$D$和$i \in \{ 0, \ldots , n-1 \}$中的行走,则我们说,无论何时$(ρ(x_{i-1}, x_{i}), ρ(x_{i}, x_{i+1})) \notin A(H)$(当$x_{0} = x_{n}$索引取$n$模时),$x_{i}$上都存在障碍。我们用$O_{H}(W)$表示集合$\{ i \in \{0, \ldots , n-1 \} :$,在$x_{i} \}$上有一个障碍。$H$-$W$的长度,用$l_{H}(W)$表示,在$x_{0} \neq x_{n}$时由$|O_{H}(W)|+1$定义,在其他情况下由$|O_{H}(W)|$定义。$H$着色有向图$D$($k \geq 2$)的$(k, H)$ -核是$D$的顶点子集,比如$S$,使得对于$S$中的每对不同顶点,它们之间的每条路径的$H$ -长度至少为$k$,并且对于每个顶点$x \in V(D) \setminus S$,存在一条$xS$ -路径,其$H$ -长度至多为$k-1$ .这个概念广泛地推广了以前的好概念,如核,$k$ -核,单色路…
2021-08-02 math.CO
Solutions to the linkage conjecture in tournaments
该研究构造反例否定了Pokrovskiy提出的锦标赛连通性猜想及Girão等人的相关问题,并证明最小出度不小于$10^7k^4$的$(2k+1)$-连通半完全有向图是$k$-连通的,改进了已有结果。
2024-12-11 math.CO
Proof of the linkage conjecture for highly connected tournaments
本文构造反例否定了Girão等人关于$(2k+1)$-连通竞赛图$k$-链接性的猜想,并证明最小出度足够大的$(2k+1)$-连通半完全有向图是$k$-链接的,结果在连通度和出度上最优,推广了前人结论。
2025-07-30 math.CO
Colored Turán densities and finite directed templates
School of Mathematics, Shandong University(山东大学数学学院);Universidad Pública de Navarra(纳瓦拉公立大学);Extremal Combinatorics and Probability Group (ECOPRO), Institute for Basic Science (IBS)(基础科学研究院极端组合学与概率组)
该研究将经典图兰理论扩展至着色图场景,通过有限有向归约建立着色图兰密度与同态图兰密度的关联,确定其为有限无环有向图的拉格朗日量,提出保留度分布的低分辨率采样方法。
2026-10-14 math.CO