We study a family of generalizations of Edge Dominating Set on directed graphs called Directed $(p,q)$-Edge Dominating Set. In this problem an arc $(u,v)$ is said to dominate itself, as well as all arcs which are at distance at most $q$ from $v$, or at distance at most $p$ to $u$. First, we give significantly improved FPT algorithms for the two most important cases of the problem, $(0,1)$-dEDS and $(1,1)$-dEDS (that correspond to versions of Dominating Set on line graphs), as well as polynomial kernels. We also improve the best-known approximation for these cases from logarithmic to constant. In addition, we show that $(p,q)$-dEDS is FPT parameterized by $p+q+tw$, but W-hard parameterized by $tw$ (even if the size of the optimal is added as a second parameter), where $tw$ is the treewidth of the underlying graph of the input. We then go on to focus on the complexity of the problem on tournaments. Here, we provide a complete classification for every possible fixed value of $p,q$, which shows that the problem exhibits a surprising behavior, including cases which are in P; cases which are solvable in quasi-polynomial time but not in P; and a single case $(p=q=1)$ which is NP-hard (under randomized reductions) and cannot be solved in sub-exponential time, under standard assumptions.
翻译:我们研究了一类有向图上边支配集的推广问题,称为有向$(p,q)$-边支配集。在该问题中,一条弧$(u,v)$被视为支配自身,以及所有满足与$v$的距离至多为$q$、或与$u$的距离至多为$p$的弧。首先,我们针对该问题的两个最重要情形$(0,1)$-dEDS和$(1,1)$-dEDS(分别对应于线图上支配集的变体),给出了显著改进的FPT算法以及多项式核。我们还将这些情形的最佳近似比从对数级改进为常数级。此外,我们证明$(p,q)$-dEDS关于参数$p+q+tw$是FPT的,但关于$tw$是W-难的(即使将最优解大小作为第二参数),其中$tw$是输入底层图的树宽。随后,我们重点研究了该问题在竞赛图上的复杂度。在此,我们给出了对每个可能的固定$p,q$值的完整分类,结果表明该问题表现出令人惊讶的行为,包括属于P类的情形;可在拟多项式时间内求解但不属于P类的情形;以及一个单独情形$(p=q=1)$,该情形(在随机归约下)是NP-难的,且在标准假设下无法在次指数时间内求解。