加载中…
Let be an undirected graph, and distinguished vertices of . A minimal -separator is an inclusion-wise minimal vertex-set whose removal places and in distinct connected components. We present an algorithm for listing the minimal -separators of a graph, whose cardinality is at most , with FPT-delay, where the parameter depends only on . This problem finds applications in various algorithms parameterized by treewidth, which include query evaluation in relational databases, probabilistic inference, and many more. We also present a simple algorithm that enumerates all of the (not necessarily minimal) -separators of a graph in ranked order by size.

生成讲解博客的中文版本

生成AI智能校验的中文版本