Recent empirical evaluations of exact algorithms for Feedback Vertex Set have demonstrated the efficiency of a highest-degree branching algorithm with a degree-based pruning heuristic. In this paper, we prove that this empirically fast algorithm runs in O(3.460^k n) time, where k is the solution size. This improves the previous best O(3.619^k n)-time deterministic algorithm obtained by Kociumaka and Pilipczuk (Inf. Process. Lett., 2014).
@InProceedings{iwata_et_al:LIPIcs.IPEC.2019.22, author = {Iwata, Yoichi and Kobayashi, Yusuke}, title = {{Improved Analysis of Highest-Degree Branching for Feedback Vertex Set}}, booktitle = {14th International Symposium on Parameterized and Exact Computation (IPEC 2019)}, pages = {22:1--22:11}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-129-0}, ISSN = {1868-8969}, year = {2019}, volume = {148}, editor = {Jansen, Bart M. P. and Telle, Jan Arne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2019.22}, URN = {urn:nbn:de:0030-drops-114833}, doi = {10.4230/LIPIcs.IPEC.2019.22}, annote = {Keywords: Feedback Vertex Set, Branch and bound, Measure and conquer} }
Feedback for Dagstuhl Publishing