The complexity and expressive power of valued constraints
This thesis is a detailed examination of the expressive power of valued constraints and related complexity questions. The valued constraint satisfaction problem (VCSP) is a generalisation of the constraint satisfaction problem which allows to describe a variety of combinatorial optimisation problems...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
2009
|
| Subjects: |
| _version_ | 1797072345228115968 |
|---|---|
| author | Zivny, S |
| author2 | Jeavons, P |
| author_facet | Jeavons, P Zivny, S |
| author_sort | Zivny, S |
| collection | OXFORD |
| description | This thesis is a detailed examination of the expressive power of valued constraints and related complexity questions. The valued constraint satisfaction problem (VCSP) is a generalisation of the constraint satisfaction problem which allows to describe a variety of combinatorial optimisation problems. Although most results are stated in this framework, they can be interpreted equivalently in the framework of, for instance, pseudo-Boolean polynomials, Gibbs energy minimisation, or Markov Random Fields. We take a result of Cohen, Cooper and Jeavons that characterises the expressive power of valued constraint in terms of certain algebraic properties, and extend this result by showing yet another connection between the expressive power of valued constraints and linear programming. We prove a decidability result for fractional clones. We consider various classes of valued constraints and the associated cost functions with respect to the question of which of these classes can be expressed using only cost functions of bounded arities. We identify the first known example of an infinite chain of classes of constraints with strictly increasing expressive power. We present a full classification of various classes of constraints with respect to this problem. We study submodular constraints and cost functions. Submodular functions play a key role in combinatorial optimisation and are often considered to be a discrete analogue of convex functions. It has previously been an open problem whether all Boolean submodular cost functions can be decomposed into a sum of binary submodular cost functions over a possibly larger set of variables. This problem has been considered within several different contexts in computer science, including computer vision, artificial intelligence, and pseudo-Boolean optimisation. Using a connection between the expressive power of valued constraints and certain algebraic properties of cost functions, we answer this question negatively. Our results have several corollaries. First, we characterise precisely which submodular polynomials of degree 4 can be expressed by quadratic submodular polynomials. Next, we identify a novel class of submodular functions of arbitrary arities that can be expressed by binary submodular functions, and therefore minimised efficiently using a so-called expressibility reduction to the (s,t)-Min-Cut problem. More importantly, our results imply limitations on this kind of reduction and establish for the first time that it cannot be used in general to minimise arbitrary submodular functions. Finally, we refute a conjecture of Promislow and Young on the structure of the extreme rays of the cone of Boolean submodular functions. |
| first_indexed | 2024-03-06T23:06:27Z |
| format | Thesis |
| id | oxford-uuid:63facf22-7c2b-4d4a-8b6f-f7c323759ca0 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T23:06:27Z |
| publishDate | 2009 |
| record_format | dspace |
| spelling | oxford-uuid:63facf22-7c2b-4d4a-8b6f-f7c323759ca02022-03-26T18:16:14ZThe complexity and expressive power of valued constraintsThesishttp://purl.org/coar/resource_type/c_db06uuid:63facf22-7c2b-4d4a-8b6f-f7c323759ca0Applications and algorithmsComputer science (mathematics)Discrete mathematics (statistics)EnglishOxford University Research Archive - Valet2009Zivny, SJeavons, PThis thesis is a detailed examination of the expressive power of valued constraints and related complexity questions. The valued constraint satisfaction problem (VCSP) is a generalisation of the constraint satisfaction problem which allows to describe a variety of combinatorial optimisation problems. Although most results are stated in this framework, they can be interpreted equivalently in the framework of, for instance, pseudo-Boolean polynomials, Gibbs energy minimisation, or Markov Random Fields. We take a result of Cohen, Cooper and Jeavons that characterises the expressive power of valued constraint in terms of certain algebraic properties, and extend this result by showing yet another connection between the expressive power of valued constraints and linear programming. We prove a decidability result for fractional clones. We consider various classes of valued constraints and the associated cost functions with respect to the question of which of these classes can be expressed using only cost functions of bounded arities. We identify the first known example of an infinite chain of classes of constraints with strictly increasing expressive power. We present a full classification of various classes of constraints with respect to this problem. We study submodular constraints and cost functions. Submodular functions play a key role in combinatorial optimisation and are often considered to be a discrete analogue of convex functions. It has previously been an open problem whether all Boolean submodular cost functions can be decomposed into a sum of binary submodular cost functions over a possibly larger set of variables. This problem has been considered within several different contexts in computer science, including computer vision, artificial intelligence, and pseudo-Boolean optimisation. Using a connection between the expressive power of valued constraints and certain algebraic properties of cost functions, we answer this question negatively. Our results have several corollaries. First, we characterise precisely which submodular polynomials of degree 4 can be expressed by quadratic submodular polynomials. Next, we identify a novel class of submodular functions of arbitrary arities that can be expressed by binary submodular functions, and therefore minimised efficiently using a so-called expressibility reduction to the (s,t)-Min-Cut problem. More importantly, our results imply limitations on this kind of reduction and establish for the first time that it cannot be used in general to minimise arbitrary submodular functions. Finally, we refute a conjecture of Promislow and Young on the structure of the extreme rays of the cone of Boolean submodular functions. |
| spellingShingle | Applications and algorithms Computer science (mathematics) Discrete mathematics (statistics) Zivny, S The complexity and expressive power of valued constraints |
| title | The complexity and expressive power of valued constraints |
| title_full | The complexity and expressive power of valued constraints |
| title_fullStr | The complexity and expressive power of valued constraints |
| title_full_unstemmed | The complexity and expressive power of valued constraints |
| title_short | The complexity and expressive power of valued constraints |
| title_sort | complexity and expressive power of valued constraints |
| topic | Applications and algorithms Computer science (mathematics) Discrete mathematics (statistics) |
| work_keys_str_mv | AT zivnys thecomplexityandexpressivepowerofvaluedconstraints AT zivnys complexityandexpressivepowerofvaluedconstraints |