HF RL Explorer

construct/mc ramsey

construct/mc ramsey: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Colour each of the 171 edges of the complete graph K 19 (vertices 0..18) with colour 0 or 1 so that there is no set of 3 vertices whose connecting edges all have colour 0, and no set of 7 vertices whose connecting…

The task

Colour each of the 171 edges of the complete graph K_19 (vertices 0..18) with colour 0 or 1 so that there is no set of 3 vertices whose connecting edges all have colour 0, and no set of 7 vertices whose connecting edges all have colour 1.

Part of amphora/MathConstructOptimize-Envs-harbor.