Current browse context:
cs.DM
Change to browse by:
References & Citations
Computer Science > Discrete Mathematics
Title: Pliability and Approximating Max-CSPs
(Submitted on 8 Nov 2019 (v1), last revised 17 Sep 2023 (this version, v4))
Abstract: 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\'edi's regularity lemma and applies to dense graphs. We extend the applicability of both techniques to new classes of Max-CSPs. On the other hand, 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.
Submission history
From: Stanislav Živný [view email][v1] Fri, 8 Nov 2019 11:53:17 GMT (231kb,D)
[v2] Sat, 21 Mar 2020 17:40:52 GMT (233kb,D)
[v3] Mon, 12 Oct 2020 11:23:37 GMT (73kb,D)
[v4] Sun, 17 Sep 2023 06:09:55 GMT (57kb)
Link back to: arXiv, form interface, contact.