Classifying k-Edge Colouring for H-free Graphs
一个图是$H$ -free的,如果它不包含同构于$H$的导出子图。对于任意整数$k$和任意图$H$,我们确定了无$H$图的$k$ -边着色的计算复杂性.
2018-10-10 cs.CC cs.DM cs.DS
Odd Chromatic Number of Graph Classes
一个图称为奇(分别,偶),如果每个顶点都有奇(分别,偶)度。Gallai证明了每个图都可以划分为两个偶诱导子图,或者划分为一个奇诱导子图和一个偶诱导子图。我们把划分成奇子图称为G的奇染色。Scott [Graphs and Combinatorics,2001]证明了一个图允许奇数着色当且仅当它有偶数个顶点。我们说一个图G是k-奇列图,如果它能被划分成至多k个奇导出子图。本文首次系统地研究了图类的奇染色和奇色数。特别地,我们考虑了一些类是否有界奇色数。我们的主要结果是:区间图、有界模宽图和有界最大度图都有界奇色数。
2023-03-06 cs.DM math.CO
A simple algorithm for random colouring G(n, d/n) using (2+ε)d colours
图G=(V,E)的近似随机k-染色是计算机科学和统计物理中的一个重要研究课题。这相当于构造了G的一个k-染色,它的分布接近Gibbs分布,即G的所有k-染色上的均匀分布。在这里,我们处理的问题时,底层图是一个实例的Erdos-Renyi随机图G(n,p),其中p=d/n和d是固定的。我们提出了一种新的有效的近似随机k-着色算法,它具有以下性质:给定G(n,d/n)的一个实例,对于任意k>(2+ε)d,它返回一个k-着色分布在吉布斯分布的总变化距离n^{-Omega(1)}内,概率为1-n^{-Omega(1)}.我们所提出的既不是MCMC算法,也不是受统计物理学家引入的消息传递算法启发的算法。我们的算法是组合的性质。它是基于一个相当简单的递归减少G(n,d/n)的随机k-着色随机k-着色简单的子图第一。我们的算法在多项式时间内运行的颜色数量的下限明显小于我们以前任何算法的相应界限。
2011-07-05 cs.DM
Counting Candy Crush Configurations
一个k-稳定的c-着色Candy Crush网格是一个特殊类型的k-一致超图的弱真c-着色。在本文中,我们介绍了一个完全多项式随机逼近方案(FPRAS)计数的数量k-稳定的c-着色糖果粉碎网格的给定大小(m,n)的某些值的c和k。我们在Matlab上实现了这个算法,发现在一个有7种颜色的Candy Crush网格中,大约有4.3*10^61个3-稳定着色。(Note典型的Candy Crush游戏使用6种颜色,并且我们的FPRAS不能保证在k= 3和c= 6的预期多项式时间内工作。我们还讨论了这个FPRAS的适用性的问题计数的其他更一般的超图的弱c-着色的数量。
2019-08-27 cs.DM math.CO
Obstructions to $k$-colouring $H$-free graphs
Department of Mathematics and Statistics, Acadia University(阿卡迪亚大学数学与统计系);School of Mathematical and Computational Sciences, University of Prince Edward Island(爱德华王子岛大学数学与计算科学学院)
本文完成了k>4时无H图k着色的极小障碍刻画,证明当且仅当H为P₄+ℓP₁(ℓ≥0)的诱导子图时,k顶点临界无H图仅有有限个。
2026-10-09 cs.DM math.CO
Separation choosability and dense bipartite induced subgraphs
我们研究了列表着色的一种限制形式,其中对应于邻顶点的每一对列表可能不会共享一种以上的颜色。最佳列表大小,使得一个适当的列表着色总是可能的,我们称之为分离可选性。我们证明了对于二部图,分离可选性随最小度的对数而增加。这加强了Molloy和Thron以及部分Alon的结果。一个试图放弃二分性假设沉淀了一个自然类的拉姆齐型问题,独立的利益。例如,是否每一个最小度的无三角形图$d$都包含一个最小度的二部诱导子图$Ω(\log d)$作为$d\to\infty$?
2018-12-04 cs.DM math.CO
Kempe Equivalence of Colourings of Cubic Graphs
给定一个图$G=(V,E)$和$G$的一个适当的顶点着色,一个Kempe链是$V$的一个子集,它诱导出$G$的一个极大连通子图,其中每个顶点有两种颜色之一。进行肯普变换是通过交换肯普链中顶点的颜色来从另一种颜色中获得一种颜色。两种颜色是肯普等价的,如果每一种都可以通过一系列肯普变化从另一种获得。Mohar的一个猜想断言,对于$k \geq 3$,所有不完全的$k$ -正则图的$k$ -着色都是Kempe等价的.我们解决的情况下,$k=3$表明,所有的$3$着色的三次图$G$是肯普等价,除非$G$是完全图$K_4$或三棱柱。
2015-08-10 cs.DM math.CO
Hereditary Graph Classes: When the Complexities of Colouring and Clique Cover Coincide
如果一个图不包含同构于$H_1$或$H_2$的导出子图,则对于一对图$H_1,H_2$,该图是$(H_1,H_2)$ -free的.在2001年,Král ',Kratochv' ıl,Tuza和Woeginger开始了一项关于无$(H_1,H_2)$图着色复杂性的研究。从那时起,其他人试图完成他们的研究,但许多案件仍然悬而未决。我们主要研究$H_2$是$H_1$的补$\overline{H_1}$的无$(H_1,H_2)$图.由于这些类在互补下是封闭的,因此着色和团覆盖的计算复杂性一致。通过结合新的和已知的结果,我们能够分类的复杂性着色和团覆盖的$(H,\overline{H})$ -自由图的所有情况下,除了当$H=sP_1+ P_3$的$s\geq 3$或$H=sP_1+P_4$的$s\geq 2$。我们还分类的复杂性着色的图形类,其特征在于禁止有限数量的自互补诱导子图,我们发起了一项研究的$k$ -着色的$(P_r,\overline{P_r})$ -自由图。
2017-06-07 cs.CC cs.DM cs.DS
Colouring Graphs Without a Subdivided H-Graph: A Full Complexity Classification
Durham University(杜伦大学);KU Leuven Campus Kulak-Kortrijk(荷语鲁汶大学库尔克-科特赖克校区);ENS Lyon(里昂高等师范学院)
本文研究了无细分H图的着色问题,通过开发新的分解定理和多项式时间算法,实现了对H₀和H₁两类图的完全复杂性分类,并扩展至稳定切割和反馈顶点集问题。
2026-02-20 cs.CC cs.DM cs.DS
Soft happy colourings and community structure of networks
本文建立了软快乐着色与网络社区结构之间的理论联系,在随机块模型下推导了诱导快乐着色的条件与阈值,并提出了启发式多项式时间算法,通过实验验证了其有效性。
2024-11-11 cs.DM
Counting independent sets via Divide Measure and Conquer method
本文给出了一个计算给定图中所有独立集个数的算法,该算法对次三次图适用于时间$O^*(1.1394^n)$,对一般图适用于时间$O^*(1.2369^n)$,其中$n$是实例图的顶点数,多项式空间.其结果来自于结合两个众所周知的方法“分而治之”和“测量和征服”。我们介绍了这个新概念的划分,测量和征服方法,并期望它会发现在其他问题的应用。Björklund,Husfeldt和Koivisto的图着色算法,用我们的算法作为子程序,其复杂度为$O^*(2.2369^n)$,是目前多项式空间中最快的图着色算法。
2015-03-28 cs.DM math.CO
Acyclic colourings of graphs with bounded degree
一个图的顶点的$k$ -着色(不一定是真着色)称为{ \it非循环的},如果对于每一对不同的颜色$i$和$j$,由其端点具有颜色$i$和$j$的边诱导的子图是非循环的。本文考虑了一类广义的无圈$k$ -着色,即要求每一个色类都导出一个无圈或有界度图.我们主要关注最大度为5的图。我们证明了任何这样的图有一个非循环的$5$ -着色,使得每个颜色类导致一个非循环图的最大度至多为4。我们证明了判定图$G$是否具有非循环2-着色的问题是NP-完全的,即使对于最大度为5的图也是如此。我们还给出了一个线性时间算法的非循环$t$ -不当着色的任何图的最大程度$d$假设颜色的数量是足够大的。
2015-11-13 cs.DM math.CO
The challenges of unbounded treewidth in parameterised subgraph counting problems
参数化子图计数问题是参数化计数理论中研究最深入的课题,近年来取得了重要进展。许多现有的参数化问题,其中涉及到寻找或计数的子图具有特定的属性依赖于这些子图的树宽在某种意义上的边界的易处理的结果,在这里,我们证明了一些硬度结果的情况下,这种有界树宽条件不成立,导致二分法的一般子图计数问题的一些特殊情况。本文还给出了一个彻底的调查已知的结果在这个问题上使用的方法,以及讨论之间的关系多色和无色版本的子图计数问题,精确计数,近似计数和相应的决策问题。
2015-05-29 cs.CC cs.DM math.CO
A systematic association of subgraph counts over a network
我们将所有小的子图计数问题与系统的图形编码/表示系统相关联,该系统连贯地使用graphlet结构。该系统可作为研究和衔接许多重要的图论问题的统一基础。从图编码的角度,用严格的数学语言描述了图元素之间的拓扑关系。我们发现,表征和利用代数和数值关系的graphlet计数/频率。我们提出了一种新的算法,有效地计数小的子图作为我们的理论研究结果的实际产品。
2021-03-19 cs.DM
Subgraph Counting in Subquadratic Time for Bounded Degeneracy Graphs
本文研究了有界退化图上次二次时间的子图计数问题,提出归约框架将子图计数转化为任意图中的小超图计数,证明顶点数不超过9的模式图可在次二次时间内计数,并改进了长度至多10的环计数算法。
2025-03-04 cs.DM cs.DS
The parameterised complexity of counting even and odd induced subgraphs
本文研究了给定图中边数为偶数的k-顶点诱导子图的计数问题,以及边数为奇数的k-顶点诱导子图的计数问题.我们证明了这两个问题是#W[1]-硬的参数时,k,事实上证明了一个更强的结果计数子图的属性,仅适用于一些子集的k-顶点子图,其中有一个偶数(分别为奇数)的边缘。另一方面,我们证明了偶数和奇数k-顶点诱导子图的计数问题都是一个FPTRAS问题。这些近似方案是基于一个令人惊讶的结构的结果,利用思想从拉姆齐理论。
2015-10-06 cs.CC cs.DM math.CO
Uniformly Random Colourings of Sparse Graphs
本文研究了在$Δ< k\ln k $区域中具有最大度$Δ$的稀疏图的均匀随机真$k$ -染色.该制度对应于随机图着色的破碎阈值的下侧,随机约束满足问题的破碎阈值的一个范例。我们证明了各种结果的解决方案空间的几何形状的着色固定图,推广工作Achlioptas,Coja-Oghlan,和Molloy随机图,并证明了随机局部搜索算法的性能在这个政权。我们的中心证明只依赖于基本的技术,即第一矩方法和定量归纳,但它加强了列表着色结果由于Vu,最近戴维斯,康,P。和Sereni,并概括了国家的最先进的界限,从拉姆齐理论的背景下,稀疏图。它进一步产生了一个近似紧的下界上的着色,也被称为分拆函数的波茨模型,与有效的近似计数的影响。
2023-03-27 cs.DM math.CO
Narrowing the Complexity Gap for Colouring ($C_s$,$P_t$)-Free Graphs
对于正整数$k$和图$G=(V,E)$,$G$的$k$ -着色是一个映射$c: V\rightarrow\{1,2,\ldots,k\}$,使得无论何时$uv\in E$都是$c(u)\neq c(v)$. $k$ -着色问题是对于给定的$G$,决定是否存在$G$的$k$ -着色。$k$ -预着色扩展问题是针对给定的$G=(V,E)$,决定$V$的子集的着色是否可以扩展为$G$的$k$ -着色。图的$k$ -列表分配是将列表-$\{1,\ldots,k\}$的子集-分配给每个顶点,并且列表$k$ -着色问题是决定对于给定的$G$,$G$是否具有$k$ -着色,其中每个顶点用其列表中的颜色着色。我们继续研究这三个决策问题的计算复杂性时,限制到图,既不包含一个循环的$s$顶点,也不包含一个路径的$t$顶点作为诱导子图(固定的正整数$s$和~ $t$)。
2014-07-06 cs.CC cs.DM math.CO
Colouring locally sparse graphs with the first moment method
给出了最大度$Δ$的图$G$的列表色数的一个界的一个简短证明,其中每个邻域的密度至多为$d$,即$χ_\ell(G) \le (1+o(1)) \fracΔ{\ln \fracΔ{d+1}}$为$\fracΔ{d+1} \to \infty$ .这个界限紧到一个渐近因子$2$,这是最好的可能,除非在拉姆齐理论的突破,并加强了由于Vu的结果,最近戴维斯,P.,康和塞雷尼我们的证明依赖于第一时刻的方法,并适应了一个聪明的计数罗森菲尔德在非重复着色的背景下开发的参数。作为最后的接触,我们表明,我们的方法提供了一个渐近紧的局部稀疏图的着色数的下界。
2021-11-25 cs.DM math.CO
Acyclic, Star and Injective Colouring: A Complexity Picture for H-Free Graphs
Charles University(查理大学);Durham University(杜伦大学);LIRMM, CNRS, Université de Montpellier(蒙彼利埃大学法国国家科学研究中心信息、机器与微系统实验室)
本文研究了H-无图上无环、星形和注入着色问题的复杂性,揭示了固定颜色数k时的分类结果及k作为输入时的差异。
2026-01-29 cs.DM math.CO
Colouring graphs with no induced six-vertex path or diamond
菱形是通过从4个顶点上的完全图中移除边而获得的图。一个图是($P_6$,diamond)-free的,如果它不包含同构于六点路或菱形的诱导子图.本文证明了无($P_6$,diamond)图$G$的色数不大于6的最大值和$G$的团数.我们这样做,通过减少问题的不完美($P_6$,钻石)-免费的图形通过强完美图定理,不完美的图形分为几种情况下,并给予适当的着色为每种情况。我们还证明了只有一个6-顶点临界($P_6$,diamond,$K_6$)-free图.与Lovász θ函数一起,这给出了一个多项式时间算法来计算($P_6$,diamond)-free图的色数。
2021-06-16 cs.DM math.CO
Colouring Generalized Claw-Free Graphs and Graphs of Large Girth: Bounding the Diameter
对于一个固定的整数,$k$ -着色问题是决定是否可以用最多$k$颜色的图的整数$k$,使得没有两个邻顶点是相同的颜色。如果$G$不包含$H$作为诱导子图,则图$G$是无$H$的.对于所有的$k\geq 3$,如果$H$含有诱导爪或诱导圈,则对于无$H$的图,$k$ -着色问题是NP-完全的. $H$包含一个循环的情况下,从已知的结果,该问题是NP-完全的,即使是任意大的固定围长的图。我们研究在何种程度上的情况可能会改变,如果此外输入图有界直径。
2021-11-23 cs.CC cs.DM cs.DS
Colouring perfect graphs with bounded clique number
一个图是完美的,如果每个诱导子图的色数等于它的最大团的大小,并且Grötschel,Lovász和Schrijver在1988年的一个算法在多项式时间内找到了完美图的最佳着色。但是该算法使用椭球方法,并且构造一个“组合”多项式时间算法来产生完美图的最佳着色是一个众所周知的公开问题。$G$中的偏斜划分是$V(G)$的划分$(A,B)$,使得$G[A]$不连通且$\bar{G}[B]$不连通,其中$\bar{G}$表示补图;并且如果满足$G$和$\bar{G}$中的路径的附加奇偶性条件,则它是平衡的。在本文中,我们首先给出了一个多项式时间算法,输入一个完美图,输出一个平衡斜划分,如果有一个。然后,我们用这个得到一个组合算法,找到一个最佳着色的完美图的团数$k$,在时间上是多项式固定$k$。
2017-07-12 cs.DM math.CO
Fast counting of medium-sized rooted subgraphs
我们证明了任何图$F$在另一个图$G$中的副本计数可以通过对$G$的邻接矩阵进行基本矩阵运算来实现。此外,所得到的算法是中等大小的$F$的竞争力:我们的算法恢复了最有名的复杂度为根6团计数,并提高了最有名的9周期计数。支撑我们的证明是新的结果,对于一般类的图算子,矩阵运算是根图上的操作的同态。
2017-01-13 cs.DM cs.SI math.CO
$H$-colouring $P_t$-free graphs in subexponential time
一个图称为无$P_t$图,如果它不包含$t$顶点上的路作为导出子图。设$H$是一个多重图,它具有任意两个不同的顶点最多有一个公共邻居的性质.我们表明,生成函数(列表)图同态从$G$ $H$可以计算在次指数时间$2^{O\left(\sqrt{tn\log(n)}\right)}$的$n=|V(G)|$类的$P_t$ -自由图$G$。作为推论,我们证明了无$P_t$图$G$的3-着色数可以在次指数时间内找到.另一方面,没有次指数时间算法存在4-着色的$P_t$ -免费的图形假设的指数时间假设。一路上,我们证明了$P_t$ -自由图的路径宽度是线性的,在其最大程度。
2019-03-22 cs.DM math.CO
Colouring Square-Free Graphs without Long Induced Paths
对于无$H$的图,{ \sc着色}的复杂性是完全理解的,但是如果两个导出子图$H_1$和$H_2$是禁止的,则仍然存在主要的复杂性差距.设$H_1$为$s$ -顶点循环$C_s$,$H_2$为$t$ -顶点路径$P_t$ .我们证明了{ \sc着色}对于$s=4$和$t\leq 6$是多项式时间可解的,加强了几个已知的结果。我们的主要方法是发起一个遗传图类的原子(图没有团割集)的团宽度的有界性的研究。我们首先证明了无$H$图和无$H$原子的圈宽有界性的分类是一致的。然后,我们表明,这是不是这样的情况下,如果两个图是禁止的:我们证明了$(C_4,P_6)$ -自由原子的最大宽度约18。我们的关键证明成分是一个分而治之的方法来界定的一个子类的$C_4$ -免费的图形和建设的一个新的界限上的candel-width(一般)图的candel-width递归定义的子图诱导的齐次对和三元组的集合。作为补充,我们证明了{ \sc Colouring}对于$s=4$和$t\geq 9$是\NP -完全的,这是关于无$(C_4,P_t)$图的{ \sc Colouring}的第一个硬度结果.结合我们的新的结果与已知的结果导致几乎完全二分法的\cn限制到$(C_s,P_t)$ -免费的图形。
2018-05-21 cs.CC cs.DM cs.DS
Colouring Graphs of Bounded Diameter in the Absence of Small Cycles
对于$k\geq 1$,$G$的$k$着色$c$是从$V(G)$到$\{1,2,\ldots,k\}$的映射,使得对于任何两个非相邻顶点的$c(u)\neq c(v)$为$u$和$v$ . $k$ -着色问题是判定图$G$是否具有$k$ -着色。对于图族${\cal H}$,如果$G$不包含任何来自${\cal H}$的图作为导出子图,则图$G$是${\cal H}$ -free的.令$C_s$为$s$ -顶点循环。在以前的工作(MFCS 2019)中,我们研究了直径对$(C_3,\ldots,C_s)$ -free图和$H$ -free图的$3$ -着色复杂性的影响,其中$H$是一些polyad。在这里,我们证明了$s$的某些小的值,$3$ -着色是多项式时间可解的$C_s$ -自由图的直径$2$和$(C_4,C_s)$ -自由图的直径$2$。事实上,我们的结果适用于更一般的问题列表$3$ -着色。我们补充这些结果与直径$4$的一些硬度结果。
2021-01-19 cs.CC cs.DM cs.DS
A dynamic data structure for counting subgraphs in sparse graphs
我们提出了一个表示图G的动态数据结构,它允许从图G中添加和删除边,并且可以确定一个有界大小的图作为G的导出子图的出现次数.查询在恒定的时间内得到回答。当该数据结构用于表示来自具有有界扩展的类的图时(其包括平面图和更一般地在拓扑子式上闭合的所有真类,以及具有有界平均度的许多其他自然类的图),更新的摊销时间复杂度是多对数的。
2013-01-03 cs.DM cs.DS math.CO
Faster Algorithms for Finding and Counting Subgraphs
In this paper we study a natural generalization of both { \sc $k$ -Path} and { \sc $k$ -Tree} problems, namely, the { \sc Subgraph Isomorphism} problem. In the { \sc Subgraph Isomorphism} problem we are given two graphs $F$ and $G$ on $k$ and $n$ vertices respectively as an input, and the question is whether there exists a subgraph of $G$ isomorphic to $F$ . We show that if the treewidth of $F$ is at most $t$ , then there is a randomized algorithm for the { \sc Subgraph Isomorphism} problem running in time $\cO^*(2^k n^{2t})$ . To do so, we associate a new multivariate {Homomorphism polynomial…
2009-12-11 cs.DM cs.DS
Counting Small Induced Subgraphs with Hereditary Properties
研究了图$G$中满足图性质$Φ$的$k$ -顶点导出子图的计数问题$\#\text{IndSub}(Φ)$的计算复杂性.我们的主要结果建立了一个详尽的和明确的分类,所有的遗传属性,包括严格的条件下界下的指数时间假设(ETH):-如果一个遗传属性$Φ$是真的所有的图,或者如果它是真的,只有对许多图,然后$\#\text{IndSub}(Φ)$是可解的多项式时间。- 否则,$\#\text{IndSub}(Φ)$在由$k$参数化时是$\#\mathsf{W[1]}$ -complete的,并且假设ETH,对于任何函数$f$,它都不能在时间$f(k)\cdot |G|^{o(k)}$中求解。这种分类具有广泛的性质,相应的检测问题(如Khot和Raman [TCS 02]所分类)是易于处理的,但计数是困难的。此外,即使是已经棘手的决策版本的属性,我们的结果产生显着更强的计数问题的下限。作为额外的结果,我们还提出了一个详尽的和明确的参数化的复杂性分类的所有属性是不变的同态等价。通过覆盖一个最自然的和一般的概念,关闭,即顶点删除(遗传)下,我们概括了一些早期的结果在这个问题上。例如,我们的结果完全支持并加强了Roth,Schmitt和Wellnitz [FOCS 20]对单调(子图封闭)属性的$\#\text{IndSub}(Φ)$的现有分类。
2022-03-29 cs.CC cs.DM
On a conjecture of Mohar concerning Kempe equivalence of regular graphs
设$G$是一个顶点着色为$α$的图.设$a$和$b$为两种颜色。则由着色为$a$或$b$的顶点所诱导的子图的连通分支称为Kempe链。从$α$通过交换肯普链的顶点上的颜色而获得的$G$的着色被称为通过肯普变换而获得。$G$的两种颜色是肯普等价的,如果一种可以通过一系列肯普变化从另一种获得。Mohar(2007)的一个猜想断言,对于$k \geq 3$,所有不完全的$k$ -正则图的$k$ -着色都是Kempe等价的。后来证明,所有的$3$ -染色的三次图,既不是$K_4$也不是三棱柱是肯普等价的。在本文中,我们证明了猜想成立的每个$k\geq 4$。我们还报告的影响,这一结果的有效性的Wang-Swendsen-Koteckstrom算法的反铁磁Potts模型在零温度。
2016-09-22 cs.DM math.CO
Counting five-node subgraphs
ENAC (University of Toulouse)(法国国立民航大学(图卢兹大学))
本文为五顶点上21个非同构连通图推导精确计数公式,纠正五个已知错误,并通过正则图及真实网络验证,展示了新公式的有效性。
2026-09-18 cs.DM math.CO
Complexity Framework for Forbidden Subgraphs II: Edge Subdivision and the "H"-graphs
本文研究仅满足有界树宽可解和三次以下图NP完全但不保持边细分NP困难性的四类问题,揭示其在禁止“H”图细分时具有不同于满足全部三条件问题的丰富复杂性边界。
2024-05-04 cs.DM math.CO
Backbone colouring of chordal graphs
本文研究弦图的主干着色问题,证明对二分主干和区间图有BBC2(G,H)≤χ(G)+O(1),给出反例说明不能推广,并得到对森林主干和C4-自由主干的近似界。
2025-08-05 cs.DM math.CO
Shortest cycle covers and cycle double covers with large 2-regular subgraphs
在本文中,我们表明,许多snark有最短的循环覆盖的长度$\frac{4}{3}m+c$为常数$c$,其中$m$是在图中的边的数量,在协议的猜想,所有的snark有最短的循环覆盖的长度$\frac{4}{3}m+o(m)$。特别地,我们证明了完美匹配指数不超过4的图的圈覆盖长度为$\frac{4}{3}m$,并且满足张的$(1,2)$ -覆盖猜想,而周长较大的图的圈覆盖长度接近于$\frac{4}{3}m$ .我们还证明了一些结果,图的低奇性和讨论的连接Jaeger的彼得森着色猜想。
2013-06-13 cs.DM math.CO
Homomorphisms Are a Good Basis for Counting Small Subgraphs
我们引入图模参数,一类图参数,只依赖于常数大小的诱导子图的频率。Lovász的经典著作表明,许多有趣的量具有这种形式,包括,对于固定图$H$,输入图$G$中的$H$ -副本(诱导或未诱导)的数量,以及从$H$到$G$的同态的数量。使用的框架图模参数,我们得到更快的算法计算子图副本的固定图$H$在主机图$G$:对于图$H$的$k$边缘,我们展示了如何计算子图副本的$H$在时间$k^{O(k)}\cdot n^{0.174k + o(k)}$一个令人惊讶的简单算法。这改进了先前已知的运行时间,例如用于$k$边缘匹配的$O(n^{0.91k + c})$时间或用于$k$循环的$O(n^{0.46k + c})$时间。此外,我们证明了一个一般的复杂性二分法评估图的主题参数:给定一类$\mathcal C$等参数,我们考虑的问题,评估$f\in \mathcal C$输入图$G$,参数化的诱导子图的数量,$f$依赖。对于每一个递归可排类$\mathcal C$,我们证明了上述问题是FPT或#W[1]-困难的,并给出了明确的二分法准则.这使我们能够恢复已知的二分法计数子图,诱导子图,同态在一个统一的和简化的方式,以及改进的下界。最后,我们将图的模体参数扩展到着色子图,并证明了一个复杂度分解:对于顶点着色图$H$和$G$,其中$H$来自一个固定的类$\mathcal H$,我们要计数$G$中的保…
2017-05-03 cs.CC cs.DM cs.DS
On edge-colouring-games by Erdős, and Bensmail and Mc Inerney
该研究针对Erdős、Bensmail和Mc Inerney提出的三类边着色游戏,在无偏情形下推进相关猜想、提出新猜想并拓展游戏适用图类,在有偏情形下解决两类游戏并证明特定参数下的团游戏结论。
2025-10-28 cs.DM cs.GT math.CO
Some hard families of parameterised counting problems
我们考虑以下形式的参数化子图计数问题:给定一个图G,它的顶点有多少个k-元组具有给定的属性?一些这样的问题是已知的#W[1]-完全的,在这里,我们基本上概括了这些现有的一些结果,证明硬度为两个大家庭这样的问题。我们证明了当标号子图的不同边密度数为o(k^2)时,计算具有任何性质的k-顶点子图的个数是#W[1]-困难的.在特殊的情况下,该属性的问题只取决于在子图的边缘数,我们给这个结果,导致我们的第二个家庭的硬问题的加强。
2014-09-25 cs.CC cs.DM math.CO
A Dichotomy Hierarchy Characterizing Linear Time Subgraph Counting in Bounded Degeneracy Graphs
针对有界退化图与有界扩张图之间的图类层次,基于模式图最长诱导环长度,给出了线性时间子图与同态计数的精确二分定理。
2023-11-16 cs.DM cs.DS
Colouring Probe $H$-Free Graphs
Department of Computer Science, Durham University(达勒姆大学计算机系);Institute of Optimization and Operations Research, Ulm University(乌尔姆大学优化与运筹学研究所);Department of Information and Computing Sciences, Utrecht University(乌得勒支大学信息与计算科学系)
研究了H-无图的着色问题,发现当图结构为P_t-无图时,3着色复杂性取决于t的大小,t≤5时多项式时间可解,t≥6时为NP难。
2025-12-27 cs.DM cs.DS math.CO
Counting thin subgraphs via packings faster than meet-in-the-middle time
Vassilevska和Williams(STOC 2009)展示了如何计算$n$ -时间点图中$k$顶点上的简单路径和$k/2$边的匹配数$n^{k/2+O(1)}$。同年,Koutis和Williams~(ICALP 2009)和Björklund \emph{et al.}(ESA 2009)给出了两个具有相同运行时间的不同算法,通过$n^{st/2+O(1)}$ -时间算法来计算$t$ -从$n$ -元素论域的给定$s$ -大小的子集族中提取的成对不相交集的元组。不久之后,Alon和Gutner(TALG 2010)表明,当通过颜色编码计数时,这些问题具有$Ω(n^{\lfloor st/2\rfloor})$和$Ω(n^{\lfloor k/2\rfloor})$下限。在这里,我们表明,可以做得更好,即,我们表明,“满足在中间”指数$st/2$可以击败,并给出一个算法,在时间上计数$n^{0.45470382 st + O(1)}$ $t$三的倍数。这意味着算法的出现的固定子图的$k$顶点和路径宽度$p\ll k$在$n$ -顶点图在$n^{0.45470382k+2p+O(1)}$的时间,改进了上述三个算法的路径和匹配,并绕过了颜色编码的下限。我们也给出了改进的界计数$t$ -元组的不相交$s$ -集$s=2,3,4$。我们的算法使用快速矩阵乘法。我们证明了一个论点,这…
2015-08-14 cs.DM cs.DS