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 14 vertices 0..13 such that: - the girth is at least 6: the graph has no cycle of length less than 6 (a graph without cycles qualifies) - it contains each of the…

The task

Construct a simple undirected graph on the 14 vertices 0..13 such that: - the girth is at least 6: the graph has no cycle of length less than 6 (a graph without cycles qualifies) - it contains each of the following edges: (9,13), (4,13)

Part of amphora/MathConstructOptimize-Envs-harbor.