Erdős problem 214 · problems.science

Let $S\subset \mathbb{R}^2$ be such that no two points in $S$ are distance $1$ apart. Must the complement of $S$ contain four points which form a unit square?

Sources

Browse retained paths and inspect the exact material available for this Problem.

6 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

214.lean

Retained formal statement3 of 6

The upper bound was improved further by Csizmadia and Tóth [CsTo94] to $k\leq 7$ .

FormalConjectures/ErdosProblems/214.leanErdos214.erdos_214.variants.csizmadia_toth1 lineExact file

1¬Erdos214.HasRedCopies 8

SolvedStatement only, no proof

Sources

Search problems.science