92 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
Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic
The hypergraph duality problem DUAL is defined as follows: given two simple
hypergraphs and , decide whether
consists precisely of all minimal transversals of (in which case
we say that is the dual of ). This problem is
equivalent to deciding whether two given non-redundant monotone DNFs are dual.
It is known that non-DUAL, the complementary problem to DUAL, is in
, where
denotes the complexity class of all problems that after a nondeterministic
guess of bits can be decided (checked) within complexity class
. It was conjectured that non-DUAL is in . In this paper we prove this conjecture and actually
place the non-DUAL problem into the complexity class which is a subclass of . We here refer to the logtime-uniform version of
, which corresponds to , i.e., first order
logic augmented by counting quantifiers. We achieve the latter bound in two
steps. First, based on existing problem decomposition methods, we develop a new
nondeterministic algorithm for non-DUAL that requires to guess
bits. We then proceed by a logical analysis of this algorithm, allowing us to
formulate its deterministic part in . From this result, by
the well known inclusion , it follows
that DUAL belongs also to . Finally, by exploiting
the principles on which the proposed nondeterministic algorithm is based, we
devise a deterministic algorithm that, given two hypergraphs and
, computes in quadratic logspace a transversal of
missing in .Comment: Restructured the presentation in order to be the extended version of
a paper that will shortly appear in SIAM Journal on Computin
Beyond Hypergraph Dualization
International audienceThis problem concerns hypergraph dualization and generalization to poset dualization. A hypergraph H = (V, E) consists of a finite collection E of sets over a finite set V , i.e. E â P(V) (the powerset of V). The elements of E are called hyperedges, or simply edges. A hypergraph is said simple if none of its edges is contained within another. A transversal (or hitting set) of H is a set T â V that intersects every edge of E. A transversal is minimal if it does not contain any other transversal as a subset. The set of all minimal transversal of H is denoted by T r(H). The hypergraph (V, T r(H)) is called the transversal hypergraph of H. Given a simple hypergraph H, the hypergraph dualization problem (Trans-Enum for short) concerns the enumeration without repetitions of T r(H). The Trans-Enum problem can also be formulated as a dualization problem in posets. Let (P, â€) be a poset (i.e. †is a reflexive, antisymmetric, and transitive relation on the set P). For A â P , â A (resp. â A) is the downward (resp. upward) closure of A under the relation †(i.e. â A is an ideal and â A a filter of (P, â€)). Two antichains (B + , B â) of P are said to be dual if â B + âȘ â B â = P and â B + â© â B â = â
. Given an implicit description of a poset P and an antichain B + (resp. B â) of P , the poset dualization problem (Dual-Enum for short) enumerates the set B â (resp. B +), denoted by Dual(B +) = B â (resp. Dual(B â) = B +). Notice that the function dual is self-dual or idempotent, i.e. Dual(Dual(B)) = B
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
Self-duality of bounded monotone boolean functions and related problems
AbstractIn this paper we examine the problem of determining the self-duality of a monotone boolean function in disjunctive normal form (DNF). We show that the self-duality of monotone boolean functions with n disjuncts such that each disjunct has at most k literals can be determined in O(2k2k2n) time. This implies an O(n2logn) algorithm for determining the self-duality of logn-DNF functions. We also consider the version where any two disjuncts have at most c literals in common. For this case we give an O(n4(c+1)) algorithm for determining self-duality
Incremental polynomial time dualization of quadratic functions and a subclass of degree-k functions
Cataloged from PDF version of article.We consider the problem of dualizing a Boolean function f represented by
a DNF. In its most general form, this problem is commonly believed not to be solvable
by a quasi-polynomial total time algorithm.We show that if the input DNF is quadratic or is
a special degree-k DNF, then dualization turns out to be equivalent to hypergraph dualization
in hypergraphs of bounded degree and hence it can be achieved in incremental polynomial
time
- âŠ