A Novel Approach to Finding Near-Cliques: The Triangle-Densest Subgraph Problem
许多图挖掘应用依赖于检测近团的子图。在现有的工作与这个问题有关的结果之间存在着二分法:一方面,最大化所有子图的平均度的dennial子图问题(DSP)是在多项式时间内可解的,但对于许多网络未能找到子图的近团。另一方面,面向寻找近似团的公式是NP困难的,并且由于与最大团问题的联系而经常不可近似。在这项工作中,我们提出了一个配方,结合了最好的两个世界:它是可解的多项式时间,发现近团时,DSP失败。令人惊讶的是,我们的配方是DSP的简单变体。具体地说,我们定义了三角形可分解子图问题(TDSP):给定$G(V,E)$,找到顶点$S^*$的子集,使得$τ(S^*)=\max_{S \subseteq V} \frac{t(S)}{|S|}$,其中$t(S)$是由集合$S$诱导的三角形的数量。我们提供了各种精确和近似算法,有效地解决了TDSP。此外,我们展示了我们的算法如何适应更一般的问题,最大化的$k$ -团平均密度。最后,我们提供的经验证据表明,TDSP应该使用时,DSP的输出未能输出近团。
2014-05-20 cs.DM cs.DS cs.SI
Intersection-Link Representations of Graphs
我们考虑包含稠密子图的图的绘图。我们引入交叉链接表示这样的图,其中每个顶点$u$表示的几何对象$R(u)$和每个边缘$(u,v)$表示的交叉点之间的$R(u)$和$R(v)$,如果它属于一个密集的子图或曲线连接的边界$R(u)$和$R(v)$否则。我们研究的平面性的概念,称为集团平面性,交叉链接表示的密集的子图是集团的图。
2015-08-30 cs.CG cs.DM cs.DS
Iterative models for complex networks formed by extending cliques
我们考虑了一个新的复杂网络模型,其基本机制是扩展稠密子图。在截头体模型中,我们迭代地扩展集团在离散时间的步骤。对于基础参数的许多选择,模型生成的图形随着时间的推移而变密。在锥模型的特殊情况下,生成的图可证明满足在现实世界的复杂网络中观察到的属性,如小世界属性和差谱扩展。最后,我们将讨论一组开放性问题以及平截头体模型的后续步骤。
2022-05-10 cs.DM
Finding cliques and dense subgraphs using edge queries
该研究针对Erdős–Rényi随机图中有限边查询下找大团的问题,改进了多轮查询场景下团规模系数的上界,同时拓展到稠密子图查找问题并证明了对应不可能性结果。
2024-07-11 cs.DM math.CO
Triangle-free intersection graphs of line segments with large chromatic number
在20世纪70年代,Erdos提出了平面上线段的交图的色数是否受其团数的函数限制的问题。我们的答案是否定的。具体来说,对于每个正整数$k$,我们构建了一个三角形的免费家庭的线段在平面上的色数大于$k$。我们的结构反驳了Scott的一个猜想,即不包括任何固定图的诱导剖分的图的色数由它们的团数的函数有界。
2014-12-26 cs.CG cs.DM math.CO
Maximal Cliques in Scale-Free Random Graphs
该研究分析了三种随机图模型中极大团的数量,给出不同模型下的上下界,通过实验解决了几何非均匀随机图极大团数量的经验矛盾,揭示其超多项式下界及极端规模下的渐近行为。
2024-09-04 cs.DM math.CO
On $H$-Topological Intersection Graphs
Biró等人(1992)引入了$H$ -图,即图$H$的一个细分的连通子图的交图。它们与许多类几何交图有关,例如,区间图、圆弧图、分裂图和弦图。我们否定地回答了Biró等人25年前提出的一个问题,即对于一个固定的图$H$,$H$ -图是否可以在多项式时间内被识别。证明了如果$H$包含钻石图作为子图,则它是NP-完全的.对于每棵固定树$T$,我们提供了一个识别$T$ -图的多项式时间算法。当$T$是次数为$d$的星形$S_d$时,我们有一个$O(n^{3.5})$ -时间算法。分别给出了求解以$d$和$H$为参数的$S_d$ -图和$H$ -图的最小支配集问题的FPT-时间算法和XP-时间算法. $H$ -图的算法适用于$H$ -图的独立集和独立控制集问题的XP-时间算法。如果$H$包含双三角形作为子图,我们证明了$H$ -图是GI-完全的,团问题是APX-困难的.如果$H$是一个仙人掌图,那么团问题可以在多项式时间内得到解决.当图$G$具有Helly $H$ -表示时,团问题可以在多项式时间内得到解决.我们证明了在$H$ -图(由$k$和$H$的树宽参数化)上,$k$ -团和列表$k$ -着色问题都是FPT-时间可解的.事实上,这些结果适用于图类的树宽有界的一个函数的团数。我们观察到$H$ -图最多有$n^{O(\|H\|)}$最小分隔符,这允许我们应用Fomin et al.(2…
2021-06-10 cs.DM math.CO
Edge Intersection Graphs of Paths on a Triangular Grid
本文引入了一类新的交图,即三角网格上道路的边交图,称为EPGt图。我们展示了这个新类别与众所周知的EPG图类别的相似之处和差异。路径在栅格点处的转弯称为折弯。其中每条路径具有至多$k$弯曲的EPGt表示被称为B $_k$ -EPGt表示,并且对应的图被称为B $_k$ -EPGt图。我们提供了B $_{2}$ -EPG图的示例,即B $_{1}$ -EPGt。我们刻画了B $_{1}$ -EPGt表示中三顶点无弦4-圈团的表示.我们还证明了B $_{1}$ -EPGt图具有强Helly数$3$ .进一步证明了B $_{1}$ -EPGt图是$7$ -团可着色的.
2022-03-08 cs.DM cs.DS
Combinatorial Problems on $H$-graphs
Biró、Hujter和Tuza在1992年引入了$H$ -图的概念,即图$H$的一个细分的连通子图的交图。它们自然地推广了许多重要的图类,例如,区间图和圆弧图。我们继续研究这些图类考虑着色,集团,同构问题的$H$ -图。我们证明了对于任何固定的包含某个3-结点6-边多重图作为子图的$H$,团问题在$H$ -图上是APX-困难的,同构问题是同构完全的.我们还提供了$H$ -图的积极结果。也就是说,当$H$是仙人掌时,团问题可以在多项式时间内求解。另外,当图$G$具有Helly $H$ -表示时,团问题可以在多项式时间内解决。最后,我们观察到,可以使用树宽技术,以显示这两个$k$ -团和列表$k$ -着色问题是FPT的$H$ -图。这些FPT结果更普遍地适用于树宽有界的图形类,其中树宽是有界的一个函数的团数。
2017-06-02 cs.DM
Directed paths on a tree: coloring, multicut and kernel
本文研究树上有向路弧交图的算法问题。这样的图被认为是完美的(Monma和Wei在1986年证明了这一点)。我们提出了更快的算法比以前已知的算法解决最小染色和最小团覆盖问题。它们都在$O(np)$时间内运行,其中$n$是树的顶点数,$p$是路径数。另一个结果是一个多项式算法计算核的交集图,当它的边缘是在一个coherent-acyclic的方式定向。事实上,根据Boros和Gurvich的定理,任何完美图都存在这样的核。这样的算法计算内核是已知的,只有少数几类完美图。
2009-02-06 cs.DM
Circular-arc graphs and the Helly property
论文研究圆弧图团的 Helly 性质,利用维护全部规范化模型的 PQM-tree 刻画三类团、给出判定算法,并证明 Helly Cliques 问题的 FPT 算法、ETH 下界及 O(k^6) 多项式核。
2024-04-08 cs.DM cs.DS
Potential Maximal Clique Algorithms for Perfect Phylogeny Problems
Kloks、Kratsch和Spinrad展示了树宽和最小填充、与最小三角剖分相关的NP-难组合优化问题如何通过由最小分隔符定义的块子图分解成子问题。这些想法被Bouchitté和Todinca扩展,他们使用潜在的最大团来解决这些问题,使用动态规划方法在图的最小分隔符的数量的时间多项式中。众所周知,完美共生问题、最大相容问题和唯一完美共生问题的解都是由划分交图的最小三角剖分刻画的。在本文中,我们证明了类似于Bouchitté和Todinca提出的技术可以用来解决缺失数据的完美共生问题,缺失数据的两状态最大相容问题,以及在时间多项式中缺失数据的唯一完美共生问题。
2013-03-16 cs.CE cs.DM cs.DS
On the generalized Helly property of hypergraphs, cliques, and bicliques
一个集合族是$(p,q)$ -相交的,如果$p$或更少的集合的每个非空子族在它的总交中至少有$q$元素.一个集合族具有$(p,q)$ -Helly性质,如果每个非空的$(p,q)$ -相交子族的基数的全交至少为$q$ . $(2,1)$ -Helly属性是通常的Helly属性。一个超图是$(p,q)$ -Helly,如果它的边族具有$(p,q)$ -Helly性质,如果它的每个子超图都具有$(p,q)$ -Helly性质,则它是遗传的$(p,q)$-Helly.一个图是$(p,q)$ -candle-Helly,如果它的最大团族具有$(p,q)$ -Helly性质,如果它的每个诱导子图都是$(p,q)$ -candle-Helly,则它是遗传的$(p,q)$-candle-Helly.类似地定义了$(p,q)$ -双连通-Helly图类和遗传$(p,q)$ -双连通-Helly图类。我们证明了遗传$(p,q)$ -Helly超图的几个特征,其中一个特征是用最小禁止部分超图刻画的.对于每个固定的$q$,我们给出了一个改进的识别$(p,q)$ -Helly超图的时间界,并证明了如果$p$和$q$是固定的,则遗传的$(p,q)$ -Helly超图的识别可以在多项式时间内解决,但如果$p$是输入的一部分,则是co-NP-完全的.此外,我们还将$p$-cohes-Helly图的扩张刻画推广到…
2022-01-29 cs.DM math.CO
Constructing dense graphs with sublinear Hadwiger number
马德尔要求明确构建稠密图的最大团未成年人的大小是次线性的顶点数。这样的图作为随机图存在,几乎必然具有这个性质。这个问题和变体被Mrsason在几篇文章中推广。我们回答这些问题,展示如何明确地构建这样的图形使用爆破的小图与此属性。这导致了研究的一个分数变量的团未成年人的数量,这可能是独立的利益。
2011-08-26 cs.DM math.CO
Layered tree-independence number and clique-based separators
本文研究分层树独立数与基于团的分隔子等参数关系,在几何交图上给出参数界,并导出加权独立集和反馈顶点集等问题的次指数或拟多项式时间算法。
2025-06-14 cs.CG cs.DM math.CO
Maximal cliques structure for cocomparability graphs and applications
一个上可比较图是一个其补图允许传递定向的图。区间图是一族区间在实直线上的交图。本文研究了区间图与协可比图之间的关系。这项研究的动机是最近的结果Corneil,Dalton,Habib(2013)和Dusart,Habib(2016),这些结果表明,对于某些问题,在区间图上使用的算法也可以在协可比图上进行小的修改。这些算法中的许多都是基于图搜索,保持cocomparabilityordings。首先,我们提出了一个共同可比图通过其最大集团集上的格结构的特征。利用这个特征,我们可以证明协可比图$G$的每个最大区间子图也是$G$的最大弦子图。虽然这个最大团的格的大小可以是图的大小的指数,但它可以用作设计和证明协可比图算法的框架。特别是,我们表明,一个新的图形搜索,即本地最大邻域搜索(LocalMNS)导致$O(n+mlogn)$时间算法找到一个最大的间隔子图的协可比图。类似地,我们提出了一个线性时间算法来计算所有单纯顶点的协可比图。在这两种情况下,我们都在改进现有的知识。
2016-11-07 cs.DM
A new upper bound for the clique cover number with applications
设$α(G)$和$β(G)$表示无向图$G$的最大独立集的大小和团覆盖数。设$H$是一个具有$V(G)=V(H)$和$E(G)\subseteq E(H)$的区间图,$ϕ(G,H)$表示$G$的${β(G[W])\over α(G[W])}$整体导出子图$G[W]$的最大值,这些子图是$H$中的团.本文的主要结果是证明了对任何图$G$ $${β(G)}\le 2 α(H)ϕ(G,H)(\log α(H)+1),$$,其中$α(H)$是$H$中最大独立集的大小。我们进一步提供了一个推广,显着统一或改善过去的一些算法和结构的结果,一些著名的交叉图的团覆盖数。
2015-02-22 cs.DM cs.DS math.CO
Coloring intersection graphs of arc-connected sets in the plane
平面上的集合族是单的,如果它的任意子族的交是弧连通的,并且它被线$L$穿过,如果它的任意成员与$L$的交是非空线段。证明了平面上被一条公共线穿过的紧致弧连通集的简单族的交图的色数受其团数的函数限制。
2014-08-26 cs.CG cs.DM math.CO
Towards a Characterization of Leaf Powers by Clique Arrangements
类${\cal L}_k$的$k$ -叶功率由图$G=(V,E)$,有一个$k$ -叶根,即树$T$与叶集$V$,其中$xy \in E$,当且仅当$x$和$y$之间的$T$ -距离最多为$k$。结构和线性时间识别算法已被发现$2$ -,$3$ -,$4$ -,并在一定程度上,$5$ -叶功率,它是已知的,所有$k$ -叶功率,即,图类${\cal L} = \bigcup_{k=2}^\infty {\cal L}_k$,形成一个适当的子类强弦图。尽管如此,最近没有取得任何重大进展。在本文中,我们使用新的概念,集团安排建议,叶权力是一个自然的特殊情况下,强弦图。弦图$G$的团排列${\cal A}(G)$是一个有向图,它表示$G$的最大团之间的交点和这些顶点子集之间的弧包含。最近,强弦图被刻画为具有团排列且没有坏的$k$ -圈的图,其中$k \geq 3$具有坏的$k$ -圈。我们证明了${\cal L}$的每一个图的团排列都是没有坏的$2$ -圈的.这是否能准确地描述类${\cal L}$的特征的问题仍然没有解决。
2014-02-06 cs.DM math.CO
Functionality of box intersection graphs
该研究探讨图复杂度度量功能性在盒交图中的有界性,证明区间图功能性有界、三维盒交图无界,并指出对称差参数在区间图和二维单位盒交图中均无界。
2023-11-03 cs.DM math.CO
Aggregating maximal cliques in real-world graphs
Princeton University(普林斯顿大学);Microsoft Research(微软研究院);University of Utah(犹他大学);Tel Aviv University, Google Research(特拉维夫大学,谷歌研究院);Google Research(谷歌研究院)
本文提出ρ-密集聚合器,通过亚指数级大小的集群集合高效捕捉现实世界图的最大团结构,实验表明其在速度和简洁性上优于现有方法。
2025-12-03 cs.DM cs.DS cs.SI
On-line approach to off-line coloring problems on graphs with geometric representations
本文的主要目标是形式化和探索图的色性与几何表示和在线算法的竞争分析之间的联系,这在最近Pawlik等人构造了具有任意大色数的无三角形几何求交图之后变得明显。线图着色问题产生具有自然几何解释的博弈图类。我们使用这个概念来估计的色数的图形与几何表示找到,适当的简单的图形,在线着色算法,使用很少的颜色或证明,没有这样的算法存在。我们推导出矩形重叠图,子树重叠图和区间细丝图(所有这些都是广义区间重叠图)的最大色数的上限和下限时,他们的团数是有界的。区间细丝图的边界是绝对的,矩形和子树重叠图的形式$(\log\log n)^{f(ω)}$的渐近,其中$f(ω)$是团数的多项式函数,$n$是顶点数。特别地,我们首次构造了团数有界且色数渐近大于$\log\log n$的几何求交图。我们还引入了$K_k$ -free着色的概念,并表明,对于某些几何表示,$K_3$ -free色数可以有界的集团数,但普通($K_2$ -free)色数不能。对于线段交图的这样一个结果暗示了一个著名的猜想:$k$ -拟平面几何图具有线性多条边。
2016-12-29 cs.CG cs.DM cs.DS
Faster Decomposition of Weighted Graphs into Cliques using Fisher's Inequality
挖掘一致共表达的基因组是生物医学研究中的一个重要问题,对于药物重新定位和设计新的疾病治疗方法等应用至关重要。最近,Cooley等人将该问题建模为精确加权团分解(Exact Weighted Clique Decomposition,EWCD),其中,给定边加权图$G$和正整数$k$,目标是将$G$分解为至多$k$(重叠)加权团,使得边的权重恰好等于其参与的团的权重之和。他们表明EWCD是固定参数可处理的,给出了一个$4^k$内核和一个回溯算法(统称为cricca)来迭代地构建分解。不幸的是,由于潜在的解决方案的空间中固有的指数增长,cricca通常只能分解图时,$k \leq 11$。在这项工作中,我们建立减少规则,指数级减少内核的大小(从$4^k$到$k2^k$)EWCD。此外,我们使用有关潜在解决方案的结构的见解,以提供新的搜索规则,加快分解算法。在我们的技术的核心是一个结果,从组合设计理论称为费舍尔的不等式表征集系统的限制交叉。我们部署我们的内核化和分解算法(一起称为DeCAF)的语料库上的生物启发的数据,并获得超过两个数量级的速度超过cricca。因此,DeCAF可以扩展到带有$k \geq 17$的实例。
2022-06-16 cs.DM cs.DS
Tracking Paths in Planar Graphs
我们认为NP完全问题的跟踪路径的图,首先介绍了Banik等。等[3]。给定一个具有源$s$和目的$t$的无向图,找出与任何$s-t$路径相交的顶点的最小子集,这些顶点的交集导致唯一序列。在本文中,我们证明了当图是平面图时,这个问题仍然是NP完全的,并且在这种情况下我们给出了一个4-近似算法。我们还表明,通过Courcelle定理,它可以解决在线性时间的有界团宽度的图,当它的团分解是预先给定的。
2019-09-29 cs.DM cs.DS
A parametrized Poincare-Hopf Theorem and Clique Cardinalities of graphs
给定有限简单图G=(V,E)的顶点集V上的一个局部内射实函数g,证明了Poincare-Hopf公式f_G(t)= 1+t sum_{x in V} f_{S_g(x)}(t),其中S_g(x)= { y在S(x)中,g(y)小于g(x)}且f_G(t)=1+f_0 t + t. + f_{d} t^{d+1}是对图G的f-向量进行编码的f-函数,其中f_k计数G中k维团(完全子图)的数目。f的相应计算递归地将问题减少到一半大小的图的n个任务。当t=-1时,参数Poincare-Hopf公式退化为经典Poincare-Hopf结果X(G)=sum_xi_g(x),其中整数指标i_g(x)=1-X(S_g(x))和欧拉特征线X.在新的Poincare-Hopf公式中,指数是整数多项式,曲率K_x(t)表示为指数期望K_x(t)= E[i_x(t)],是有理系数多项式.在函数g的概率空间上积分Poincare-Hopf公式得到Gauss-Bonnet公式f_G(t)= 1+ sum_{x} F_{S(x)}(t),其中F_G是f_G的反导数.对f-交矩阵f_{k,l}(G,H)的生成函数f_{G,H}(t,s)= sum_{k,l} f_{k,l}(G,H)s^k t^l进行类似的计算,计算G中k-单形与H中l-单形的交数。同样在这里,对于一半大小的图,计算减少到4 n^2次计算:f_…
2019-06-15 cs.DM math.CO
Burling graphs in graphs with large chromatic number
Stanford University(斯坦福大学);Jagiellonian University(雅盖隆大学);Leipzig University(莱比锡大学);Georgia Institute of Technology(佐治亚理工学院)
本研究证明在排除固定图诱导细分的大类图中,大色数仅由大团或Burling图B_k迫使,得出相关极小遗传图类结论,并给出非χ-有界图类的近似着色多项式时间算法。
2026-10-16 cs.DM math.CO
Temporal Cliques Admit Sparse Spanners
设$G=(V,E)$是$n$顶点上的无向图,而$λ:E\to 2^{\mathbb{N}}$是一个映射,该映射为每条边分配一个非空的整数标签(时间)集。这样的图是{ \em时间连通的},如果存在一条从每个顶点到每个其他顶点的时间不减的路。在一篇开创性的论文中,Kempe、Kleinberg和Kumar \cite{KKK02}提出了这样一个问题:给定这样一个时间图,是否总是存在一个{ \em稀疏}边子集,其标签足以保持时间连通性--{ \em时间连通性}。Axiotis和Fotakis \cite{AF16}给出了否定的回答,他们展示了一系列$Θ(n^2)$ -稠密时间图,这些图不允许密度$o(n^2)$的时间连续性。在本文中,我们给出了第一个肯定的答案,$o(n^2)$ -稀疏spectrometry的存在性,在一个密集类的时间图,通过显示(建设性地),如果$G$是一个完整的图,那么人们总是可以找到一个时间的密度$O(n \log n)$的spectrometry。
2021-04-28 cs.DC cs.DM cs.NI
Algorithmic Decorrelation and Planted Clique in Dependent Random Graphs: The Case of Extra Triangles
研究依赖噪声对计算复杂度的影响,通过在带三角形的随机图与Erdős-Rényi图间建立平均情形归约,首次将依赖噪声转化为独立噪声,并基于对扰动的低敏感性提出新框架证明归约有效性。
2023-06-27 cs.CC cs.DM cs.IT
Computing Dense and Sparse Subgraphs of Weakly Closed Graphs
一个图$G$是弱$γ$ -闭的,如果$G$的每个导出子图都包含一个顶点$v$,使得对于$v$的每个非邻居$u$,$|N(u)\cap N(v)|<γ$成立.图的弱闭包$γ(G)$是使$G$是弱$γ$ -闭的最小数,最近由Fox等人[SIAM J. Comp. 2020]引入。这个图形参数永远不会大于简并度(加1),并且可以明显更小。扩展Fox等人[SIAM J. Comp. 2020]关于团计数的工作,我们证明了与寻找稠密子图相关的几个问题,例如bicliques和$s$ -丛的计数,相对于$γ(G)$是固定参数易处理的。此外,我们证明了弱$γ$ -闭图$G$是否在至少$k$顶点上有一个子图属于一个在取子图下闭的图类$\mathcal{G}$,这个问题允许一个至多有$γk^2$顶点的核.最后,我们提供了固定参数算法的独立支配集和支配团时,参数为$γ+k$,其中$k$是解决方案的大小。
2022-11-03 cs.DM math.CO
Known algorithms for EDGE CLIQUE COVER are probably optimal
在边CLIQUE COVER(ECC)问题中,给定一个图G和一个整数k,我们问G的边是否可以被G的k个完全子图覆盖,或者等价地问G是否允许k元论域上的交模型. Gramm等人[JEA 2008]已经展示了一组简单的规则,可以将G的顶点数减少到2^k,并且没有已知的算法在这个减少的实例上具有比蛮力搜索更好的运行时间界限。在本文中,我们证明了Gramm等人的方法本质上是最优的:我们提出了一个多项式时间算法,该算法将具有n个变量和m个子句的任意3-CNF-SAT公式简化为等价的ECC实例(G,k),其中k = O(log n),|V(G)|时间复杂度为O(n + m)。因此,对于ECC问题没有2^{2^{o(k)}}聚(n)时间算法,除非指数时间假设失败。据我们所知,这些是一个自然的,固定参数的易处理的问题,并证明了一个双指数依赖的参数是必要的第一个结果。
2012-09-26 cs.CC cs.DM cs.DS
Nowhere dense graph classes, stability, and the independence property
一类图是无处稠密的,如果对每一个整数r有一个有限的上界的大小团出现(拓扑)r-子式。我们观察到,这种驯服的概念,从算法图论基本上是早期的超平坦性的稳定性理论的概念。对于子图闭类的图,我们证明了等价于稳定性和不具有独立性。
2010-11-17 cs.DM cs.LO math.LO
Mining Large Quasi-cliques with Quality Guarantees from Vertex Neighborhoods
University of Virginia(弗吉尼亚大学)
挖掘稠密子图是一系列图挖掘任务中的重要基础。在这项工作中,我们正式建立了两个经常性的特点,即重尾度分布和大的聚类系数,现实世界的图,意味着存在相当大的顶点邻域具有高的边缘密度。这一观察结果提出了一种非常简单的方法来提取大的准团:简单地扫描顶点邻域,计算每个顶点的聚类系数,并输出最好的这样的子图。这种方法的实现需要对图中的三角形进行计数,这是图挖掘中一个研究得很好的问题。当在许多真实世界的图中进行经验测试时,这种方法揭示了一个惊喜:顶点邻域包括非平凡大小的最大集团,并且最佳邻域的密度通常与用于最大化子图密度的专用算法产生的子图相媲美。对于小的聚类系数的图,我们证明了小的顶点邻域可以细化使用本地搜索的方法来“成长”更大的集团和近集团。我们的研究结果表明,相反的最坏情况下的理论结果,挖掘集团和准集团的非平凡的大小从现实世界的图形往往不是一个困难的问题,并提供了动力,进一步的工作,面向更好地解释这些经验的成功。
2020-08-18 cs.DM cs.LG cs.SI
Parameterized Algorithms for Modular-Width
已知一些用树宽FPT参数化的自然图问题,当用树宽FPT参数化时,就变成了W-困难问题。因此,希望找到一个不同的结构图参数,这是尽可能普遍的,覆盖密集的图形,但不会招致这样一个沉重的算法惩罚。本文的主要贡献是考虑一个参数称为模宽,使用著名的概念定义的模块分解。使用ILP和动态规划的组合,我们设法设计FPT算法的着色和分割成路径(因此,汉密尔顿路径和汉密尔顿循环),这是W-困难的crown宽度和最近引入的限制,灌木深度。因此,我们认为,模宽度占据了一个甜蜜点作为一个图形参数,推广了几个简单的概念密集图,但仍然回避了“价格的一般性”支付的candle-width。
2013-08-14 cs.CC cs.DM cs.DS
Grounded L-graphs are polynomially $χ$-bounded
接地L-图是“L”形的集合的交图,其最高点属于公共水平线。本文证明了团数为$ω$的每一个接地L-图的色数至多为$17ω^4$。这改进了McGuinness的双指数界,推广了最近的结果,即圆图类是多项式$χ$ -有界的。我们还调查了接地几何交图的$χ$有界性问题,并给出了一个高层次的概述最近的技术,以获得多项式的界限。
2021-08-12 cs.CG cs.DM math.CO