We consider monotone ∨, ∧-formulae φ of m atoms, each of which is a monotone inequality of the form fi(x) ≥ ti over the integers, where for i = 1,..., m, fi: ℤn → ℝ is a given monotone function and ti is a given threshold. We show that if the ∨-degree of φ is bounded by a constant, then for linear, transversal and polymatroid monotone inequalities all minimal integer vectors satisfying φ can be generated in incremental quasi-polynomial time. In contrast, the enumeration problem for the disjunction of m inequalities is NP-hard when m is part of the input. We also discuss some applications of the above results in disjunctive programming, data mining, matroid and reliability theory. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Khachiyan, L., Boros, E., Elbassioni, K., & Gurvich, V. (2005). Generating all minimal integral solutions to monotone ∧, ∨-systems of linear, transversal and polymatroid inequalities. In Lecture Notes in Computer Science (Vol. 3618, pp. 556–567). Springer Verlag. https://doi.org/10.1007/11549345_48
Mendeley helps you to discover research relevant for your work.