精细化的参数化枚举核概念及其在匹配割枚举中的应用
数据结构与算法
2021-01-12 v1 离散数学
摘要
Creignou等人[Theory Comput. Syst. 2017]为参数化枚举问题所定义的枚举核由一个算法组成，该算法将每个实例转换为规模受参数限制的另一个实例，以及一个解提升算法，可从核的解集合中高效枚举所有解。我们提出考虑两种新版本的枚举核，要求原实例的解可从核解出发以多项式时间或多项式延迟枚举出来。利用以输入图的顶点覆盖数或圈数为结构参数参数化的NP难匹配割(Matching Cut)问题，我们表明新的枚举核为枚举问题提供了一种有用的数据归约概念，能够紧凑地表示可行解的集合。
引用
@article{arxiv.2101.03800,
title = {Refined Notions of Parameterized Enumeration Kernels with Applications to Matching Cut Enumeration},
author = {Petr A. Golovach and Christian Komusiewicz and Dieter Kratsch and Van Bang Le},
journal= {arXiv preprint arXiv:2101.03800},
year = {2021}
}