Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphisms

  • Authors:

  • David A. Cohen;Martin C. Cooper;Peter G. Jeavons

  • Affiliations:

  • Department of Computer Science, Royal Holloway, University of London, UK;IRIT, University of Toulouse III, 31062 Toulouse, France;Computing Laboratory, University of Oxford, UK

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2008

Quantified Score

Hi-index 5.23

Visualization

Abstract

The submodular function minimization problem (SFM) is a fundamental problem in combinatorial optimization and several fully combinatorial polynomial-time algorithms have recently been discovered to solve this problem. The most general versions of these algorithms are able to minimize any submodular function whose domain is a set of tuples over any totally-ordered finite set and whose range includes both finite and infinite values. In this paper we demonstrate that this general form of SFM is just one example of a much larger class of tractable discrete optimization problems defined by valued constraints. These tractable problems are characterized by the fact that their valued constraints have an algebraic property which we call a tournament pair multimorphism. This larger tractable class also includes the problem of satisfying a set of Horn clauses (Horn-SAT), as well as various extensions of this problem to larger finite domains.