Maximizing Supermodular Functions on Product Lattices, with Application to Maximum Constraint Satisfaction

Recently, a strong link has been discovered between supermodularity on lattices and tractability of optimization problems known as maximum constraint satisfaction problems. The present paper strengthens this link. We study the problem of maximizing a supermodular function which is defined on a product of n copies of a fixed finite lattice and given by an oracle. We exhibit a large class of finite lattices for which this problem can be solved in oracle-polynomial time in n. We also obtain new large classes of tractable maximum constraint satisfaction problems. Key words. supermodular function, lattices, optimization, tractability, constraint satisfaction. AMS subject classifications. 90C27, 68Q25, 68T20.

• Type: Journal
• Year: 2008
• Where: SIAMDM
• Authors: Andrei A. Krokhin, Benoit Larose
• Keywords: Constraint Satisfaction Problems, Finite Lattices, Maximum Constraint Satisfaction, SIAMDM 2008