Skip to content

Erdős problem 36

This example calculates the value of M1M 1. The set is {1,2}\{1, 2\}, so the only partition is A={1},B={2}A = \{1\}, B = \{2\} (or vice versa). The possible differences are 12=11 - 2 = -1 and 21=12 - 1 = 1. The Overlap for k=1k=-1 is 1 (if A={1},B={2}A=\{1\}, B=\{2\}) and for k=1k=1 also 1 (if A={2},B={1}A=\{2\}, B=\{1\} ). The MaxOverlap is 11, since the Overlap is 00 for other kk. Thus, M1=1M 1 = 1.

Sources

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

18 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

36.lean

Retained formal statement13 of 18

A lower bound of 465\frac{4 - \sqrt{6}}{5}. See [On the intersection of a linear set with the translation of its complement](https://bibliotekanauki.pl/articles/969027) by *Stanisław Świerczkowski1*, Colloquium Mathematicum 5(2), p. 185-197, 1958

FormalConjectures/ErdosProblems/36.leanErdos36.minimum_overlap.variants.lower.swierczkowski_19581 lineExact file
(4 - 6 ^ (1 / 2)) / 5 < Filter.liminf Erdos36.MinOverlapQuotient Filter.atTop
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page