PACE 求解器说明：Bute-Plus：一种用于树深的自底向上精确求解器
数据结构与算法
2020-12-18 v2 离散数学
摘要
本说明介绍了 Bute-Plus，一种用于树深问题的精确求解器。该求解器的核心是一个正实例驱动的动态规划，以自底向上的方式构造最小深度的消去树。三个特性大幅改善了算法的运行时间。其一是专用的字典树数据结构。其二是支配规则。其三是启发式预处理步骤，可快速为许多实例找到最优深度的树深分解。
引用
@article{arxiv.2006.09912,
title = {PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth},
author = {James Trimble},
journal= {arXiv preprint arXiv:2006.09912},
year = {2020}
}
备注
4 pages, 1 appendix pages, 0 figures. A version of this tool description paper without the appendix is published in the proceedings of IPEC 2020: https://drops.dagstuhl.de/opus/volltexte/2020/13337/pdf/LIPIcs-IPEC-2020-34.pdf . Changes: this version expands the paper from a preliminary version