首页> 外文会议>International Colloquium on Automata, Languages and Programming >Uniform Kernelization Complexity of Hitting Forbidden Minors
【24h】

Uniform Kernelization Complexity of Hitting Forbidden Minors

机译:统一的禁止未成年人封闭复杂性

获取原文

摘要

The F-MINOR-FREE DELETION problem asks, for a fixed set F and an input consisting of a graph G and integer k, whether k vertices can be removed from G such that the resulting graph does not contain any member of F as a minor. Fomin et al. (FOCS 2012) showed that the special case when F contains at least one planar graph has a kernel of size f(F)·k~(g(F)) for some functions f and g. They left open whether this PLANAR F-MINOR-FREE DELETION problem has kernels whose size is uniformly polynomial, of the form f(F)·k~c for some universal constant c. We prove that some PLANAR F-MINOR-FREE DELETION problems do not have uniformly polynomial kernels (unless NP {is contained in} coNP/poly), not even when parameterized by the vertex cover number. On the positive side, we consider the problem of determining whether k vertices can be removed to obtain a graph of treedepth at most η. We prove that this problem admits uniformly polynomial kernels with O(k~6) vertices for every fixed η.
机译:F-emple-Free的删除问题要求,对于固定组F和由图G和整数k组成的输入,是否可以从G中移除k顶点,使得所得到的图表不包含F的任何成员为次要。 Fomin等人。 (FOCS 2012)显示,当F包含至少一个平面图时的特殊情况具有用于某些功能f和g的尺寸F(f)·k〜(g(f))的粒子。他们留下了这个平面F-次次次缺失问题的核心,其尺寸是均匀多项式的核,F(f)·k〜c的形式,对于某些通用常数c。我们证明了一些平面F-emple-Free的删除问题没有统一多项式内核(除非NP {CONP / POLY中包含),除非在顶点盖数参数化时,也不会出现。在正侧,我们考虑确定是否可以去除k顶点以获得最多η的图表的问题。我们证明,此问题承认每个固定η的O(k〜6)顶点的均匀多项式内核。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号