归约规则与ILP足矣:极小有向反馈顶点集
数据结构与算法
2022-08-03 v1
摘要
本笔记描述了作为PACE 2022竞赛一部分的极小有向反馈顶点集精确求解器的开发。该求解器主要通过积极尝试将DFVS问题归约为极小覆盖问题,并应用改编自顶点覆盖文献的归约规则来驱动。所得问题使用SCIP作为整数线性规划(ILP)求解。该求解器在竞赛中表现第二好,尽管提交时的一个错误使其被取消资格。作为附加说明,我们描述了一种推广Desk归约规则的新顶点覆盖归约。
引用
@article{arxiv.2208.01119,
title = {Reduction Rules and ILP Are All You Need: Minimal Directed Feedback Vertex Set},
author = {Alex Meiburg},
journal= {arXiv preprint arXiv:2208.01119},
year = {2022}
}
备注
11 pages