在有限维偏序的(不可比)图的极小支配集计数
Enumerating minimal dominating sets in the (in)comparability graphs of bounded dimension posets
AI总结:
本文提出在有限维偏序的不可比图中,通过flashlight搜索方法实现输出多项式时间算法,并改进翻转方法以减少空间需求,从而提升极小支配集的枚举效率。
摘要:
在超图中枚举极小transversals是一个 notoriously 难的问题。它可以被减少到在图中枚举极小支配集,事实上甚至可以减少到在不可比图中枚举极小支配集。我们为不可比图提供了输出多项式时间算法,其底层偏序的维数有界。通过不同的证明技术,我们还为它们的补集提供了输出多项式时间算法,即对于维数有界的偏序的可比图。我们的不可比图算法基于flashlight搜索,并依赖于Golumbic等人在1983年给出的不可比图的几何表示。它具有多项式延迟,仅需要多项式空间。我们的可比图算法基于Golovach等人在2015年引入的翻转方法。它在增量多项式时间内运行,并需要指数空间。此外,我们展示了如何改进翻转方法,使其仅需要多项式空间。由于翻转方法是目前已知算法中枚举图类中极小支配集的最先进算法的关键工具,这直接改进了现有最先进水平。
英文摘要:
Enumerating minimal transversals in a hypergraph is a notoriously hard problem. It can be reduced to enumerating minimal dominating sets in a graph, in fact even to enumerating minimal dominating sets in an incomparability graph. We provide an output-polynomial time algorithm for incomparability graphs whose underlying posets have bounded dimension. Through a different proof technique, we also provide an output-polynomial algorithm for their complements, i.e., for comparability graphs of bounded dimension posets. Our algorithm for incomparability graphs is based on flashlight search and relies on the geometrical representation of incomparability graphs with bounded dimension, as given by Golumbic et al. in 1983. It runs with polynomial delay and only needs polynomial space. Our algorithm for comparability graphs is based on the flipping method introduced by Golovach et al. in 2015. It performs in incremental-polynomial time and requires exponential space. In addition, we show how to improve the flipping method so that it requires only polynomial space. Since the flipping method is a key tool for the best known algorithms enumerating minimal dominating sets in a number of graph classes, this yields direct improvements on the state of the art.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。