Disjunctive analogues of submodular and supermodular pseudo-Boolean functions Original Research Article

We consider classes of real-valued functions of Boolean variables defined by disjunctive analogues of the submodular and supermodular functional inequalities, obtained by replacing in these inequalities addition by disjunction (max operator). The disjunctive analogues of submodular and supermodular functions are completely characterized by the syntax of their disjunctive normal forms. Classes of functions possessing combinations of these properties are also examined. A disjunctive representation theory based on one of these combination classes exhibits syntactic and algorithmic analogies with classical DNF theory.