login
A395126
a(n) = fourth coordinate d of the n-th P-position (a,b,c,d) of 4 X n Chomp in lexicographic order, where a>=b>=c>=d>=0 gives row lengths.
1
0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 2, 0, 2, 0, 2, 0, 0, 0, 2, 0, 2, 0, 2, 3, 4, 0, 3, 0, 3, 2, 0, 2, 0, 2, 0, 2, 2, 3, 3, 0, 2, 2, 0, 4, 0, 4, 0, 4, 0, 5, 6, 7, 3, 4, 0, 0, 2, 3, 2, 3, 4, 5, 6, 0, 2, 3, 4, 5, 7, 0, 5, 2, 4, 4, 3, 3, 0, 2, 0, 2, 3, 0, 2, 0, 2
OFFSET
1,13
COMMENTS
A position (a,b,c,d) with a>=b>=c>=d>=0 is a P-position of 4 X n Chomp if the player to move loses under optimal play. This sequence lists the d-values of all such positions sorted lexicographically by (a,b,c). The first 10 positions in order are: (1,0,0,0), (2,1,0,0), (2,2,1,0), (2,2,2,1), (3,1,1,0), (3,2,0,0), (3,3,1,1), (4,1,1,1), (4,2,2,0), (4,3,0,0). Computed for all n<=500, yielding 4316097 P-positions with zero violations of the Unique Extension conjecture: for any triple (a,b,c), at most one value of d completes a P-position. This is an empirical observation, not a proof.
LINKS
Andries E. Brouwer, Gábor Horváth, Ildikó Molnár-Sáska, and Csaba Szabó, On three-rowed Chomp, Integers, 5 (2005), #G07.
Sean A. Irvine, Java program (github)
Doron Zeilberger, Three-Rowed CHOMP, Adv. in Appl. Math., 26 (2001), 168-179.
CROSSREFS
KEYWORD
nonn
AUTHOR
Arnav Garg, Apr 12 2026
STATUS
approved