164 research outputs found
Incremental complexity of a bi-objective hypergraph transversal problem
The hypergraph transversal problem has been intensively studied, from both a
theoretical and a practical point of view. In particular , its incremental
complexity is known to be quasi-polynomial in general and polynomial for
bounded hypergraphs. Recent applications in computational biology however
require to solve a generalization of this problem, that we call bi-objective
transversal problem. The instance is in this case composed of a pair of
hypergraphs (A, B), and the aim is to find minimal sets which hit all the
hyperedges of A while intersecting a minimal set of hyperedges of B. In this
paper, we formalize this problem, link it to a problem on monotone boolean
-- formulae of depth 3 and study its incremental complexity
A Polynomial Delay Algorithm for Enumerating Minimal Dominating Sets in Chordal Graphs
An output-polynomial algorithm for the listing of minimal dominating sets in
graphs is a challenging open problem and is known to be equivalent to the
well-known Transversal problem which asks for an output-polynomial algorithm
for listing the set of minimal hitting sets in hypergraphs. We give a
polynomial delay algorithm to list the set of minimal dominating sets in
chordal graphs, an important and well-studied graph class where such an
algorithm was open for a while.Comment: 13 pages, 1 figure, submitte
Minimal dominating sets enumeration with FPT-delay parameterized by the degeneracy and maximum degree
At STOC 2002, Eiter, Gottlob, and Makino presented a technique called ordered
generation that yields an -delay algorithm listing all minimal
transversals of an -vertex hypergraph of degeneracy . Recently at IWOCA
2019, Conte, Kant\'e, Marino, and Uno asked whether this XP-delay algorithm
parameterized by could be made FPT-delay parameterized by and the
maximum degree , i.e., an algorithm with delay for some computable function . Moreover, as a first step toward
answering that question, they note that the same delay is open for the
intimately related problem of listing all minimal dominating sets in graphs. In
this paper, we answer the latter question in the affirmative.Comment: 18 pages, 2 figure
Computing knock out strategies in metabolic networks
Given a metabolic network in terms of its metabolites and reactions, our goal
is to efficiently compute the minimal knock out sets of reactions required to
block a given behaviour. We describe an algorithm which improves the
computation of these knock out sets when the elementary modes (minimal
functional subsystems) of the network are given. We also describe an algorithm
which computes both the knock out sets and the elementary modes containing the
blocked reactions directly from the description of the network and whose
worst-case computational complexity is better than the algorithms currently in
use for these problems. Computational results are included.Comment: 12 page
- âŠ