HF RL Explorer

optimize/finch 4subset 3dist 16

optimize/finch 4subset 3dist 16: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Place 16 distinct points in the plane with rational coordinates such that every 4 of the points determine at least 3 distinct distances , and minimize the total number of distinct distances determined by…

The task

Place 16 distinct points in the plane with **rational coordinates** such that **every 4 of the points determine at least 3 distinct distances**, and **minimize the total number of distinct distances** determined by all $\binom{16}{2} = 120$ pairs.

Part of amphora/MathConstructOptimize-Envs-harbor.