Skip to main content

A Practical Algorithm for Max-Norm Optimal Binary Labeling of Graphs

  • Conference paper
  • First Online:
Graph-Based Representations in Pattern Recognition (GbRPR 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14121))

  • 230 Accesses

Abstract

This paper concerns the efficient implementation of a method for optimal binary labeling of graph vertices, originally proposed by Malmberg and Ciesielski (2020). This method finds, in quadratic time with respect to graph size, a labeling that globally minimizes an objective function based on the \(L_\infty \)-norm. The method enables global optimization for a novel class of optimization problems, with high relevance in application areas such as image processing and computer vision. In the original formulation, the Malmberg-Ciesielski algorithm is unfortunately very computationally expensive, limiting its utility in practical applications. Here, we present a modified version of the algorithm that exploits redundancies in the original method to reduce computation time. While our proposed method has the same theoretical asymptotic time complexity, we demonstrate that is substantially more efficient in practice. Even for small problems, we observe a speedup of 4–5 orders of magnitude. This reduction in computation time makes the Malmberg-Ciesielski method a viable option for many practical applications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    This is in contrast to the general Boolean satisfiability problem, where clauses are allowed to contain more than two literals. Already the 3SAT problem, where each clause can have at most three literals, is NP-hard.

References

  1. Aspvall, B., Plass, M.F., Tarjan, R.E.: A linear-time algorithm for testing the truth of certain quantified boolean formulas. Inf. Process. Lett. 8(3), 121–123 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  2. Eén, N., Sörensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502–518. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24605-3_37

    Chapter  Google Scholar 

  3. Ehrgott, M.: Lexicographic max-ordering-a solution concept for multicriteria combinatorial optimization (1995)

    Google Scholar 

  4. Ehrgott, M.: A characterization of lexicographic max-ordering solutions (1999). http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-4531

  5. Ehrgott, M.: Multicriteria optimization, vol. 491. Springer Science & Business Media (2005)

    Google Scholar 

  6. Kolmogorov, V., Rother, C.: Minimizing nonsubmodular functions with graph cuts-a review. IEEE Trans. Pattern Anal. Mach. Intell. 29(7) (2007)

    Google Scholar 

  7. Kolmogorov, V., Zabih, R.: What energy functions can be minimized via graph cuts? IEEE Trans. Pattern Anal. Mach. Intell. 26(2), 147–159 (2004)

    Article  MATH  Google Scholar 

  8. Levi, Z., Zorin, D.: Strict minimizers for geometric optimization. ACM Trans. Graph. (TOG) 33(6), 185 (2014)

    Article  MATH  Google Scholar 

  9. Malmberg, F., Ciesielski, K.C.: Two polynomial time graph labeling algorithms optimizing max-norm-based objective functions. J. Math. Imaging Vision 62(5), 737–750 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  10. Wolf, S., et al.: The mutex watershed and its objective: efficient, parameter-free graph partitioning. IEEE Trans. Pattern Anal. Mach. Intell. 43(10), 3724–3738 (2020)

    Article  Google Scholar 

  11. Wolf, S., Schott, L., Kothe, U., Hamprecht, F.: Learned watershed: End-to-end learning of seeded segmentation. In: Proceedings of the IEEE International Conference on Computer Vision, pp. 2011–2019 (2017)

    Google Scholar 

Download references

Acknowledgment

This work was supported by a SPRINT grant (2019/08759-2) from the São Paulo Research Foundation (FAPESP) and Uppsala University.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Filip Malmberg .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Malmberg, F., Falcão, A.X. (2023). A Practical Algorithm for Max-Norm Optimal Binary Labeling of Graphs. In: Vento, M., Foggia, P., Conte, D., Carletti, V. (eds) Graph-Based Representations in Pattern Recognition. GbRPR 2023. Lecture Notes in Computer Science, vol 14121. Springer, Cham. https://doi.org/10.1007/978-3-031-42795-4_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-42795-4_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-42794-7

  • Online ISBN: 978-3-031-42795-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics