Integer and combinatorial optimization
Integer and combinatorial optimization
A new approach to the maximum-flow problem
Journal of the ACM (JACM)
The Complexity of Multiterminal Cuts
SIAM Journal on Computing
Recognition of d-dimensional Monge arrays
Discrete Applied Mathematics
A dichotomy theorem for maximum generalized satisfiability problems
Journal of Computer and System Sciences - Special issue on selected papers presented at the 24th annual ACM symposium on the theory of computing (STOC '92)
Perspectives of Monge properties in optimization
Discrete Applied Mathematics
On the algebraic structure of combinatorial problems
Theoretical Computer Science
Minimization of an M-convex function
Discrete Applied Mathematics
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
Boolean constraint satisfaction: complexity results for optimization problems with arbitrary weights
Theoretical Computer Science
A combinatorial algorithm minimizing submodular functions in strongly polynomial time
Journal of Combinatorial Theory Series B
Complexity classifications of boolean constraint satisfaction problems
Complexity classifications of boolean constraint satisfaction problems
A combinatorial strongly polynomial algorithm for minimizing submodular functions
Journal of the ACM (JACM)
Some optimal inapproximability results
Journal of the ACM (JACM)
Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties
The Approximability of Constraint Satisfaction Problems
SIAM Journal on Computing
A Dichotomy Theorem for Constraints on a Three-Element Set
FOCS '02 Proceedings of the 43rd Symposium on Foundations of Computer Science
STACS '98 Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science
A combinatorial algorithm for MAX CSP
Information Processing Letters
Tractable conservative Constraint Satisfaction Problems
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem
FOCS '03 Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science
The Nonapproximability of Non-Boolean Predicates
SIAM Journal on Discrete Mathematics
Is constraint satisfaction over two variables always easy?
Random Structures & Algorithms
A maximal tractable class of soft constraints
Journal of Artificial Intelligence Research
Maximum H-colourable subdigraphs and constraint optimization with arbitrary weights
Journal of Computer and System Sciences
A Linear Programming Approach to Max-Sum Problem: A Review
IEEE Transactions on Pattern Analysis and Machine Intelligence
The approximability of MAX CSP with fixed-value constraints
Journal of the ACM (JACM)
Hard constraint satisfaction problems have hard gaps at location 1
Theoretical Computer Science
Note: The expressive power of binary submodular functions
Discrete Applied Mathematics
Hi-index | 0.02 |
In this paper we study the complexity of the maximum constraint satisfaction problem (MAX CSP) over an arbitrary finite domain. An instance of MAX CSP consists of a set of variables and a collection of constraints which are applied to certain specified subsets of these variables; the goal is to find values for the variables which maximize the number of simultaneously satisfied constraints. Using the theory of sub-and supermodular functions on finite lattice-ordered sets, we obtain the first examples of general families of efficiently solvable cases of MAX CSP for arbitrary finite domains. In addition, we provide the first dichotomy result for a special class of non-Boolean MAX CSP, by considering binary constraints given by supermodular functions on a totally ordered set. Finally, we show that the equality constraint over a non-Boolean domain is non-supermodular, and, when combined with some simple unary constraints, gives rise to cases of MAX CSP which are hard even to approximate.