Abstract
k-submodular functions were introduced by Huber and Kolmogorov as a generalization of bisubmodular functions. This paper establishes a compact representation of minimizers of k-submodular functions by posets with inconsistent pairs (PIPs), and completely characterizes the class of PIPs (elementary PIPs) corresponding to minimizers of k-submodular functions. Our representation coincides with Birkhoff’s representation theorem if \(k=1\) and with signed-poset representation by Ando and Fujishige if \(k=2\). We also give algorithms to construct the elementary PIP representing the minimizers of a k-submodular function f for three cases: (i) a minimizing oracle of f is available, (ii) f is network-representable, and (iii) f is the objective function of the relaxation of multiway cut problem. Furthermore, we provide an efficient algorithm to enumerate all maximal minimizers from the PIP representation. Our results are applied to obtain all maximal persistent assignments in labeling problems arising from computer vision.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ando, K., Fujishige, S.: \(\sqcup ,\sqcap \)-closed families and signed posets. Technical report, Forschungsinstitut für Diskrete Mathematik, Universität Bonn (1994)
Ardila, F., Owen, M., Sullivant, S.: Geodesics in CAT(0) cubical complexes. Adv. Appl. Math. 48(1), 142–163 (2012)
Barthélemy, J.P., Constantin, J.: Median graphs, parallelism and posets. Discrete Math. 111(1–3), 49–63 (1993)
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)
Feder, T.: Network flow and 2-satisfiability. Algorithmica 11, 291–319 (1994)
Gridchyn, I., Kolmogorov, V.: Potts model, parametric maxflow and \(k\)-submodular functions. In: IEEE International Conference on Computer Vision (ICCV 2013), pp. 2320–2327 (2013)
Hirai, H., Iwamasa, Y.: On \(k\)-submodular relaxation. SIAM J. Discrete Math. (2016, to appear)
Huber, A., Kolmogorov, V.: Towards minimizing k-submodular functions. In: Mahjoub, A.R., Markakis, V., Milis, I., Paschos, V.T. (eds.) ISCO 2012. LNCS, vol. 7422, pp. 451–462. Springer, Heidelberg (2012)
Iwata, Y., Wahlström, M., Yoshida, Y.: Half-integrality, LP-branching and FPT algorithms. SIAM J. Comput. (2016, to appear)
Kavvadias, D.J., Sideri, M., Stavropoulos, E.C.: Generating all maximal models of a Boolean expression. Inf. Process. Lett. 74, 157–162 (2000)
Kolmogorov, V., Thapper, J., Živný, S.: The power of linear programming for general-valued CSPs. SIAM J. Comput. 44, 1–36 (2015)
Murota, K.: Analysis, Matrices and Matroids for Systems. Springer, Berlin (2010)
Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part I. Theoret. Comput. Sci. 13, 85–108 (1981)
Orlin, J.B.: Max flows in \({\rm O}(nm)\) time, or better. In: Proceedings of the 45th Annual ACM Symposium on Theory of Computing (STOC 2013), pp. 765–774 (2013)
Picard, J.C., Queyranne, M.: On the structure of all minimum cuts in a network and applications. In: Rayward-Smith, V.J. (ed.) Combinatorial Optimization II. Mathematical Programming Studies, vol. 13, pp. 8–16. Springer, Berlin (1980)
Sholander, M.: Medians and betweenness. Proc. Am. Math. Soc. 5(5), 801–807 (1954)
Acknowledgement
This work was partially supported by JSPS KAKENHI Grant Numbers 25280004, 26330023, 26280004, and by the JST, ERATO, Kawarabayashi Large Graph Project.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Hirai, H., Oki, T. (2016). A Compact Representation for Minimizers of k-Submodular Functions (Extended Abstract). In: Cerulli, R., Fujishige, S., Mahjoub, A. (eds) Combinatorial Optimization. ISCO 2016. Lecture Notes in Computer Science(), vol 9849. Springer, Cham. https://doi.org/10.1007/978-3-319-45587-7_33
Download citation
DOI: https://doi.org/10.1007/978-3-319-45587-7_33
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-45586-0
Online ISBN: 978-3-319-45587-7
eBook Packages: Computer ScienceComputer Science (R0)