On some simplicial elimination schemes for chordal graphs
我们在这里提出一些结果弦图的特定消除计划，即我们表明，对于任何弦图，我们可以在线性时间内构造一个单纯消除计划开始与挂起的最大集团通过最小分隔符极大（分别）。在所有最小分隔符中包含最小值。
2009-02-17 cs.DS
Finding non-bisimplicial and triad-free minimal separators
Princeton University（普林斯顿大学）
该研究针对图论中极小分离集相关问题，解决了k=2情形下双单纯极小分离集判定及无三元组u-v分离集寻找的多项式时间算法问题，填补了复杂度缺口。
2026-10-15 cs.DS math.CO
On the Number of Minimal Separators in Graphs
我们考虑一个n阶图最多能有多少个最小分隔符。给出了这个数在$O( ((1+\sqrt{5})/2)^n n )$中的一个新的证明。我们证明了这个数字是在$ω( 1.4521^n )$，以前的最佳下界$Ω(3^{n/3}) \subseteq ω( 1.4422^n )$的改进。这也给出了一个改进的下界图中的潜在的最大团的数量。我们要强调的是，我们的证明是简短、简单和基本的。
2015-04-02 cs.DM cs.DS math.CO
On the Complexity of Hyperpath and Minimal Separator Enumeration in Directed Hypergraphs
本文研究有向超图中$s$-$t$超路径与极小分隔符的枚举复杂度，证明导出超路径与极小分隔符枚举除非P=NP否则无输出多项式时间算法，但B-hypergraph的超路径枚举可通过回溯法在多项式延迟内求解。
2025-07-10 cs.CC cs.DS
Dominated Minimal Separators are Tame (Nearly All Others are Feral)
一个图类${\cal F}$称为{ \em tame}，如果存在一个常数$k$，使得${\cal F}$中的每个图在$n$顶点上至多包含$O(n^k)$最小分隔符，如果${\cal F}$中的每个图在$n$顶点上至多包含$O(n^{k \log n})$最小分隔符，和{ \em feral}，如果存在一个常数$c > 1$，使得对于任意大的$n$，${\cal F}$包含至少具有$c^n$最小分隔符的$n$ -顶点图。图类的分类驯服或野生有许多算法的后果，最近得到了相当大的关注。在寻求这种分类的过程中，一个关键的图论对象是$k$ -{ \em creature}的概念。在最近的手稿[Abrishami等人，Arxiv 2020]猜想，对于某个固定常数$k$，排除$k$ -生物的每个遗传类${\cal F}$是驯服的。我们给出了这个猜想的一个反例，并证明了一个较弱的结果：遗传类${\cal F}$是强拟驯服的，如果它对某个固定的常数$k$不包含$k$ -生物，并且每个极小分离子可以被另一个固定的常数$k'$顶点数支配.开发的工具还导致了一些独立的利益的额外结果。{ \bf（i）我们得到了由有限个禁止导出子图所定义的所有遗传图类为强拟驯服或野性的完全分类。这概括了Milani和Piva [WG'19]。{ \bf（ii）}我们证明了遗传类，排除$k$ -生物，并额外排除所有周期的长度至…
2020-07-17 cs.DM cs.DS math.CO
AMP Chain Graphs: Minimal Separators and Structure Learning Algorithms
University of South Carolina（南卡罗来纳大学）
我们解决的问题，找到一个最小的分离器中的Anderson-Madigan-Perlman链图（AMP CG），即，找到一组Z的节点，分离一个给定的不相邻的节点对，使没有真子集Z分离该对。我们分析了这个问题的几个版本，并为每个版本提供多项式时间算法。这些包括从一个有限的节点集合中找到一个最小分隔符，为两个给定的不相交集合找到一个最小分隔符，以及测试一个给定的分隔符是否是最小的。为了解决从数据中学习AMP CG结构的问题，我们证明了PC类算法（Pena，2012）是依赖于顺序的，在这个意义上，输出可以取决于变量给定的顺序。我们提出了几个修改的PC类算法，删除部分或全部的顺序依赖。我们还扩展了（Xie et al.，2006）学习AMP CG，其中包括BN作为一个特殊的情况下，在忠诚的假设。我们证明了我们的扩展使用最小分离器的结果的正确性。在我们的实验中使用标准的基准测试和综合生成的模型和数据证明了我们的基于分解的方法，称为LCD-AMP，与（修改版本）PC类算法相比，具有竞争力的性能。LCD-AMP算法通常优于PC类算法，我们对PC类算法的修改比原始PC类算法学习更类似于底层地面真值图的结构，特别是在高维设置中。特别是，我们的经验表明，这两种算法的结果是更准确和稳定的样本量是相当大的，底层的图形是稀疏的。
2020-08-04 cs.AI cs.DS cs.LG
On Some Combinatorial Problems in Cographs
由孤立顶点通过不交并和图连接操作构造的图族称为余图。这些图可以表示在一个树形表示称为解析树或cotree。本文研究了几个限制在余图上的组合问题。本文首先给出了上图中最小点分离子的一个结构刻画。此外，我们表明，列出所有的最小顶点分离器和一些受约束的顶点分离器的复杂性是多项式时间可解的上图。我们提出了多项式时间算法的连通性增强问题及其变种的cograph，保持cograph属性。最后，利用动态规划的思想，我们提出了一个通用的框架来解决经典的优化问题，如最长路径、Steiner路径和最小叶生成树问题，我们的框架给出了这三个问题的多项式时间算法。
2018-08-28 cs.DS
Spanning Tree Enumeration in 2-trees: Sequential and Parallel Perspective
对于连通图，顶点分隔符是一组顶点，移除这些顶点会创建至少两个组件。顶点分隔符$S$是最小的，如果它不包含其他分隔符作为严格子集，并且最小顶点分隔符是基数最小的最小顶点分隔符。{ \em团}是一组相互相邻的顶点。2-树是一个连通图，其中每个最大团的大小为3，每个最小顶点分离符的大小为2。图$G$的生成树是图$G$的一个连通且无圈的子图。在本文中，我们专注于两个枚举问题，无论是从顺序和并行的角度来看。特别是，我们考虑列出所有可能的生成树的2-树，并列出所有完美消除排序的弦图。就生成树的枚举而言，我们的方法本质上是递增的，为此，我们使用2-树的构造顺序，即$n$ -顶点树的枚举来自$n-1$顶点树，$n \geq 4$。此外，我们还提出了一个并行算法的生成树枚举使用$O(2^n)$处理器。据我们所知，本文首次尝试在设计一个并行算法为这个问题。最后，我们提出了一个顺序和并行算法，枚举所有完美消元序的弦图。
2014-08-18 cs.DM cs.DS
Connectivity-Preserving Important Separators: A Framework for Cut-Uncut Problems
本文提出了一种新的框架，用于解决具有连通性约束的切-未切问题，通过保持连通性的分离器，改进了节点多方式切-未切问题的固定参数算法。
2026-10-08 cs.CC 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
Some results on Vertex Separator Reconfiguration
我们提出的第一个结果的复杂性的顶点分隔符下的三个最流行的规则：令牌添加/删除，令牌跳跃，令牌滑动。我们表明，除了一些平凡的负的情况下，前两个规则是相互等价的，即使只有在一个子类的二分图，TJ是不等于其他两个，除非$\mathsf{NP} = \mathsf{PSPACE}$，我们这样做是通过显示分隔符和独立集之间的关系，在这个子类的二分图。在多项式时间算法方面，我们证明了每个类的多项式有界的最小顶点分隔符的数量允许一个有效的算法下令牌跳跃，然后把我们的注意力转向两个类，不满足这个条件：$\{3P_1, diamond\}$ -自由和串-并行图。首先，我们描述了一个新的表征，我们用它来表明，重新配置的顶点分隔符下令牌跳跃总是可能的，根据令牌滑动，它可以在多项式时间内完成;对于串并行图，我们还证明了重新配置总是可能的TJ和展示一个多项式时间算法来构建的重新配置序列。
2020-04-22 cs.CC cs.DS
Covering Small Independent Sets and Separators with Applications to Parameterized Algorithms
我们提出了两个新的组合工具的参数化算法的设计。第一种是简单的线性时间随机化算法，给定$d$ -退化图$G$和整数$k$作为输入，输出独立集$Y$，使得对于$G$中大小至多为$k$的每个独立集$X$，$X$是$Y$子集的概率至少为$\left({(d+1)k \choose k} \cdot k(d+1)\right)^{-1}$。（确定性）多项式时间图稀疏化过程，其给定图$G$、终端对的集合$T = \{\{s_1, t_1\}, \{s_2, t_2\}, \ldots, \{s_\ell, t_\ell\}\}$和整数$k$，返回$G$的导出子图$G^\star$，该导出子图保持大小至多为$k$的$G$的所有包含最小多割，并且不包含任何大小为$2^{{\cal O}(k)}$的$(k+2)$ -顶点连通集。特别地，$G^\star$排除大小为$2^{{\cal O}(k)}$的团作为拓扑子体。总之，我们的新工具产生了新的随机固定参数易处理（FPT）算法，用于一般图上的稳定$s$ - $t$分离器，稳定奇循环translation和稳定多割，以及$d$ -退化图上的稳定定向反馈顶点集，解决了Marx等人[ACM Transactions on Algorithms，2013]留下的两个问题。我们所有的算法都可以去随机化，在运行时间的成本很小。
2017-05-03 cs.DS
Algorithms parameterized by vertex cover and modular width, through potential maximal cliques
本文给出了图的最小分离子和潜在最大团数的上界。两个图形参数，即顶点覆盖（$\operatorname{vc}$）和模块宽度（$\operatorname{mw}$）。我们证明了对于任意图，最小分隔符的个数为$\mathcal{O}^*(3^{\operatorname{vc}})$和$\mathcal{O}^*(1.6181^{\operatorname{mw}})$，潜在最大团的个数为$\mathcal{O}^*(4^{\operatorname{vc}})$和$\mathcal{O}^*(1.7347^{\operatorname{mw}})$，并且这些对象可以在相同的运行时间内列出. (The $\mathcal{O}^*$表示法抑制输入大小中的多项式因子。）结合已知的结果，我们推断，一个大的家庭的问题，例如，树宽，最小填充，最长诱导路径，反馈顶点集和许多其他的，可以在时间$\mathcal{O}^*(4^{\operatorname{vc}})$或$\mathcal{O}^*(1.7347^{\operatorname{mw}})$中解决。
2014-04-15 cs.DS
A tame vs. feral dichotomy for graph classes excluding an induced minor or induced topological minor
本文证明由单个禁止诱导子式或诱导拓扑子式定义的图类要么是驯服的要么是野性的，并给出分类及多项式时间识别算法，从而扩展了多项式可解问题类。
2024-05-24 cs.DM cs.DS math.CO
Taming graphs with no large creatures and skinny ladders
我们证实了Gartland和Lokshtanov [arXiv：2007.08761]的一个猜想：如果对于一个遗传图类$\mathcal{G}$，存在一个常数$k$使得$\mathcal{G}$中没有成员包含一个$k$ -creature作为诱导子图或一个$k$ -skinny-ladder作为导出子图，那么存在一个多项式$p$使得每个$G \in \mathcal{G}$至多包含$p(|V(G)|)$最小分隔符. [10]佛明、托丁卡和维兰热[SIAM J. Comput. 2015]后者需要存在多项式时间算法的最大权重独立集，反馈顶点集和许多其他问题，当限制到一个输入图从$\mathcal{G}$。此外，如Gartland和Lokshtanov所示，我们的结果意味着一个完全的二分法的遗传图类所定义的一有限集禁止诱导子图到驯服（允许一个多项式界的最小分隔符的数目）和野生（包含无穷多个图的指数数目的最小分隔符）。
2022-05-02 cs.DM cs.DS math.CO
Structured Recursive Separator Decompositions for Planar Graphs in Linear Time
给定一个n阶平面图G和一个整数参数r<n，G的少洞r-划分是将G分解为O（n/r）个大小不超过r的区域，使得每个区域包含最多常数个不是G的面（也称为洞）的面，并且对于每个区域，这些面上的顶点总数为O（sqrt r）。我们提供了一个线性时间算法计算r-划分与几个孔。事实上，我们的算法计算了一个称为分解树的结构，它表示G的递归分解，其中包括基本上所有r值的r-划分。特别地，给定指数增长序列r =（r_1，r_2，.），我们的算法可以在线性时间内产生具有很少孔的递归R-除法。在计算最短路径、最小切割和最大流的有效算法中，已经使用了具有很少孔的R-划分。我们的线性时间算法改进了最小st-割的最新算法中使用的分解算法（Italiano，Nussbaum，Sankowski和Wulff-Nilsen，STOC 2011），消除了其算法整体运行时间的瓶颈之一（类似于平面和有界亏格图中的最小割）。
2013-05-17 cs.DM cs.DS math.CO
Finding small separators in linear time via treewidth reduction
我们提出了一种方法，以减少树的宽度，同时保持其所有的最小$s-t$分隔符到一定的固定大小$k$的图。该技术允许我们解决具有各种附加限制的$s-t$切割和多切割问题（例如，从图中移除的顶点形成独立集或导出连通图）。我们的结果有应用程序的问题，不直接定义的分离器，但已知的解决方法依赖于一些变种的分离。例如，对于每个固定数目的$k$，我们可以在几乎线性的时间内求解二分化（从$G$中删除最多$k$顶点以使其二分）的类似限制的推广。这些结果回答了参数化复杂性领域的一些悬而未决的问题。此外，我们的技术被证明是相关的$(H,C,K)$ -和$(H,C,\le K)$ -着色问题，以及，这是基数约束的经典$H$ -着色问题的变种。我们取得了进展，这些问题的参数化复杂性的分类，确定新的情况下，可以解决几乎线性时间为每个固定的基数范围。
2011-10-21 cs.DM cs.DS
Finding Induced Subgraphs via Minimal Triangulations
潜在的最大团和最小分离子是在最小三角剖分问题（包括最小填充和树宽）中引入和研究的组合对象。我们发现意想不到的应用程序，这些概念领域的中度指数算法。特别地，我们证明了给定一个n-顶点图G及其潜在极大团集Pi_G和一个整数t，在时间|Pi_G| * n^（O（t））上有可能在G中找到树宽为t的最大导出子图;对于给定的树宽为t的图F，有可能判定G是否包含同构于F的导出子图.结合一个改进的算法，在时间O（1.734601^n）内枚举所有潜在的最大团，这产生了两个问题在时间1.734601^n * n^（O（t））内可解。
2009-12-22 cs.DS
Bisimplicial separators
本文研究极小分隔子可由 $k$ 个团覆盖的图类 $\mathcal{G}_k$，证明其诱导子式封闭性、禁阻结构与结构性质，并给出相关优化和识别问题的复杂度结果及算法。
2023-12-17 cs.CC cs.DM cs.DS
On the parameterized complexity of cutting a few vertices from a graph
研究了用一个小的顶点分离器从图中分离一小部分顶点的参数化复杂性。也就是说，给定图$G$和整数$k$、$t$，任务是找到具有$|X| \le k$和$|N(X)| \le t$的顶点集$X$。我们表明，-问题是固定参数易处理（FPT）时，$t$参数化，但W[1]-硬$k$参数化时，和-终端的问题，其中$X$必须包含一个给定的顶点$s$，是W[1]-硬$k$或$t$单独参数化时，但FPT时，参数化$k + t$。我们还表明，如果我们考虑边割，而不是顶点割，终端变体是NP-难的。
2013-10-01 cs.DS
Euclidean TSP with few inner points in linear space
给定欧氏平面上的一组$n$点，使得只有$k$点严格位于整个集合的凸包内，我们希望找到访问每个点的最短路径。当$k$明显小于$n$时，即，当内部点很少时，在$O(k^{11\sqrt{k}} k^{1.5} n^{3})$时间中工作[Knauer and Spillner，WG 2006]，但也需要有序空间$k^{c\sqrt{k}}n^{2}$。最佳线性空间算法花费$O(k! k n)$时间[Deineko，Hoffmann，Okamoto，Woeginer，Oper.保留信函34（1），106-110]。我们构造了一个线性空间$O(nk^2+k^{O(\sqrt{k})})$时间算法。新的见解是扩展已知的分治方法的基础上，平面分隔符与匹配为基础的参数，以缩小每个递归调用的实例。这个论点也表明，该问题承认一个二次双内核。
2014-06-09 cs.DS
Obtaining a Bipartite Graph by Contracting Few Edges
本文从参数化复杂性的角度出发，对二部压缩问题进行了研究。在这个问题中，我们给定一个图$G$和一个整数$k$，任务是确定我们是否可以通过一个至多$k$的边收缩序列从$G$得到一个二部图。我们的主要结果是二部压缩的一个$f(k) n^{O(1)}$时间算法。尽管二分收缩和经典的奇循环transmittance（OCT）问题之间有很强的相似性，但为解决OCT而开发的方法似乎并不直接适用于二分收缩。我们的算法是基于一个新的组合的不相关的顶点技术，介绍了罗伯逊和西摩，和重要的分离器的概念。这两种技术以前都被用作参数化复杂性基本问题算法的关键组成部分。然而，据我们所知，这是第一次将这两种技术同时应用。
2011-03-07 cs.DS
Computing the atom graph of a graph and the union join graph of a hypergraph
一个图的原子图是这样的图，其顶点是该图的团最小分离子分解得到的原子，其边是该图的所有可能的原子树的边。我们提供了两个有效的算法来计算这个原子图，在$O(min(n^α\log n, nm, n(n+\overline{m}))$时间的复杂性，这是不超过在一般情况下计算的原子的复杂性。% \par我们把我们的结果推广到了$α$ -无圈超图.我们引入了联合连接图的概念，这是所有可能的连接树的联盟，我们应用我们的算法，原子图，有效地计算联合连接图。关键词：团分离器分解，原子树，原子图，团树，团图，$α$ -无圈超图.
2016-07-11 cs.DM cs.DS
Ranked Enumeration of Minimal Triangulations
图的树分解通过将顶点分组到在非循环结构中互连的袋中来促进计算，因此它们在诸如数据库上的查询评估和概率图模型上的推理等大量问题中的重要性。从不同的树分解的相对效益是衡量不同的（有时复杂）成本函数，从一个应用程序到另一个。对于宽度和填充等通用成本函数，在某些情况下可以有效地计算最优树分解，特别是当最小分隔符的数量由多项式限制时（由于Bouchitte和Todinca），我们将此假设称为“poly-MS”。为了涵盖所需的各种成本函数，最近有人提出设计算法，用于枚举许多分解候选项，供应用程序使用专门的甚至是机器学习的成本函数进行选择。我们探索的能力，产生一个大的收集“高品质”的树分解。我们提出的第一个算法排名枚举的适当的（非冗余）树分解，或等效的最小三角，在广泛的一类成本函数，基本上概括了上述通用的。在理论方面，我们建立多项式延迟的保证，如果多MS是假设的，或者如果我们有兴趣在树分解的宽度由一个常数。我们描述了一个实验评估图的各个领域（包括连接查询，贝叶斯网络，树宽基准和随机），并探讨了适用性的多MS假设和我们的算法相对于最先进的性能。
2018-10-07 cs.DS
Treewidth reduction for constrained separation and bipartization problems
我们提出了一种方法来减少树的宽度，同时保持所有的最小$s-t$分离符。这种技术被证明是非常有用的建立固定参数的易处理的约束分离和二分化问题。为了证明这种技术的力量，我们证明了一些众所周知的分离和二分化问题的固定参数的易处理性，以及各种额外的限制（例如，从图中移除的顶点形成独立集）。这些结果回答了参数化复杂性领域的一些悬而未决的问题。
2010-02-03 cs.DM cs.DS
Computing All-Pairs Shortest Paths by Leveraging Low Treewidth
Delft University of Technology（代尔夫特理工大学）；University College Cork（科克大学学院）
本文提出了两个新的有效的计算所有对最短路径的算法。该算法在具有实（可能为负）权重的有向图上操作。它们利用沿顶点排序d的有向路径一致性。这两个算法的运行时间都是O（n^2 w_d），其中w_d是由顶点排序引起的图的宽度。对于树宽恒定的图，这会产生O（n^2）时间，这是最优的。在弦图上，算法运行时间为O（nm）。此外，我们还提出了一个变体，它利用图分隔符在一般图上达到O（nw_d^2 + n^2 s_d）的运行时间，其中s_d和lt = w_d是顶点排序d所导致的最大最小分隔符的大小.我们的经验表明，在构造和现实的基准测试，在许多情况下，该算法优于Floor-Warshalls以及约翰逊算法，这代表了目前的最先进的运行时间的O（n^3）和O（nm + n^2 log n），分别。我们的算法可用于空间和时间推理，如简单的时间问题，强调其相关的规划和调度社区。
2014-01-18 cs.AI cs.DS
Treewidth computation and extremal combinatorics
对给定的图G和整数b，f >= 0，设S是G的一个顶点子集，其大小为b+1，使得由S诱导的G的子图连通，且通过去掉f个顶点，S可与G的其它顶点分离.我们证明了每一个n个顶点的图最多包含n个\binom{b+f}{b}这样的顶点子集。这个结果从极值组合似乎是非常有用的几个枚举和精确算法的设计。特别地，我们使用它来提供算法，对于给定的n-顶点图G -计算G在时间O的树宽（1.7549^n），利用指数空间和时间O（2.6151^n）和多项式空间; -在时间O（（{ \frac{2n+k+1}{3}）^{k+1} \cdot kn^6}）如果G的树宽至多为k;- 列出G在时间O（1.6181^n）的所有最小分离子和G在时间O（1.7549^n）的所有潜在最大团。这大大改善了以前的算法，这些问题。
2008-05-05 cs.DS
Efficient Fastest-Path Computations in Road Maps
Max-Planck Institute for Informatics（马克斯·普朗克信息学研究所）；New Jersey Institute of Technology（新泽西理工学院）
在实时在线交通信息和支持GPS的设备的时代，道路网络中两点之间的最快路径计算被建模为有向图，其中每个有向边由“行驶时间”值加权，正在成为许多导航相关应用的标准功能。为了支持这一点，在非常大的道路网络中非常有效地计算这些路径至关重要。最快路径可以计算为加权有向图中的最小成本路径，但是基于经典Dijkstra算法的变体的传统最小成本路径算法不能很好地扩展，因为在最坏的情况下，它们可能会遍历整个图。一个常见的改进，可以显着减少遍历图顶点的数量，是A* 算法，它需要一个很好的启发式下界的最小成本。我们引入了一个简单的，但非常有效的启发式函数的基础上分配给每个图顶点的值的数量很少。这些值基于图分隔符，并在预处理阶段有效地计算。我们目前的实验结果表明，我们的启发式算法提供的最小成本是优于其他approxistics的估计。我们的实验表明，当在A* 算法中使用时，这种启发式可以减少一个数量级的遍历顶点的数量相比，其他启发式。
2018-10-02 cs.AI cs.DS
Maximum matching width: new characterizations and a fast algorithm for dominating set
我们给出了最大匹配宽度的替代定义，例如，图$G$具有$\operatorname{mmw}(G) \leq k$当且仅当它是弦图$H$的子图，并且对于$H$的每个最大团$X$，都存在具有$A \cup B \cup C=X$和$|A|,|B|,|C| \leq k$的$A,B,C \subseteq X$，使得作为$H$的最小分隔符的$X$的任何子集都是$A, B$或$C$的子集。树宽和分支宽度通过子树的交叉点有不同的定义，其中树宽关注于节点，分支宽度关注于边。我们发现，毫米宽度结合了这两个方面，专注于节点和边缘。在此基础上，我们证明了给定一个图$G$和一个mm宽$k$的分支分解，我们可以在时间$O^*({8^k})$上求解支配集，从而无论何时$\operatorname{tw}(G) > \log_3{8} \times k \approx 1.893 k$都能击败$O^*(3^{\operatorname{tw}(G)})$。注意，$\operatorname{mmw}(G) \leq \operatorname{tw}(G)+1 \leq 3 \operatorname{mmw}(G)$和这些不等式是紧密的。如果只给定图$G$，并使用最好的算法来寻找分解，则最大匹配宽度将更好地用于求解支配集，只要$\operatorname{tw}(G) > 1.549 \times \op…
2015-07-09 cs.DM cs.DS math.CO
