1 research outputs found
Minimum Transversals in Posi-modular Systems
Given a system (V, f, d) on a finite set V consisting of two set functions f: 2 V β R and d: 2 V β R, we consider the problem of finding a set R β V of minimum cardinality such that f(X) β₯ d(X) for all X β V β R, where the problem can be regarded as a natural generalization of the source location problems and the external network problems in (undirected) graphs and hypergraphs. We give a structural characterization of minimal deficient sets of (V, f, d) under certain conditions. We show that all such sets form a tree hypergraph if f is posi-modular and d is modulotone (i.e., each nonempty subset X of V has an element v β X such that d(Y) β₯ d(X) for all subsets Y of X that contain v), and that conversely any tree hypergraph can be represented by minimal deficient sets of (V, f, d) for a posi-modular function f and a modulotone function d. By using this characterization, we present a polynomial-time algorithm if, in addition, f is submodular and d is given by either d(X) = max{p(v) | v β X} for a function p: V β R+ or d(X) = max{r(v, w) | v β X, w β V β X} for a function r: V 2 β R+. Our result provides first polynomial-time algorithms for the source location problem in hypergraphs and the external network problems in graphs and hypergraphs. We also show that the problem is intractable, even if f is submodular and d β‘ 0