Skip to main content

Random Generation and Enumeration of Proper Interval Graphs

  • Conference paper
WALCOM: Algorithms and Computation (WALCOM 2009)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5431))

Included in the following conference series:

Abstract

We investigate connected proper interval graphs without vertex labels. We first give the number of connected proper interval graphs of n vertices. Using it, a simple algorithm that generates a connected proper interval graph uniformly at random up to isomorphism is presented. Finally an enumeration algorithm of connected proper interval graphs is proposed. The algorithm is based on the reverse search, and it outputs each connected proper interval graph in \(\mbox{\cal O}(1)\) time.

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. Arnold, D.B., Sleep, M.R.: Uniform Random Generation of Balanced Parenthesis Strings. ACM Transaction Programming Languages and Systems 2(1), 122–128 (1980)

    Article  Google Scholar 

  2. Avis, D., Fukuda, K.: Reverse Search for Enumeration. Discrete Applied Mathematics 65, 21–46 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bertossi, A.A.: Finding Hamiltonian Circuits in Proper Interval Graphs. Information Processing Letters 17(2), 97–101 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bogart, K.P., West, D.B.: A short proof that ‘proper=unit’. Discrete Mathematics 201, 21–23 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  5. Bonichon, N.: A bijection between realizers of maximal plane graphs and pairs of non-crossing Dyck paths. Discrete Mathematics 298, 104–114 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  6. Brandstädt, A., Le, V.B., Spinrad, J.P.: Graph Classes: A Survey. SIAM, Philadelphia (1999)

    Book  MATH  Google Scholar 

  7. Chinn, P.Z., Chvátalová, J., Dewdney, A.K., Gibbs, N.E.: The bandwidth problem for graphs and matrices — A survey. Journal of Graph Theory 6, 223–254 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  8. de Figueiredo, C.M.H., Meidanis, J., de Mello, C.P.: A lexBFS Algorithm for Proper Interval Graph Recognition. IC DCC-04/93, Instituto de Computação, Universidade Estadual de Campinas (1993)

    Google Scholar 

  9. Deng, X., Hell, P., Huang, J.: Linear-time Representation Algorithms for Proper Circular-arc Graphs and Proper Interval Graphs. SIAM Journal on Computing 25(2), 390–403 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  10. Geary, R., Rahman, N., Raman, R., Raman, V.: A Simple Optimal Representation for Balanced Parentheses. In: Sahinalp, S.C., Muthukrishnan, S.M., Dogrusoz, U. (eds.) CPM 2004. LNCS, vol. 3109, pp. 159–172. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Golumbic, M.C.: Algorithmic Graph Theory and Perfect Graphs. In: Annals of Discrete Mathematics, 2nd edn., vol. 57. Elsevier, Amsterdam (2004)

    Google Scholar 

  12. Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics. Addison-Wesley Publishing Company, Reading (1989)

    MATH  Google Scholar 

  13. Hell, P., Huang, J.: Certifying LexBFS recognition algorithms for proper interval graphs and proper interval bigraphs. SIAM J. Discrete Math. 18, 554–570 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  14. Hell, P., Shamir, R., Sharan, R.: A fully dynamic algorithm for recognizing and representing proper interval graphs. SIAM Journal on Computing 31, 289–305 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  15. Nakano, S.-i.: Enumerating Floorplans with n Rooms. IEICE Transactions on Fundamentals E85-A(7), 1746–1750 (2002)

    Google Scholar 

  16. Nakano, S.-i.: Personal communication (2008)

    Google Scholar 

  17. Nakano, S.-i., Uehara, R., Uno, T.: A New Approach to Graph Recognition and Applications to Distance-Hereditary Graphs. In: Cai, J.-Y., Cooper, S.B., Zhu, H. (eds.) TAMC 2007. LNCS, vol. 4484, pp. 115–127. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  18. Kaneko, Y., Nakano, S.-i.: Random Generation of Plane Graphs and Its Application. IEICE Transactions on Fundamentals J85-A(9), 976–983 (2002)

    Google Scholar 

  19. Kaplan, H., Shamir, R.: Pathwidth, Bandwidth, and Completion Problems to Proper Interval Graphs with Small Cliques. SIAM Journal on Computing 25(3), 540–561 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  20. Kaplan, H., Shamir, R., Tarjan, R.E.: Tractability of Parameterized Completion Problems on Chordal, Strongly Chordal, and Proper Interval Graphs. SIAM Journal on Computing 28(5), 1906–1922 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  21. Karttunen, A.: Personal communication (2008)

    Google Scholar 

  22. Knuth, D.E.: Generating All Trees, 4th edn. The Art of Computer Programming, vol. 4. Addison-Wesley, Reading (2005)

    Google Scholar 

  23. Lai, Y.L., Williams, K.: A survey of solved problems and applications on bandwidth, edgesum, and profile of graphs. Journal of Graph Theory 31(2), 75–94 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  24. Li, Z., Nakano, S.-i.: Efficient generation of plane triangulations without repetitions. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 433–443. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  25. Lueker, G.S., Booth, K.S.: A Linear Time Algorithm for Deciding Interval Graph Isomorphism. Journal of the ACM 26(2), 183–195 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  26. Monien, B.: The Bandwidth Minimization Problem for Caterpillars with Hair Length 3 is NP-Complete. SIAM J. Alg. Disc. Meth. 7(4), 505–512 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  27. Munro, J.I., Raman, V.: Succinct Representation of Balanced Parentheses, Static Trees and Planar graphs. In: Proc. 38th ACM Symp. on the Theory of Computing, pp. 118–126. ACM Press, New York (1997)

    Google Scholar 

  28. Munro, J.I., Raman, V.: Succinct Representation of Balanced Parentheses and Static Trees. SIAM Journal on Computing 31, 762–776 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  29. Nakano, S.-i., Uno, T.: Constant time generation of trees with specified diameter. In: Hromkovič, J., Nagl, M., Westfechtel, B. (eds.) WG 2004. LNCS, vol. 3353, pp. 33–45. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  30. Nakano, S.-i.: Efficient Generation of Plane Trees. Information Processing Letters 84(3), 167–172 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  31. Panda, B.S., Das, S.K.: A Linear Time Recognition Algorithm for Proper Interval Graphs. Information Processing Letters 87, 153–161 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  32. Papadimitriou, C.H.: The NP-completeness of the bandwidth minimization problem. Computing 16, 263–270 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  33. Roberts, F.S.: Indifference graphs. In: Harary, F. (ed.) Proof Techniques in Graph Theory, pp. 139–146. Academic Press, London (1969)

    Google Scholar 

  34. Stanley, R.P.: Enumerative Combinatorics, vol. 2. Cambridge (1997)

    Google Scholar 

  35. Uehara, R., Toda, S., Nagoya, T.: Graph Isomorphism Completeness for Chordal Bipartite Graphs and Strongly Chordal Graphs. Discrete Applied Mathematics 145(3), 479–482 (2004)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saitoh, T., Yamanaka, K., Kiyomi, M., Uehara, R. (2009). Random Generation and Enumeration of Proper Interval Graphs. In: Das, S., Uehara, R. (eds) WALCOM: Algorithms and Computation. WALCOM 2009. Lecture Notes in Computer Science, vol 5431. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00202-1_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-00202-1_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-00201-4

  • Online ISBN: 978-3-642-00202-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics