Skip to main content
Log in

A Distributed Mincut/Maxflow Algorithm Combining Path Augmentation and Push-Relabel

  • Published:
International Journal of Computer Vision Aims and scope Submit manuscript

Abstract

We propose a novel distributed algorithm for the minimum cut problem. Motivated by applications like volumetric segmentation in computer vision, we aim at solving large sparse problems. When the problem does not fully fit in the memory, we need to either process it by parts, looking at one part at a time, or distribute across several computers. Many mincut/maxflow algorithms are designed for the shared memory architecture and do not scale to this setting. We consider algorithms that work on disjoint regions of the problem and exchange messages between the regions. We show that the region push-relabel algorithm of Delong and Boykov (A scalable graph-cut algorithm for N-D grids, in CVPR, 2008) uses Θ(n 2) rounds of message exchange, where n is the number of vertices. Our new algorithm performs path augmentations inside the regions and push-relabel style updates between the regions. It uses asymptotically less message exchanges, \(O(\mathcal{B}^{2})\), where \(\mathcal{B}\) is the set of boundary vertices. The sequential and parallel versions of our algorithm are competitive with the state-of-the-art in the shared memory model. By achieving a lower amount of message exchanges (even asymptotically lower in our synthetic experiments), they suit better for solving large problems using a disk storage or a distributed system.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Procedure 1
Fig. 3
Procedure 2
Algorithm 1
Algorithm 2
Fig. 4
Procedure 3
Procedure 4
Fig. 5
Procedure 5
Procedure 6
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Algorithm 3
Fig. 15
Fig. 16
Fig. 17
Fig. 18

Similar content being viewed by others

Notes

  1. A maximum preflow can be completed to a maximum flow using the flow decomposition, in O(mlogm) time. Because we are primarily interested in the minimum cut, we do not consider this step or whether it can be distributed.

  2. The number of sequential phases required in a general case is equal to the minimal coloring of the region interaction graph, i.e. 2 for bipartite graph and so on.

  3. An algorithm is said to be Ω(f(n)) if for some numbers c′ and n 0 and all n>=n 0, the algorithm takes at least cf(n) time on some problem instance. Here we measure complexity in sweeps.

  4. Region-gap-relabel (Delong and Boykov 2008, Fig. 10) seems to contain an error: only vertices above the gap should be processed in step 3.

  5. The worst-case complexity of breadth-first search shortest path augmentation algorithm is just O(m|C|). The tree adaptation step, introduced by Boykov and Kolmogorov (2004) to speed-up the search, does not have a good bound and introduces an additional n 2 factor.

  6. There is a discrepancy with Delong and Boykov (2008, Fig. 4) regarding the results for the basic push-relabel. The main implementation difference is in the order of processing (HIPR versus FILO). It is also possible that their plot is illustrative and is not using the gap heuristic.

  7. Multithreaded maxflow library, http://www.maths.lth.se/matematiklth/personal/petter/cppmaxflow.php.

  8. Strandmark and Kahl (2010) stated their theorem for even integer costs in the case of two-subproblem separator sets. They remarked that a multiple of 4, resp., 8 is needed in the cases of decompositions for 2D and 3D grids. However, this multiplication is unnecessary if we chose to split the cost unevenly but preserving the integrality (like we did in the example).

References

  • Anderson, R., & Setubal, J. C. (1995). A parallel implementation of the push-relabel algorithm for the maximum flow problem. Journal of Parallel Distributed Computing, 29(1), 17–26.

    Article  Google Scholar 

  • Boros, E., Hammer, P. L., & Sun, X. (1991). Network flows and minimization of quadratic pseudo-Boolean functions. Tech. rep. RRR 17-1991, RUTCOR.

  • Boykov, Y., & Funka-Lea, G. (2006). Graph cuts and efficient N-D image segmentation. International Journal of Computer Vision, 70(2), 109–137.

    Article  Google Scholar 

  • Boykov, Y., & Jolly, M. P. (2001). Interactive graph cuts for optimal boundary & region segmentation of objects in N-D images. In ICCV.

    Google Scholar 

  • Boykov, Y., & Kolmogorov, V. (2003). Computing geodesics and minimal surfaces via graph cuts. In ICCV.

    Google Scholar 

  • Boykov, Y., & Kolmogorov, V. (2004). An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision. IEEE Transactions on Pattern Analysis and Machine Intelligence, 26(9), 1124–1137.

    Article  Google Scholar 

  • Boykov, Y., & Lempitsky, V. (2006). From photohulls to photoflux optimization. In BMVC.

    Google Scholar 

  • Boykov, Y., Veksler, O., & Zabih, R. (1998). Markov random fields with efficient approximations. In CVPR.

    Google Scholar 

  • Boykov, Y., Veksler, O., & Zabih, R. (1999). Fast approximate energy minimization via graph cuts. In ICCV.

    Google Scholar 

  • Cherkassky, B. V., & Goldberg, A. V. (1994). On implementing push-relabel method for the maximum flow problem. Tech. rep.

  • Delong, A., & Boykov, Y. (2008). A scalable graph-cut algorithm for N-D grids. In CVPR.

    Google Scholar 

  • Goldberg, A. (1987). Efficient graph algorithms for sequential and parallel computers. Ph.D. thesis, Massachusetts Institute of Technology.

  • Goldberg, A. V. (1991). Processor-efficient implementation of a maximum flow algorithm. Information Processing Letters, 38(4), 179–185.

    Article  MATH  Google Scholar 

  • Goldberg, A. V. (2008). The partial augment–relabel algorithm for the maximum flow problem. In Proceedings of the 16th annual European symposium on algorithms.

    Google Scholar 

  • Goldberg, A. V., & Rao, S. (1998). Beyond the flow decomposition barrier. J. ACM.

  • Goldberg, A. V., & Tarjan, R. E. (1988). A new approach to the maximum flow problem. Journal of the ACM, 35.

  • Ishikawa, H. (2003). Exact optimization for Markov random fields with convex priors. IEEE Transactions on Pattern Analysis and Machine Intelligence, 25(10), 1333–1336.

    Article  Google Scholar 

  • Jancosek, M., & Pajdla, T. (2011). Robust, accurate and weakly-supported-surfaces preserving multi-vew reconstruction. In CVPR.

    Google Scholar 

  • Kohli, P., & Torr, P. (2005). Efficiently solving dynamic Markov random fields using graph cuts. In ICCV05 (Vol. 2, pp. 922–929).

    Google Scholar 

  • Kohli, P., Shekhovtsov, A., Rother, C., Kolmogorov, V., & Torr, P. (2008). On partial optimality in multi-label MRFs. In ICML.

    Google Scholar 

  • Kolmogorov, V. (2004). Graph based algorithms for scene reconstruction from two or more views. Ph.D. thesis, Ithaca, NY, USA, aAI3114475.

  • Kolmogorov, V., & Rother, C. (2007). Minimizing non-submodular functions with graph cuts—a review. IEEE Transactions on Pattern Analysis and Machine Intelligence, 29(7), 1274–1279.

    Article  Google Scholar 

  • Kolmogorov, V., & Zabih, R. (2001). Computing visual correspondence with occlusions via graph cuts. In ICCV.

    Google Scholar 

  • Kovtun, I. (2004). Image segmentation based on sufficient conditions of optimality in np-complete classes of structural labelling problem. Ph.D. thesis (in Ukrainian).

  • Labatut, P., Pons, J. P., & Keriven, R. (2009). Robust and efficient surface reconstruction from range data. Computer Graphics Forum, 28(8), 2275–2290.

    Article  Google Scholar 

  • Lempitsky, V., & Boykov, Y. (2007). Global optimization for shape fitting. In CVPR.

    Google Scholar 

  • Lempitsky, V., Boykov, Y., Ivanov, D., & Ivanov, D. (2006). Oriented visibility for multiview reconstruction. In ECCV.

    Google Scholar 

  • Lempitsky, V., Rother, C., Roth, S., & Blake, A. (2010). Fusion moves for Markov random field optimization. IEEE Transactions on Pattern Analysis and Machine Intelligence, 32(8), 1392–1405.

    Article  Google Scholar 

  • Liu, J., & Sun, J. (2010). Parallel graph-cuts by adaptive bottom-up merging. In CVPR.

    Google Scholar 

  • Schlesinger, D., & Flach, B. (2006). Transforming an arbitrary minsum problem into a binary one. Research report, Dresden University of Technology.

  • Shekhovtsov, A., & Hlavac, V. (2011). A distributed mincut/maxflow algorithm combining path augmentation and push-relabel. In Lecture notes in computer science. Proceedings of the 8th international conference on energy minimization methods in computer vision and pattern recognition (EMMCVPR) (p. 14). Berlin: Springer.

    Google Scholar 

  • Strandmark, P., & Kahl, F. (2010). Parallel and distributed graph cuts by dual decomposition. In CVPR.

  • University of Western Ontario web pages (2008). Computer vision research group. max-flow problem instances in vision. http://vision.csd.uwo.ca/maxflow-data/.

Download references

Acknowledgements

This work was supported by the EU project FP7-ICT-247870 NIFTi, FP7-ICT-247525 HUMAVIPS and GACR P103/10/0783.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alexander Shekhovtsov.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shekhovtsov, A., Hlaváč, V. A Distributed Mincut/Maxflow Algorithm Combining Path Augmentation and Push-Relabel. Int J Comput Vis 104, 315–342 (2013). https://doi.org/10.1007/s11263-012-0571-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11263-012-0571-2

Keywords

Navigation