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.
Arnav Garg, Code and data for 4 X n Chomp P-positions.
Arnav Garg, Structural Conjectures for 4 x n Chomp: Unique Extension, Asymptotic Ratios, and Period-112 Geometry, arXiv:2604.25952 [math.GM], 2026. See p. 3.
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
