Skip to main content

Enumerating Minimal Dicuts and Strongly Connected Subgraphs and Related Geometric Problems

  • Conference paper
Integer Programming and Combinatorial Optimization (IPCO 2004)

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

Abstract

We consider the problems of enumerating all minimal strongly connected subgraphs and all minimal dicuts of a given directed graph G=(V,E). We show that the first of these problems can be solved in incremental polynomial time, while the second problem is NP-hard: given a collection of minimal dicuts for G, it is NP-complete to tell whether it can be extended. The latter result implies, in particular, that for a given set of points \({\mathcal A}\subseteq{\mathbb R}^n\), it is NP-hard to generate all maximal subsets of \({\mathcal A}\) contained in a closed half-space through the origin. We also discuss the enumeration of all minimal subsets of \({\mathcal A}\) whose convex hull contains the origin as an interior point, and show that this problem includes as a special case the well-known hypergraph transversal problem.

This research was supported by the National Science Foundation (Grant IIS-0118635). The second and third authors are also grateful for the partial support by DIMACS, the National Science Foundation’s Center for Discrete Mathematics and Theoretical Computer Science.

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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abel, U., Bicker, R.: Determination of all cutsets between a node pair in an undirected graph. IEEE Transactions on Reliability 31, 167–171 (1986)

    Article  Google Scholar 

  2. Avis, D., Fukuda, K.: A Pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra. In: Symp. Comput. Geom., pp. 98–104 (1991)

    Google Scholar 

  3. Bansal, V.K., Misra, K.B., Jain, M.P.: Minimal pathset and minimal cutset using search technique. Microelectr. Reliability 22, 1067–1075 (1982)

    Article  Google Scholar 

  4. Bollobas, B.: Graph Theory: An introductory course. Springer, Heidelberg (1979)

    MATH  Google Scholar 

  5. Boros, E., Elbassioni, K., Gurvich, V., Khachiyan, L.: On enumerating minimal dicuts and strongly connected subgraphs, DIMACS Technical Report 2003-35, Rutgers University, http://dimacs.rutgers.edu/TechnicalReports/2003.html

  6. Boros, E., Gurvich, V., Khachiyan, L., Makino, K.: Dual-bounded generating problems: partial and multiple transversals of a hypergraph. SIAM J. Comput. 30, 2036–2050 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  7. Colburn, C.J.: The Combinatorics of network reliability. Oxford Univ. Press, Oxford (1987)

    Google Scholar 

  8. Curet, N.D., DeVinney, J., Gaston, M.E.: An efficient network flow code for finding all minimum cost s-t cutsets. Comp. and Oper. Res. 29, 205–219 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  9. Eiter, T., Gottlob, G.: Identifying the minimal transversals of a hypergraph and related problems. SIAM J. Comput. 24, 1278–1304 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  10. Fredman, M.L., Khachiyan, L.: On the complexity of dualization of monotone disjunctive normal forms. J. Algorithms 21, 618–628 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  11. Garey, M.R., Johnson, D.S.: Computers and intractability: A guide to the theory of NP-completeness. W.H. Freeman and Co., New York (1979)

    MATH  Google Scholar 

  12. Gusfield, D., Naor, D.: Extracting maximum information about sets of minimum cuts. Algorithmica 10, 64–89 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  13. Jerrum, M.R., Valiant, L.G., Vazirani, V.V.: Random generation of combinatorial structures from a uniform distribution. Theor. Comp. Sc. 43, 169–188 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  14. Lawler, E., Lenstra, J.K., Rinnooy Kan, A.H.G.: Generating all maximal independent sets: NP-hardness and polynomial-time algorithms. SIAM Journal on Computing 9, 558–565 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  15. Pfetsch, M.: The Maximum feasible Subsystem Problem and Vertex-Facet Incidences of Polyhedra, Dissertation, TU Berlin (2002)

    Google Scholar 

  16. Provan, J.S., Ball, M.O.: Computing network reliability in time polynomial in the number of cuts. Operations Research 32, 516–526 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  17. Provan, J.S., Shier, D.R.: A paradigm for listing (s, t) cuts in graphs. Algorithmica 15, 351–372 (1996)

    MATH  MathSciNet  Google Scholar 

  18. Read, R.C., Tarjan, R.E.: Bounds on backtrack algorithms for listing cycles, paths, and spanning trees. Networks 5, 237–252 (1975)

    MATH  MathSciNet  Google Scholar 

  19. Ryan, J.: IIS-Hypergraphs. SIAM J. Discrete Math. 9(4), 643–653 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  20. Schwikowski, B., Speckenmeyer, E.: On enumerating all minimal solutions of feedback problems. Discrete Applied Mathematics 117, 253–265 (2002)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Boros, E., Elbassioni, K., Gurvich, V., Khachiyan, L. (2004). Enumerating Minimal Dicuts and Strongly Connected Subgraphs and Related Geometric Problems. In: Bienstock, D., Nemhauser, G. (eds) Integer Programming and Combinatorial Optimization. IPCO 2004. Lecture Notes in Computer Science, vol 3064. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25960-2_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25960-2_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22113-5

  • Online ISBN: 978-3-540-25960-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics