论文标题
速度求解器描述：Bute-plus：toredeedepth的自下而上的确切求解器
PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth
论文作者
论文摘要
本说明介绍了bute-plus，这是解决问题问题的确切解决者。求解器的核心是一个积极驱动的动态程序，该程序以自下而上的方式构建了最小深度的消除树。三个功能大大改善了该算法的运行时间。第一个是专门的TRIE数据结构。第二个是统治规则。第三个是启发式预言步骤可以迅速找到在许多情况下的最佳深度分解。
This note introduces Bute-Plus, an exact solver for the treedepth problem. The core of the solver is a positive-instance driven dynamic program that constructs an elimination tree of minimum depth in a bottom-up fashion. Three features greatly improve the algorithm's run time. The first of these is a specialised trie data structure. The second is a domination rule. The third is a heuristic presolve step can quickly find a treedepth decomposition of optimal depth for many instances.
