construct/mc van der waerden
construct/mc van der waerden: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Colour the integers 1, 2, ..., 8 with 2 colours (numbered 0..1) so that there is no monochromatic arithmetic progression of length 3: no a = 1, d = 1 with a + 2 d <= 8 such that a, a+d, ..., a+2 d all have…
The task
Colour the integers 1, 2, ..., 8 with 2 colours (numbered 0..1) so that there is no monochromatic arithmetic progression of length 3: no a >= 1, d >= 1 with a + 2*d <= 8 such that a, a+d, ..., a+2*d all have the same colour.