最大边可染色子图的参数化复杂度
摘要：参数化复杂性下具有最大边可彩子图的问题的研究：使用整数线性规划和归约到彩虹匹配得到FPT算法, 以及使用颜色编码、分割和着色的确定性算法。参数为G的顶点覆盖数和l。对于参数p+k，其中k为解决方案大小、l、G的顶点覆盖数和l-{mm}(G)，我们证明（问题的）决策版本存在一个有mathcal{O}(kcdotp)个顶点的核。此外，我们证明，除非NP⊆CONPpoly，否则不存在大小为mathcal{O}(k^{1-epsilon}cdotf(p))的核，其中epsilon>0，f是可计算函数。
作者：Akanksha Agrawal, Madhumita Kundu, Abhishek Sahu, Saket Saurabh, Prafullkumar Tale
论文ID：2008.07953
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2020-08-19