Abstract
In this work, we first study a natural generalisation of the Min-Cut problem, where a graph is augmented by a superadditive set function defined on its vertex subsets. The goal is to select a vertex subset such that the weight of the induced cut plus the set function value are minimised. In addition, a lower and upper bound is imposed on the solution size. We present a polynomial-time algorithm for enumerating all near-optimal solutions of this Bounded Generalised Min-Cut problem. Second, we apply this novel algorithm to surjective general-valued constraint satisfaction problems (VCSPs), i.e., VCSPs in which each label has to be used at least once. On the Boolean domain, Fulla, Uppman, and Živný (ACM ToCT’18) have recently established a complete classification of surjective VCSPs based on an unbounded version of the Generalised Min-Cut problem. Their result features the discovery of a new non-trivial tractable case called EDS that does not appear in the non-surjective setting. As our main result, we extend the class EDS to arbitrary finite domains and provide a conditional complexity classification for surjective VCSPs of this type based on a reduction to smaller domains. On three-element domains, this leads to a complete classification of such VCSPs.
Similar content being viewed by others
Notes
It appears to be an issue that the superadditive set function is evaluated only for the solution set, while the set of remaining vertices may exhibit an excessively large set function value even in an optimal solution. That makes it implausible to think a local criterion for edge contractions could incorporate the superadditive set function in a suitable manner, i.e. somehow preventing the set function value from getting too large.
References
Barto, L., Kozik, M.: Constraint satisfaction problems solvable by local consistency methods. J. ACM 61(1), 1–19 (2014) (Article No. 3)
Bodirsky, M., Kára, J., Martin, B.: The complexity of surjective homomorphism problems—a survey. Discrete Appl. Math. 160(12), 1680–1690 (2012)
Bulatov, A.: A dichotomy theorem for constraint satisfaction problems on a 3-element set. J. ACM 53(1), 66–120 (2006)
Bulatov, A., Jeavons, P., Krokhin, A.: Classifying the complexity of constraints using finite algebras. SIAM J. Comput. 34(3), 720–742 (2005)
Bulatov, A.A.: A dichotomy theorem for nonuniform CSPs. In: Proceedings of the 58th Annual IEEE Symposium on Foundations of Computer Science (FOCS’17), pp. 319–330 (2017)
Bulatov, A.A., Marx, D.: The complexity of global cardinality constraints. Log. Methods Comput. Sci. 6(4), 419–428 (2010)
Cohen, D.A., Cooper, M.C., Jeavons, P.G., Krokhin, A.A.: The complexity of soft constraint satisfaction. Artif. Intell. 170(11), 983–1016 (2006)
Creignou, N., Hébrard, J.-J.: On generating all solutions of generalized satisfiability problems. Inf. Théor. Appl. 31, 499–511 (1997)
Dahlhaus, E., Johnson, D.S., Papadimitriou, C.H., Seymour, P.D., Yannakakis, M.: The complexity of multiterminal cuts. SIAM J. Comput. 23(4), 864–894 (1994)
Dalmau, V., Pearson, J.: Set functions and width 1 problems. In: Proceedings of the 5th International Conference on Constraint Programming (CP’99), Volume 1713 of Lecture Notes in Computer Science, pp. 159–173. Springer, Berlin (1999)
Feder, T., Vardi, M.Y.: The computational structure of monotone monadic snp and constraint satisfaction: a study through Datalog and group theory. SIAM J. Comput. 28(1), 57–104 (1998)
Fulla, P., Uppman, H., Živný, S.: The complexity of Boolean surjective general-valued CSPs. ACM Trans. Comput. Theory 11(1), 1–31 (2018) (Article No. 4)
Goldschmidt, O., Hochbaum, D.S.: A polynomial algorithm for the k-cut problem for fixed k. Math. Oper. Res. 19(1), 24–37 (1994)
Hell, P., Nešetřil, J.: On the complexity of H-coloring. J. Comb. Theory Ser. B 48(1), 92–110 (1990)
Hell, P., Nešetřil, J.: Colouring, constraint satisfaction, and complexity. Comput. Sci. Rev. 2(3), 143–163 (2008)
Huber, A., Kolmogorov, V.: Towards minimizing \(k\)-submodular functions. In: Proceedings of the 2nd International Symposium on Combinatorial Optimization (ISCO’12), Volume 7422 of Lecture Notes in Computer Science, pp. 451–462. Springer, Berlin (2012)
Jeavons, P., Cohen, D., Gyssens, M.: Closure properties of constraints. J. ACM 44(4), 527–548 (1997)
Karger, D.R.: Global min-cuts in RNC, and other ramifications of a simple min-out algorithm. In: Proceedings of the 4th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA’93), pp. 21–30 (1993)
Kolmogorov, V., Krokhin, A., Rolínek, M.: The complexity of general-valued CSPs. SIAM J. Comput. 46(3), 1087–1110 (2017)
Kolmogorov, V., Thapper, J., Živný, S.: The power of linear programming for general-valued CSPs. SIAM J. Comput. 44(1), 1–36 (2015)
Kozik, M., Ochremiak, J.: Algebraic properties of valued constraint satisfaction problem. In: Proceedings of the 42nd International Colloquium on Automata, Languages and Programming (ICALP’15), Volume 9134 of Lecture Notes in Computer Science, pp. 846–858. Springer, Berlin (2015)
Matl, G., Živný, S.: Beyond Boolean surjective VCSPs. In: Proceedings of the 36th Annual Symposium on Theoretical Aspects of Computer Science (STACS’19), pp. 48:1–48:15 (2019)
Rossi, F., van Beek, P., Walsh, T. (eds.): The Handbook of Constraint Programming. Elsevier, London (2006)
Schaefer, T.J.: The complexity of satisfiability problems. In: Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC’78), pp. 216–226. ACM, New York (1978)
Schiex, T., Fargier, H., Verfaillie, G.: Valued constraint satisfaction problems: hard and easy problems. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI’95), pp. 631–637 (1995)
Schrijver, A.: Combinatorial Optimization: Polyhedra and Efficiency, vol. 24. Springer, Berlin (2003)
Thapper, J., Živný, S.: The power of Sherali–Adams relaxations for general-valued CSPs. SIAM J. Comput. 46(4), 1241–1279 (2017)
Thapper, J., ŽŽivný, S.: The complexity of finite-valued CSPs. J. ACM 63(4), 37:1–37:33 (2016)
Zhuk, D.: A proof of CSP dichotomy conjecture. In: Proceedings of the 58th Annual IEEE Symposium on Foundations of Computer Science (FOCS’17), pp. 331–342 (2017)
Zhuk, D.: No-rainbow problem is NP-hard. Technical Report (2020)
Acknowledgements
We would like to thank the anonymous referees of both the conference [22] and this full version of the paper. We also thank Costin-Andrei Oncescu for detailed feedback on a previous version of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
An extended abstract of this work appeared in Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019) [22]. Stanislav Živný was supported by a Royal Society University Research Fellowship. The work was done while Gregor Matl was at the University of Oxford. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 714532). The paper reflects only the authors’ views and not the views of the ERC or the European Commission. The European Union is not liable for any use that may be made of the information contained therein.
Rights and permissions
About this article
Cite this article
Matl, G., Živný, S. Using a Min-Cut Generalisation to Go Beyond Boolean Surjective VCSPs. Algorithmica 82, 3492–3520 (2020). https://doi.org/10.1007/s00453-020-00735-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-020-00735-1