We study the parameterized and kernelization complexity of the s-Club Cluster Edge Deletion problem, a distance-bounded generalization of Cluster Edge Deletion. Given a graph G = (V, E) and integers k and s, the goal is to delete at most k edges so that every connected component in the resulting graph has diameter at most s. This captures a broad class of distance-constrained graph modification problems that lie between clustering and connectivity control. We prove that for s = 2 the problem is NP-hard already on split graphs, closing the gap between the polynomially solvable cases s = 1 and s = 3. For this setting we give a cubic vertex kernel parameterized by k, the first polynomial kernel for 2-Club Cluster Edge Deletion on split graphs. On the structural side, we show that the problem is W[1]-hard when parameterized by pathwidth (and hence treewidth), implying that the diameter bound s is crucial for fixed-parameter tractability. In contrast, the problem is FPT when parameterized by treedepth, neighborhood diversity, or the cluster vertex deletion number. Finally, we design an FPT bicriteria approximation scheme that, for graphs excluding long induced cycles, runs in time f(k, 1/epsilon) * n^{O(1)} and outputs a solution of size at most k whose components have diameter at most (1 + epsilon) * s. We further present an exact FPT algorithm for interval graphs parameterized by k and a polynomial-time algorithm for unit interval graphs. We also introduce the directed variant s-Club Cluster Arc Deletion and show it is W[1]-hard when parameterized by k, even on DAGs.
翻译:我们研究了s-俱乐部聚类边删除问题的参数化与核化复杂性,该问题是聚类边删除问题的距离约束推广。给定图G = (V, E)及整数k和s,目标是通过删除至多k条边,使得结果图中每个连通分量的直径不超过s。这捕捉了介于聚类与连通性控制之间的一类广泛的距离约束图修改问题。我们证明当s=2时,该问题在分裂图上已是NP难问题,从而填补了多项式可解情况s=1与s=3之间的空白。针对此设定,我们给出了以k为参数的立方顶点核,这是分裂图上2-俱乐部聚类边删除问题的首个多项式核。在结构复杂性方面,我们证明该问题在以路径宽度(进而树宽度)为参数时是W[1]-难的,这意味着直径约束s对于固定参数可解性至关重要。相比之下,该问题在以树深、邻域多样性或聚类顶点删除数为参数时是FPT的。最后,我们设计了一种FPT双准则近似方案:对于排除长诱导环的图,该方案在f(k, 1/ε) * n^{O(1)}时间内运行,并输出规模至多为k的解,其分量直径不超过(1 + ε) * s。我们进一步提出了以k为参数的区间图精确FPT算法,以及单位区间图的多项式时间算法。我们还引入了有向变体s-俱乐部聚类弧删除问题,并证明其在以k为参数时是W[1]-难的,即使在DAG上也是如此。