Discrete & Computational Geometry

, Volume 45, Issue 2, pp 279–302 | Cite as

On the Number of Simple Arrangements of Five Double Pseudolines

  • Julien Ferté
  • Vincent Pilaud
  • Michel PocchiolaEmail author


We describe an incremental algorithm to enumerate the isomorphism classes of double pseudoline arrangements. The correction of our algorithm is based on the connectedness under mutations of the spaces of one-extensions of double pseudoline arrangements, proved in this paper. Counting results derived from an implementation of our algorithm are also reported.


Combinatorial geometry Convexity Two-dimensional projective geometries Arrangements of pseudolines Arrangements of double pseudolines Chirotopes Mutations One-extension spaces Enumeration algorithms 


  1. 1.
    Agarwal, P.K., Sharir, M.: Pseudo-line arrangements: Duality, algorithms, and applications. SIAM J. Comput. 34(3), 526–552 (2005) CrossRefMathSciNetzbMATHGoogle Scholar
  2. 2.
    Aichholzer, O., Aurenhammer, F., Krasser, H.: Enumerating order types for small point sets with applications. Order 19(3), 265–281 (2002). An abbreviated version appears in Proc. 17th Annu. ACM Sympos. Comput. Geom., pp. 11–18 (2001) CrossRefMathSciNetzbMATHGoogle Scholar
  3. 3.
    Björner, A., Las Vergnas, M., Sturmfels, B., White, N., Ziegler, G.M.: Oriented Matroids, 2nd edn. Cambridge University Press, Cambridge (1999) CrossRefzbMATHGoogle Scholar
  4. 4.
    Bokowski, J.: Computational Oriented Matroids. Cambridge University Press, Cambridge (2006) zbMATHGoogle Scholar
  5. 5.
    Bokowski, J., de Oliveira, A.G.: On the generation of oriented matroids. Discrete Comput. Geom. 24, 197–208 (2000) CrossRefMathSciNetzbMATHGoogle Scholar
  6. 6.
    Finschi, L.: A graph theoretical approach for reconstruction and generation of oriented matroids. Ph.D. thesis (2001) Google Scholar
  7. 7.
    Finschi, L., Fukuda, K.: Generation of oriented matroids—a graph theoretical approach. Discrete Comput. Geom. 27(1), 117–136 (2002) MathSciNetGoogle Scholar
  8. 8.
    Finschi, L., Fukuda, K.: Combinatorial generation of small point configurations and hyperplane arrangements. In: Discrete and Computational Geometry—The Goodman-Pollack Festschrift. Algorithms and Combinatorics, vol. 25, pp. 425–440. Springer, Berlin (2003) Google Scholar
  9. 9.
    Goodman, J.E.: Pseudoline arrangements. In: Goodman, J.E., O’Rourke, J. (eds.) Handbook of Discrete and Computational Geometry, pp. 97–128. Chapman & Hall/CRC, London/Boca Raton (2004). Chapter 5 Google Scholar
  10. 10.
    Goodman, J.E., Pollack, R., Wenger, R., Zamfirescu, T.: Arrangements and topological planes. Am. Math. Monthly 101(9), 866–878 (1994) CrossRefMathSciNetzbMATHGoogle Scholar
  11. 11.
    Gross, J.L., Tucker, T.W.: Topological Graph Theory. Dover, New York (2001). Originally published: Wiley, New York (1987) zbMATHGoogle Scholar
  12. 12.
    Grünbaum, B.: Arrangements and Spreads. Regional Conf. Ser. Math. Am. Math. Soc., Providence (1972) zbMATHGoogle Scholar
  13. 13.
    Grünbaum, B.: Configurations of Points and Lines. Graduate Studies in Mathematics, vol. 103. Am. Math. Soc., Providence (2009) zbMATHGoogle Scholar
  14. 14.
    Habert, L., Pocchiola, M.: Arrangements of double pseudolines. Discrete Comput. Geom. (2010, submitted). Abbreviated version in Proc. 25th Annu. ACM Sympos. Comput. Geom. (SCG09), pp. 314–323, June 2009, Aahrus, Denmark. A partial abbreviated version appears in the Abstracts 12th European Workshop Comput. Geom., pp. 211–214, 2006, Delphes, and a poster version was presented at the Workshop on Geometric and Topological Combinatorics (satellite conference of ICM 2006), September 2006, Alcala de Henares, Spain, October 2006 Google Scholar
  15. 15.
    Knuth, D.E.: Axioms and Hulls. Lecture Notes Comput. Sci., vol. 606. Springer, Heidelberg (1992) zbMATHGoogle Scholar
  16. 16.
    Schewe, L.: Generation of oriented matroids using satisfiability solvers. In: ICMS. LNCS, vol. 4151, pp. 216–218. Springer, Berlin (2006). Google Scholar
  17. 17.
    Schewe, L.: Non-realizable minimal vertex triangulations of surfaces: showing non-realizability using oriented matroids and satisfiability solvers. Technical Report, 16 Jan 2008, arXiv:0801.2582v1 [math.MG]

Copyright information

© Springer Science+Business Media, LLC 2010

Authors and Affiliations

  • Julien Ferté
    • 1
  • Vincent Pilaud
    • 2
  • Michel Pocchiola
    • 2
    Email author
  1. 1.Laboratoire d’Informatique FondamentaleUniversité de ProvenceMarseilleFrance
  2. 2.Équipe Combinatoire et OptimisationUniversité Pierre et Marie CurieParisFrance

Personalised recommendations