儘管問題看起來簡單,但數學家已經研究了數十年。
目前最重要的結果來自 Spencer、Szemerédi 和 Trotter(1984),他們證明:
U(n) = O(n^{4/3})因此,今天我們對這個問題只知道上下界:
下界: n^(1 + O(1 / log log n))
上界: O(n^(4/3))
猜測: n^(1 + o(1))上下界之間仍存在相當大的差距。
Erdős 的距離問題是**組合幾何(combinatorial geometry)**的重要核心問題之一。它與多個領域密切相關,例如:
許多現代幾何工具與技巧,都是在研究這類問題時發展出來的。
目前數學界的共識是:
Erdős 單位距離猜想仍然沒有被證明。