Graph-modification problems, where we modify a graph by adding or deleting vertices or edges or contracting edges to obtain a graph in a {\it simpler} class, is a well-studied optimization problem in all algorithmic paradigms including classical, approximation and parameterized complexity. Specifically, graph-deletion problems, where one needs to delete a small number of vertices to make the resulting graph to belong to a given non-trivial hereditary graph class, captures several well-studied problems including {\sc Vertex Cover}, {\sc Feedback Vertex Set}, {\sc Odd Cycle Transveral}, {\sc Cluster Vertex Deletion}, and {\sc Perfect Deletion}. Investigation into these problems in parameterized complexity has given rise to powerful tools and techniques. We initiate a study of a natural variation of the problem of deletion to {\it scattered graph classes}. We want to delete at most $k$ vertices so that in the resulting graph, each connected component belongs to one of a constant number of graph classes. As our main result, we show that this problem is fixed-parameter tractable (FPT) when the deletion problem corresponding to each of the finite number of graph classes is known to be FPT and the properties that a graph belongs to any of the classes is expressible in Counting Monodic Second Order (CMSO) logic. While this is shown using some black box theorems in parameterized complexity, we give a faster FPT algorithm when each of the graph classes has a finite forbidden set.
翻译:图形修改问题, 当我们通过添加或删除脊椎或边缘或缩小边缘来修改图表, 以获取 ~ 更简单的 类中的图表时, 图表修改问题是所有算法范式( 包括古典、 近似和参数化复杂度) 中一个研究周密的优化问题。 具体地说, 图形删除问题, 需要删除少量的脊椎, 使由此产生的图表属于给定的非三级世遗传图类, 获取一些研究周密的问题, 包括 ~ sc Vertex 封面, ~ sc 反馈 Vertex Set}, ~ sc Od Crod Croad Transveral}, ~ sc Croad Vertex Deletion}, 和 ~ crosfect Deletion deliction 。 在参数化精密的复杂度复杂度中, 我们开始研究删除到 ~ 分散的图表类的自然变化 。 我们想要删除最多 $k, 因此在生成的图表中, 每个链接中的每个相联部分都属于一个直径直径直径级, 当我们所知道的直径级的直径直径直级的直径直等的直级 。