HF RL Explorer

construct/mc pysms mtf

construct/mc pysms mtf: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Construct a simple undirected graph on the 9 vertices 0..8 such that: - the graph is maximal triangle-free: it contains no triangle, and adding any missing edge would create one (every two non-adjacent vertices…

The task

Construct a simple undirected graph on the 9 vertices 0..8 such that: - the graph is maximal triangle-free: it contains no triangle, and adding any missing edge would create one (every two non-adjacent vertices have a common neighbour) - it contains each of the following edges: (4,7), (0,7)

Part of amphora/MathConstructOptimize-Envs-harbor.