no code implementations • 25 Feb 2021 • Remie Janssen, Leonie van Steijn
The unit distance graph $G_{\mathbb{R}^d}^1$ is the infinite graph whose nodes are points in $\mathbb{R}^d$, with an edge between two points if the Euclidean distance between these points is 1.
Combinatorics Metric Geometry 05C10, 05C40, 05C12, 05C63, 52A99