Planar Point Sets Whose Non-Diameter Distances Form a Geometric 3-Chain #
Source: url:https://www.erdosproblems.com/132
Authors: Egor Lyfar
Status: verified
Main declarations: Erdos132ThreeChain.nonDiameterSqDists_ne_chain
Tags: discrete-geometry, distance-geometry, erdos-problems
MSC: 52C10, 52C35, 05C69