HF RL Explorer

construct/mc pysms girth degree

construct/mc pysms girth degree: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Construct a simple undirected graph on the 9 vertices 0..8 such that: - every vertex has degree between 2 and 5 (inclusive) - the girth is at least 8: the graph has no cycle of length less than 8 (a…

The task

Construct a simple undirected graph on the 9 vertices 0..8 such that: - every vertex has degree between 2 and 5 (inclusive) - 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: (2,5)

Part of amphora/MathConstructOptimize-Envs-harbor.