Incremental Complexity of a Bi-objective Hypergraph Transversal Problem [chapter]

Ricardo Andrade, Etienne Birmelé, Arnaud Mary, Thomas Picchetti, Marie-France Sagot
2015 Lecture Notes in Computer Science  
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
more » ... ts 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.
doi:10.1007/978-3-319-22177-9_16 fatcat:jghimpm7evgenjqs3sjzlj4pfe