Constraint Programming and Hybrid Formulations for Three Life Designs
作者： Robert Bosch , Michael Trick
DOI: 10.1023/B:ANOR.0000032569.86938.2F
关键词:
摘要: Conway's game of Life provides an interesting testbed for exploring issues in formulation, symmetry, and optimization with constraint programming hybrid programming/integer methods. We consider three pattern-creation problems: finding maximum density still-Lifes, smallest immediate predecessor patterns, period-2 oscillators. For the first two problems, integrating integer approaches a much better solution procedure than either individually. final problem, formulation approach.
springer.com
sci-hub.se 参考文章(5)
Noam David Elkies, The Still-Life Density Problem and its Generalizations Voronoi's Impact on Modern Science, Book I. ,(1998)
Martin Gardner, Wheels, life, and other mathematical amusements ,(1983)
Robert A. Bosch, Maximum density stable patterns in variants of Conway's game of Life Operations Research Letters. ,vol. 27, pp. 7- 11 ,(2000) , 10.1016/S0167-6377(00)00016-X
Robert A. Bosch, Integer Programming and Conway's Game of Life SIAM Review. ,vol. 41, pp. 594- 604 ,(1999) , 10.1137/S0036144598338252
Matthew Cook, Still Life Theory New Constructions in Cellular Automata. ,(2003) , 10.1093/OSO/9780195137170.003.0008