The bounded-difference conjecture for Cookie Monster losing positions

Let pi0,qi0p^0_i,q^0_i and pi1,qi1p^1_i,q^1_i enumerate, respectively, all losing positions of the forms {0,pi0,qi0}\{0,p^0_i,q^0_i\} and {1,pi1,qi1}\{1,p^1_i,q^1_i\}, with each family arranged in increasing order of its first variable, pi0p^0_i or pi1p^1_i. Bounded-difference conjecture. There exist constants bounding both

pi1pi0p^1_i-p^0_i

and

(qi1pi1)(qi0pi0).(q^1_i-p^1_i)-(q^0_i-p^0_i).

This conjecture predicts a uniform correspondence between the two ordered families of losing positions, but the source gives no evidence of a proof or resolution.

Sources & referencesView supporting material

Primary source

Megan Belzner, “Emptying Sets: The Cookie Monster Problem”, arXiv:1304.7508 (2013).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.