arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 1707.01701cs.DM
收藏

稀疏有向图的数学性质

Algorithmic Properties of Sparse Digraphs

Stephan Kreutzer, Patrice Ossona de Mendez, Roman Rabinovich, Sebastian Siebertz

摘要:

有界扩张和无处稠密的概念在算法图论中得到了非常成功的应用。我们研究了有向图的有向有界扩张和无处冠的相应概念。我们表明,许多无向有界扩展类开发的算法工具,可以与一些照顾,也适用于他们的定向同行,从而我们突出了丰富的算法结构理论的定向有界扩展类。更具体地说,我们表明,有向斯坦纳树问题是固定参数听话的任何类的有向有界扩展参数化的数量$k$的非终端加上最大直径$s$的强连通组件在子图中引起的终端。我们的结果强有力地推广了Jones等人的一个结果,谁证明了这个问题是固定参数听话的有向图的有界退化,如果终端集是非循环的。我们进一步证明了,对于任何整数$r\geq 1$,距离- $r$支配集问题可以近似为因子$O(\log k)$,连通距离- $r$支配集问题可以近似为因子$O(k\cdot \log k)$,其中$k$表示最优解的大小.此外,如果类无处冠,我们能够计算距离- $r$控制集的多项式核。这个问题的多项式核不知道存在于任何其他现有的有向图稀疏类的措施。

英文摘要:

The notions of bounded expansion and nowhere denseness have been applied very successfully in algorithmic graph theory. We study the corresponding notions of directed bounded expansion and nowhere crownfulness on directed graphs. We show that many of the algorithmic tools that were developed for undirected bounded expansion classes can, with some care, also be applied in their directed counterparts, and thereby we highlight a rich algorithmic structure theory of directed bounded expansion classes. More specifically, we show that the directed Steiner tree problem is fixed-parameter tractable on any class of directed bounded expansion parameterized by the number $k$ of non-terminals plus the maximal diameter $s$ of a strongly connected component in the subgraph induced by the terminals. Our result strongly generalizes a result of Jones et al., who proved that the problem is fixed parameter tractable on digraphs of bounded degeneracy if the set of terminals is required to be acyclic. We furthermore prove that for every integer $r\geq 1$, the distance-$r$ dominating set problem can be approximated up to a factor $O(\log k)$ and the connected distance-$r$ dominating set problem can be approximated up to a factor $O(k\cdot \log k)$ on any class of directed bounded expansion, where $k$ denotes the size of an optimal solution. If furthermore, the class is nowhere crownful, we are able to compute a polynomial kernel for distance-$r$ dominating sets. Polynomial kernels for this problem were not known to exist on any other existing digraph measure for sparse classes.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑