Erdős problem 477 · problems.science

Does there exist an integer polynomial $f$ of degree at least two and a set $A \subseteq \mathbb{Z}$ such that every integer has a unique representation $n = a + f(k)$ ? A manuscript claims the thirteenth powers admit a tiling complement.

Sources

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

6 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

477.lean

Retained formal statement5 of 5

Probably there is no such $A$ for the polynomial $X^3$ .

FormalConjectures/ErdosProblems/477.leanErdos477.erdos_477.variants.X_pow_three1 lineExact file

1∀ (A : Set ℤ), ∃ z, ¬∃! a, a ∈ A ×ˢ ((fun x => Polynomial.eval x (Polynomial.X ^ 3)) '' {n | 0 < n}) ∧ z = a.1 + a.2

OpenStatement only, no proof

Sources

Search problems.science