Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The power of Sherali-Adams relaxations for general-valued CSPs   We give a precise algebraic characterisation of the power of Sherali-Adams
relaxations for solvability of valued constraint satisfaction problems to
optimality. The condition is that of bounded width which has already been shown
to capture the power of local consistency methods for decision CSPs and the
power of semidefinite programming for robust approximation of CSPs.
  Our characterisation has several algorithmic and complexity consequences. On
the algorithmic side, we show that several novel and many known valued
constraint languages are tractable via the third level of the Sherali-Adams
relaxation. For the known languages, this is a significantly simpler algorithm
than the previously obtained ones. On the complexity side, we obtain a
dichotomy theorem for valued constraint languages that can express an injective
unary function. This implies a simple proof of the dichotomy theorem for
conservative valued constraint languages established by Kolmogorov and Zivny
[JACM'13], and also a dichotomy theorem for the exact solvability of
Minimum-Solution problems. These are generalisations of Minimum-Ones problems
to arbitrary finite domains. Our result improves on several previous
classifications by Khanna et al. [SICOMP'00], Jonsson et al. [SICOMP'08], and
Uppman [ICALP'13].

13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
2
The categories of this paper are: math
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph