枚举有界维偏序集（不可比/可比）图中的极小支配集

枚举超图中的极小横截是一个众所周知的困难问题。它可归约为枚举图中的极小支配集，事实上甚至可归约为枚举不可比图中的极小支配集。我们为底层偏序集具有有界维的不可比图提供了输出多项式时间算法。通过不同的证明技术，我们也为其补图即具有有界维偏序集的可比图提供了输出多项式算法。我们的不可比图算法基于闪光灯搜索，并依赖于Golumbic等人于1983年给出的有界维不可比图的几何表示。它以多项式延迟运行且仅需多项式空间。我们的可比图算法基于Golovach等人于2015年引入的翻转方法。它以增量多项式时间执行且需要指数空间。此外，我们展示了如何改进翻转方法使其仅需多项式空间。由于翻转方法是若干图类中枚举极小支配集的最优已知算法的关键工具，这直接改进了当前技术水平。