HF RL Explorer

construct/mc pysms min girth

construct/mc pysms min girth: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Construct a simple undirected graph on the 16 vertices 0..15 such that: - the girth is at least 8: the graph has no cycle of length less than 8 (a graph without cycles qualifies) - it contains each of the…

The task

Construct a simple undirected graph on the 16 vertices 0..15 such that: - the girth is at least 8: the graph has no cycle of length less than 8 (a graph without cycles qualifies) - it contains each of the following edges: (11,15), (3,15), (5,15)

Part of amphora/MathConstructOptimize-Envs-harbor.