Skip to content

Erdős problem 835

Does there exist a k>2k>2 such that the kk-sized subsets of {1,...,2k} can be coloured with k+1k+1 colours such that for every A{1,,2k}A\subset \{1,\ldots,2k\} with A=k+1\lvert A\rvert=k+1 all k+1k+1 colours appear among the kk-sized subsets of AA?

Sources

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

13 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

835.lean

Retained formal statement4 of 13

Does there exist a k>2k>2 such that the kk-sized subsets of {1,...,2k} can be coloured with k+1k+1 colours such that for every A{1,,2k}A\subset \{1,\ldots,2k\} with A=k+1\lvert A\rvert=k+1 all k+1k+1 colours appear among the kk-sized subsets of AA?

FormalConjectures/ErdosProblems/835.leanErdos835.erdos_8351 lineExact file
(∃ k > 2, Erdos835.Property k) ↔ sorry
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page