Advertisement

Using Relaxations in Maximum Density Still Life

  • Geoffrey Chu
  • Peter J. Stuckey
  • Maria Garcia de la Banda
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5732)

Abstract

The Maximum Density Sill-Life Problem is to fill an n ×n board of cells with the maximum number of live cells so that the board is stable under the rules of Conway’s Game of Life. We reformulate the problem into one of minimising “wastage” rather than maximising the number of live cells. This reformulation allows us to compute strong upper bounds on the number of live cells. By combining this reformulation with several relaxation techniques, as well as exploiting symmetries via caching, we are able to find close to optimal solutions up to size n = 100, and optimal solutions for instances as large as n = 69. The best previous method could only find optimal solutions up to n = 20.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bosch, R.: Integer programming and conway’s game of life. SIAM Review 41(3), 596–604 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Bosch, R., Trick, M.: Constraint programming and hybrid formulations for three life designs. In: Proceedings of the International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CP-AI-OR 2002, pp. 77–91 (2002)Google Scholar
  3. 3.
    Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)zbMATHGoogle Scholar
  4. 4.
    Elkies, N.: The still-life density problem and its generalizations. arXiv:math/9905194v1Google Scholar
  5. 5.
    Elkies, N.: The still-life density problem and its generalizations. Voronoi’s Impact on Modern Science: Book I, 228–253 (1998), arXiv:math/9905194v1Google Scholar
  6. 6.
    Larrosa, J., Dechter, R.: Boosting search with variable elimination in constraint optimization and constraint satisfaction problems. Constraints 8(3), 303–326 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Larrosa, J., Morancho, E., Niso, D.: On the practical use of variable elimination in constraint optimization problems: ’still-life’ as a case study. Journal of Artificial Intelligence Research (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Geoffrey Chu
    • 1
  • Peter J. Stuckey
    • 1
  • Maria Garcia de la Banda
    • 2
  1. 1.NICTA Victoria Laboratory, Department of Computer Science and Software EngineeringUniversity of MelbourneAustralia
  2. 2.Faculty of Information TechnologyMonash UniversityAustralia

Personalised recommendations