132 research outputs found

### Efficient Enumerations for Minimal Multicuts and Multiway Cuts

Let $G = (V, E)$ be an undirected graph and let $B \subseteq V \times V$ be a
set of terminal pairs. A node/edge multicut is a subset of vertices/edges of
$G$ whose removal destroys all the paths between every terminal pair in $B$.
The problem of computing a {\em minimum} node/edge multicut is NP-hard and
extensively studied from several viewpoints. In this paper, we study the
problem of enumerating all {\em minimal} node multicuts. We give an incremental
polynomial delay enumeration algorithm for minimal node multicuts, which
extends an enumeration algorithm due to Khachiyan et al. (Algorithmica, 2008)
for minimal edge multicuts. Important special cases of node/edge multicuts are
node/edge {\em multiway cuts}, where the set of terminal pairs contains every
pair of vertices in some subset $T \subseteq V$, that is, $B = T \times T$. We
improve the running time bound for this special case: We devise a polynomial
delay and exponential space enumeration algorithm for minimal node multiway
cuts and a polynomial delay and space enumeration algorithm for minimal edge
multiway cuts

### Constant Amortized Time Enumeration of Eulerian trails

In this paper, we consider enumeration problems for edge-distinct and
vertex-distinct Eulerian trails. Here, two Eulerian trails are
\emph{edge-distinct} if the edge sequences are not identical, and they are
\emph{vertex-distinct} if the vertex sequences are not identical. As the main
result, we propose optimal enumeration algorithms for both problems, that is,
these algorithm runs in $\mathcal{O}(N)$ total time, where $N$ is the number of
solutions. Our algorithms are based on the reverse search technique introduced
by [Avis and Fukuda, DAM 1996], and the push out amortization technique
introduced by [Uno, WADS 2015]

### Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids

Finding a maximum cardinality common independent set in two matroids (also
known as Matroid Intersection) is a classical combinatorial optimization
problem, which generalizes several well-known problems, such as finding a
maximum bipartite matching, a maximum colorful forest, and an arborescence in
directed graphs. Enumerating all maximal common independent sets in two (or
more) matroids is a classical enumeration problem. In this paper, we address an
``intersection'' of these problems: Given two matroids and a threshold $\tau$,
the goal is to enumerate all maximal common independent sets in the matroids
with cardinality at least $\tau$. We show that this problem can be solved in
polynomial delay and polynomial space. We also discuss how to enumerate all
maximal common independent sets of two matroids in non-increasing order of
their cardinalities

### Linear-Delay Enumeration for Minimal Steiner Problems

Kimelfeld and Sagiv [Kimelfeld and Sagiv, PODS 2006], [Kimelfeld and Sagiv,
Inf. Syst. 2008] pointed out the problem of enumerating $K$-fragments is of
great importance in a keyword search on data graphs. In a graph-theoretic term,
the problem corresponds to enumerating minimal Steiner trees in (directed)
graphs. In this paper, we propose a linear-delay and polynomial-space algorithm
for enumerating all minimal Steiner trees, improving on a previous result in
[Kimelfeld and Sagiv, Inf. Syst. 2008]. Our enumeration algorithm can be
extended to other Steiner problems, such as minimal Steiner forests, minimal
terminal Steiner trees, and minimal directed Steiner trees. As another variant
of the minimal Steiner tree enumeration problem, we study the problem of
enumerating minimal induced Steiner subgraphs. We propose a polynomial-delay
and exponential-space enumeration algorithm of minimal induced Steiner
subgraphs on claw-free graphs. Contrary to these tractable results, we show
that the problem of enumerating minimal group Steiner trees is at least as hard
as the minimal transversal enumeration problem on hypergraphs

### Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids

Finding a maximum cardinality common independent set in two matroids (also known as Matroid Intersection) is a classical combinatorial optimization problem, which generalizes several well-known problems, such as finding a maximum bipartite matching, a maximum colorful forest, and an arborescence in directed graphs. Enumerating all maximal common independent sets in two (or more) matroids is a classical enumeration problem. In this paper, we address an "intersection" of these problems: Given two matroids and a threshold ?, the goal is to enumerate all maximal common independent sets in the matroids with cardinality at least ?. We show that this problem can be solved in polynomial delay and polynomial space. We also discuss how to enumerate all maximal common independent sets of two matroids in non-increasing order of their cardinalities

### Finding Diverse Trees, Paths, and More

Mathematical modeling is a standard approach to solve many real-world
problems and {\em diversity} of solutions is an important issue, emerging in
applying solutions obtained from mathematical models to real-world problems.
Many studies have been devoted to finding diverse solutions. Baste et al.
(Algorithms 2019, IJCAI 2020) recently initiated the study of computing diverse
solutions of combinatorial problems from the perspective of fixed-parameter
tractability. They considered problems of finding $r$ solutions that maximize
some diversity measures (the minimum or sum of the pairwise Hamming distances
among them) and gave some fixed-parameter tractable algorithms for the diverse
version of several well-known problems, such as {\sc Vertex Cover}, {\sc
Feedback Vertex Set}, {\sc $d$-Hitting Set}, and problems on bounded-treewidth
graphs. In this work, we investigate the (fixed-parameter) tractability of
problems of finding diverse spanning trees, paths, and several subgraphs. In
particular, we show that, given a graph $G$ and an integer $r$, the problem of
computing $r$ spanning trees of $G$ maximizing the sum of the pairwise Hamming
distances among them can be solved in polynomial time. To the best of the
authors' knowledge, this is the first polynomial-time solvable case for finding
diverse solutions of unbounded size.Comment: 15 page

### Efficient Enumeration Algorithm for Dominating Sets in Bounded Degenerate Graphs (Foundations and Applications of Algorithms and Computation)

Dominating sets are fundamental graph structures. However, enumeration of dominating sets has not received much attention. This study aims to propose an efficient enumeration algorithms for bounded degenerate graphs. The algorithm enumerates all the dominating sets for k-degenerate graphs in O(k) time per solution using O(n+m) space. Since planar graphs have a constant degeneracy, this algorithm can enumerate all such sets for planar graphs in constant time per solution

- …