
arXiv: 1911.03204
We identify a sufficient condition, treewidth-pliability , that gives a polynomial-time algorithm for an arbitrarily good approximation of the optimal value in a large class of Max-2-CSPs parameterised by the class of allowed constraint graphs (with arbitrary constraints on an unbounded alphabet). Our result applies more generally to the maximum homomorphism problem between two rational-valued structures. The condition unifies the two main approaches for designing a polynomial-time approximation scheme. One is Baker’s layering technique, which applies to sparse graphs such as planar or excluded-minor graphs. The other is based on Szemerédi’s regularity lemma and applies to dense graphs. We extend the applicability of both techniques to new classes of Max-CSPs. However, we prove that the condition cannot be used to find solutions (as opposed to approximating the optimal value) in general. Treewidth-pliability turns out to be a robust notion that can be defined in several equivalent ways, including characterisations via size, treedepth, or the Hadwiger number. We show connections to the notions of fractional-treewidth-fragility from structural graph theory, hyperfiniteness from the area of property testing, and regularity partitions from the theory of dense graph limits. These may be of independent interest. In particular, we show that a monotone class of graphs is hyperfinite if and only if it is fractionally-treewidth-fragile and has bounded degree.
FOS: Computer and information sciences, homomorphism problems, Discrete Mathematics (cs.DM), Constraint satisfaction problems, Computational aspects of satisfiability, PTAS, G.2.2, fractional-treewidth-fragility, 68R10, 05C75, 68W25, 68Q17, Computer Science - Data Structures and Algorithms, treewidth, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), approximation algorithms, hyperfiniteness, G.2.2; F.2.2, Approximation algorithms, 004, Graph theory (including graph drawing) in computer science, Structural characterization of families of graphs, Combinatorics (math.CO), F.2.2, constraint satisfaction problems, Computer Science - Discrete Mathematics
FOS: Computer and information sciences, homomorphism problems, Discrete Mathematics (cs.DM), Constraint satisfaction problems, Computational aspects of satisfiability, PTAS, G.2.2, fractional-treewidth-fragility, 68R10, 05C75, 68W25, 68Q17, Computer Science - Data Structures and Algorithms, treewidth, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), approximation algorithms, hyperfiniteness, G.2.2; F.2.2, Approximation algorithms, 004, Graph theory (including graph drawing) in computer science, Structural characterization of families of graphs, Combinatorics (math.CO), F.2.2, constraint satisfaction problems, Computer Science - Discrete Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
