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 8 vertices 0..7 such that: - every vertex has degree between 4 and 4 (inclusive) - the girth is at least 4: the graph has no cycle of length less than 4 (a…

The task

Construct a simple undirected graph on the 8 vertices 0..7 such that: - every vertex has degree between 4 and 4 (inclusive) - the girth is at least 4: the graph has no cycle of length less than 4 (a graph without cycles qualifies) - it contains each of the following edges: (0,4), (0,7), (2,4)

Part of amphora/MathConstructOptimize-Envs-harbor.