, Volume 35, Issue 2, pp 275–281 | Cite as

Counterexamples to Conjectures About Subset Takeaway and Counting Linear Extensions of a Boolean Lattice

  • Andries E. Brouwer
  • J. Daniel Christensen


We develop an algorithm for efficiently computing recursively defined functions on posets. We illustrate this algorithm by disproving conjectures about the game Subset Takeaway (Chomp on a hypercube) and computing the number of linear extensions of the lattice of a 7-cube and related lattices.


Combinatorial game Impartial game Grundy number Partially ordered set Total order 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Brightwell, G.R., Tetali, P.: The number of linear extensions of the Boolean lattice. Order 20, 333–345 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Brightwell, G.R., Winkler, P.: Counting linear extensions. Order 8, 225–242 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
  4. 4.
    Christensen, J.D., Tilford, M.: David Gale’s subset take-away game. Amer. Math. Monthly 104, 762–766 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Conway, J.H.: On Numbers and Games. Academic Press, London (1976)zbMATHGoogle Scholar
  6. 6.
    Gale, D., Neyman, A.: Nim-type games. Internat. J. Game Theory 11, 17–20 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Gardner, M.: Mathematical games, Sci. Am., 1973, pp. 110–111Google Scholar
  8. 8.
    Khandhawit, T., Ye, L.: Chomp on Graphs and Subsets. arXiv:1101.2718 (2011)
  9. 9.
    Morton, J.R.: Geometry of conditional independence, Ph.D. thesis, University of California, Berkeley, Fall (2007)Google Scholar
  10. 10.
    Sha, J., Kleitman, D.J.: The number of linear extensions of subset ordering, vol. 63 (1987)Google Scholar
  11. 11.
    Sloane, N.J.A.: The On-Line Encyclopedia of Integer Sequences. A000372, A003182 and A046873
  12. 12.
    Weinreich, D.M.: The rank ordering of genotypic fitness values predicts genetic constraint on natural selection on landscapes lacking sign epistasis. Genetics 171, 1397–1405 (2005)CrossRefGoogle Scholar
  13. 13.
    Wiedemann, D.H.: A computation of the eighth Dedekind number. Order 8, 5–6 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Wienand, O.: Algorithms for Symbolic Computation and Their Applications, Ph.D. thesis, Univ. Kaiserslautern (2011)Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2017

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of Western OntarioLondonCanada

Personalised recommendations