首页/论文/2004.08959

arXiv 2004.089592020-04-19cs.DMcs.DS

精确树深问题的一种算法

An Algorithm for the Exact Treedepth Problem

James Trimble

备注：: 14 pages, 6 figures, 2 tables. This is an extended version of a paper to appear in the proceedings of SEA 2020. The arXiv version is the conference version plus Appendix A (a correctness proof)
DOI：: 10.4230/LIPIcs.SEA.2020.19

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们提出了一种新的算法的最小深度消除树问题，这是等价的最佳树深度分解问题。我们的算法利用两个廉价计算的下界函数来修剪搜索树，以及破坏和支配规则。我们提出了一个实证研究表明，该算法优于目前国家的最先进的求解器（这是基于SAT编码）的数量级的范围内的图形类。

英文摘要：

We present a novel algorithm for the minimum-depth elimination tree problem, which is equivalent to the optimal treedepth decomposition problem. Our algorithm makes use of two cheaply-computed lower bound functions to prune the search tree, along with symmetry-breaking and domination rules. We present an empirical study showing that the algorithm outperforms the current state-of-the-art solver (which is based on a SAT encoding) by orders of magnitude on a range of graph classes.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

PACE求解器描述：Bute-Plus：一个自下而上的树深度精确求解器

PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth

本文介绍了Bute-Plus，一个精确的树深问题求解器。求解器的核心是一个正例驱动的动态程序，它以自自底向上的【形】的方式构造一个最小深度的消除树。这三个特性大大提高了算法的运行时间。第一种是专门的trie数据结构。第二个是支配规则。第三个是启发式的预解步骤，可以快速找到一个树深度分解的最佳深度为许多实例。

2020-12-16cs.DMcs.DS

一种快速的树深参数化算法

A Faster Parameterized Algorithm for Treedepth

宽度度量\emph{treedepth}，也称为顶点排序、中心着色和消除树高度，是一个很好的概念，最近又引起了人们的兴趣。我们提出了一个算法-给定一个$n$ -顶点图作为输入，一个宽度为$w$的图的树分解，和一个整数$t$ -决定树深度，即图的树深度是否至多为$t$，在时间上为$2^{O(wt)} \cdot n$。如果需要，可以在相同的运行时间内构造树深度的见证结构。结合以前的结果，我们提供了一个简单的算法和一个快速的算法，决定树深度的时间$2^{2^{O(t)}} \cdot n$和$2^{O(t^2)} \cdot n$，分别不需要一个树分解作为其输入的一部分。前者回答了Ossona de Mendez和Nesetril提出的一个悬而未决的问题，即决定树深度是否允许一个线性运行时间的算法（对于每个固定的$t$），不依赖于Courcelle定理或其他重型机器。对于弦图，我们可以证明$2^{O(t \log t)}\cdot n$的运行时间相同的算法。

2014-08-20cs.DMcs.DS

树深分解中最小分离子的大小

On the Size of Minimal Separators for Treedepth Decomposition

树深度分解有几个实际应用，可以用来加速许多参数化算法。有几项工作旨在设计一个可扩展的算法来计算精确的树深度分解。这些作品包括基于一组所有最小分隔符的作品。在这些算法中，虽然枚举了许多最小分隔符，但用于最优解的最小分隔符根据经验非常小。因此，分析最小分隔符大小的上界是一个重要的问题，因为它有可能显着减少计算时间。如果$td(G) = |S| + td(G \backslash S)$，则最小分隔符$S$称为最优顶部分隔符，其中$td(G)$表示$G$的树深度。然后，我们有两个理论结果的最佳顶部分离器的大小。(1)对于任何$G$，存在最佳顶部分隔符$S$，使得$|S| \le 2tw(G)$，其中$tw(G)$是$G$的树宽。(2)对于任何$c < 2$，存在图$G$，使得$G$的任何最优顶部分隔符$S$具有$|S| > c \cdot tw(G)$，即，第一个结果给出了最佳顶部分隔器的尺寸的严格界限。

2020-12-14cs.DMcs.DS

小树深MILP的参数化算法

Parameterized Algorithms for MILPs with Small Treedepth

求解（混合）整数线性规划（简称（M）ILP）是一项基本的优化任务。虽然在一般情况下很难，近年来已经带来了巨大的进步，解决结构限制，（非混合）ILP：$n$倍，树倍，2-阶段随机和多阶段随机程序承认有效的算法，所有这些特殊情况下都被归入一类的ILP的小树深。在本文中，我们将这条线的工作混合的情况下，通过显示一个算法求解MILP的时间$f(a,d) \textrm{poly}(n)$，其中$a$是最大的系数的约束矩阵，$d$是其树深度，和$n$是变量的数量。这是通过证明有界树深度（非整数）线性规划的顶点的向量上的界来实现的。我们这样做，通过仔细分析可逆子矩阵的约束矩阵的逆。这使得我们能够将混合规划扩展到整数网格，并将已知的方法应用于整数规划。我们跟踪我们的方法的极限边界，表明自然相关类的线性规划有无界分形顶点。最后，我们表明，限制结构的约束矩阵中的积分变量不产生易处理的特殊情况。

2019-12-07cs.DMcs.DSmath.CO

树深度的排除子式近似的改进界

Improved bounds for the excluded-minor approximation of treedepth

树深是一个比树宽和路宽更严格的图宽参数，在稀疏图类理论中起着重要作用。我们证明了存在一个常数$C$使得对于每个正整数$a,b$和一个图$G$，如果$G$的树深至少为$Cab$，则$G$的树宽至少为$a$或$G$包含一个次立方（即，树深度至少为$b$的树作为子图。作为一个直接推论，我们得到每个树深为$Ω(k^3)$的图要么树宽至少为$k$，要么包含一个深度为$k$的满二叉树的剖分，要么包含一条长度为$2^k$的路.这提高了Kawarabayashi和Rossman的$Ω(k^5 \log^2 k)$的界限[SODA 2018]。我们还展示了我们的技术的树深度的近似算法的应用：给定一个图$G$的树深度$k$和树宽度$t$，可以在多项式时间计算的树深度分解$G$的宽度$\mathcal{O}(kt \log^{3/2} t)$。这改进了源于已知结果之间的折衷的$\mathcal{O}(kt^2 \log t)$的界限。在我们的结果中的主要技术成分是一个证明，树深度$d$的每棵树包含一个子立方体树的树深度至少$d \cdot \log_3 ((1+\sqrt{5})/2)$。

2019-09-18cs.DMcs.DSmath.CO

H-平面性与参数化扩展：当调节器全局作用时

H-Planarity and Parametric Extensions: when Modulators Act Globally

本文提出基于调节器的图分解，定义H-平面性及其参数化扩展，证明在遗传类下多项式可解，并导出FPT算法及多种近似和计数应用。

2025-10-16cs.DMcs.DS

更多相关论文收起更多论文

关于包含极小分隔符枚举的难度

On the hardness of inclusion-wise minimal separators enumeration

针对包含极小分隔符枚举的复杂度悬而未决的问题，本文从输出敏感角度证明除非P=NP，否则不存在该问题的输出多项式时间算法，解释了相关实用算法效率受限的理论根源。

2023-12-13cs.DMmath.CO

大型图中最小权点覆盖问题的精确算法

An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs

提出了一种新的分枝定界算法来精确求解大型图的最小权顶点覆盖问题。最初的贡献是几个新的图约简规则，允许减少一个图G和所需的时间，找到一个最小的重量顶点覆盖G。在实际应用中的大型图上的实验结果表明，该约简规则是有效的，所得到的BMWVC算法优于相关的精确算法和启发式MWVC算法。

2019-03-14cs.DMcs.DS

支配问题的精确算法与启发式算法

Exact and Heuristic Algorithms for the Domination Problem

本文针对支配问题提出精确隐式枚举算法与启发式算法，实验表明精确算法在中稠密度实例上优于ILP和现有精确算法，启发式算法在大型图上更快且多数实例达最优，平均近似误差1.18。

2023-06-16cs.DMcs.DS

Dijkstra meets Steiner：一个快速精确目标导向Steiner树算法

Dijkstra meets Steiner: a fast exact goal-oriented Steiner tree algorithm

我们提出了一个新的精确算法的Steiner树问题的边加权图。该算法改进了Dreyfus和Wagner提出的经典动态规划方法。我们实现了一个显着更好的实际性能，通过修剪和未来的成本，一个众所周知的概念，以加快最短路径计算的推广。我们的算法匹配最好的已知的最坏情况下的运行时间，并具有快速，往往是优越的，实际的性能：在一些大型的情况下，从VLSI设计，以前的最佳运行时间的数量级的改善。我们也能够解决更大的$d$维直线施泰纳树问题的$d \in \{3, 4, 5\}$，其哈南网格包含高达数百万的边缘。

2015-09-08cs.DMcs.DS

代表集的有效计算及其在参数化精确算法中的应用

Efficient Computation of Representative Sets with Applications in Parameterized and Exact Algorithms

我们给出了两个算法计算代表家庭的线性和均匀拟阵，并演示了如何使用代表家庭设计单指数参数化和精确的指数时间算法。我们的方法的应用程序包括-最长有向循环-最小等价图（MEG）-有界树宽-k-路径，k-树，更一般地说，k-子图同构，其中的k-顶点模式图是恒定的树宽的图上的算法。

2016-02-22cs.DMcs.DSmath.CO

图自同构群计算的新启发式精确算法VSEP

Vsep-New Heuristic and Exact Algorithms for Graph Automorphism Group Computation

给出了确定图自同构群的生成元、轨道和阶的一个精确算法和两个启发式算法。这些算法的基本工具是众所周知的个性化和细化过程。算法中使用了搜索树-树的每个节点都是一个分区。所有非等价离散分区的选定顶点的衍生物存储在一个编码的形式。在精确算法中使用了一种新的策略：如果在执行过程中，一些搜索或中间变量获得了错误的值，那么算法将从一个新的起点继续，丢失到目前为止确定的一些结果。这些算法已在一个已知的基准图上进行了测试，并显示某些图族的运行时间较低。算法的启发式版本基于确定初始分区的选中单元中每个顶点的离散分区导数的数量，并比较它们的自同构-它们的搜索树被减少。启发式算法几乎是精确的，并且比精确算法快许多倍。实验测试表明，精确算法的最坏情况下的运行时间是指数，而启发式算法是多项式。使用几个单元格选择器。其中一些是新的。我们还使用了一个单元选择器来选择最佳的单元选择器的操作图。建议的启发式算法使用两个主要的启发式程序，产生两个不同的森林搜索树。

2016-07-26cs.DMcs.DSmath.CO

无回溯搜索的精确相变及其对贪心算法性能的影响

Exact phase transition of backtrack-free search with implications on the power of greedy algorithms

Peking University（北京大学）；Beihang University（北京航空航天大学）

回溯是求解约束满足问题的一种基本策略。一个可满足的CSP实例是无回溯的，如果在回溯搜索过程中可以找到一个解决方案而不会遇到任何死胡同，这意味着该实例很容易解决。我们证明了在一些随机CSP中，即在RB模型和RD模型中，无回溯搜索的精确相变。这是第一次可以在一些随机CSP上识别无回溯搜索的精确相变。我们的技术成果也有有趣的影响的权力，贪心算法，随机超图的宽度和随机CSP的精确可满足性阈值。

2008-11-19cs.AIcs.DMcs.DS

某些以宽度为参数的连通性问题的快速精确算法

Fast exact algorithms for some connectivity problems parametrized by clique-width

给定一个图$G$的candle-width $k$ -表达式，我们提供了$2^{O(k)}\cdot n$时间算法，用于局部可检查属性上的连通性约束，例如节点加权Steiner树，连通支配集或连通顶点覆盖。我们还提出了一个反馈顶点集的$2^{O(k)}\cdot n$时间算法。对于所有考虑的情况，最佳运行时间为$2^{O(k\cdot \log(k))}\cdot n^{O(1)}$或更差。

2018-08-18cs.CCcs.DMcs.DS

均匀着色问题的一个基于DSatur的精确算法

An exact DSatur-based algorithm for the Equitable Coloring Problem

本文描述了一种精确算法的公平着色问题，著名的DSatur算法的基础上的经典着色问题与新的修剪规则，特别是来自公平约束。计算经验表明，我们的算法是有竞争力的文献中已知的。

2014-05-27cs.DM

图cactus的边删除的精确算法

Exact Algorithms for Edge Deletion to Cactus

Chennai Mathematical Institute（金奈数学研究所）

研究图cactus的边删除问题及生成树到cactus的转换，提出改进的精确算法和多项式时间算法。

2026-03-29cs.CCcs.DMcs.DS

最大平衡Biclique问题的有效精确算法

Towards Effective Exact Algorithms for the Maximum Balanced Biclique Problem

最大平衡Biclique问题（MBBP）是一个有着广泛应用的重要模型。然而，这个问题是NP难的，因此在计算上具有挑战性。我们提出了新的想法，设计有效的精确算法MBBP。首先，我们引入了一个上界传播过程来预先计算涉及每个顶点的上界。然后，我们扩展了现有的分支定界算法集成预先计算的上界。我们还提出了一组新的有效的不等式诱导的上限收紧现有的MBBP的数学公式。最后，我们研究了另一个精确的算法方案，它枚举了一个子集的平衡bicliques基于我们的上界。实验表明，与现有的方法相比，所提出的算法和公式是更有效地解决一组随机图和大型现实生活中的例子。

2017-05-20cs.DM

分配最大团的精确算法：最大化成本

Distributing an Exact Algorithm for Maximum Clique: maximising the costup

我们采取现有的实现算法的最大集团问题，并修改它，使我们可以将其分布在一个特设集群的机器。我们的目标是以最小的开发工作量（即最大的成本）实现性能的显著加速。我们提出了一个简单的修改，最先进的精确算法的最大集团，使我们能够将其分布在许多机器。对大型硬基准的实证研究表明，一个数量级的加速对于25台或更多的机器来说是常规的。

2012-09-20cs.DCcs.DMcs.DS

超图随机块模型的精确恢复：一种谱算法

Exact Recovery in the Hypergraph Stochastic Block Model: a Spectral Algorithm

University of Manitoba（曼尼托巴大学）；University of California, San Diego（加利福尼亚大学圣迭戈分校）

研究了具有相同大小的$k$块的超图随机块模型的精确恢复问题。更准确地说，我们考虑一个随机$d$ -均匀超图$H$与$n$顶点划分成$k$簇的大小$s = n / k$。如果$e$包含在单个簇内，则以概率$p$独立地添加超边$e$，否则以概率$q$添加超边$q$，其中$0 \leq q < p \leq 1$。我们提出了一种谱算法，它恢复集群的高概率，在$n, k, p, q$，和$d$的温和条件。该算法基于$H$的邻接矩阵，$H$是一个对称的$n \times n$矩阵，其第$(u, v)$元是包含$u$和$v$的超边的个数.据我们所知，我们的算法是第一个保证准确的恢复时，集群的数量$k=Θ(\sqrt{n})$。

2020-02-02cs.DMcs.LGmath.CO