Skip to content

Erdős problem 872

Each move claims exactly one pool element, so the minimax value never exceeds the number of already claimed elements plus the number of still unclaimed elements.

Sources

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

6 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

872.lean

Retained formal statement4 of 6

Forum-related variant: how small can a maximal primitive subset of {2,,n}\{2, \dots, n\} be? The set of primes in {2,,n}\{2, \dots, n\} is a maximal primitive subset of size π(n)\pi(n), and the forum thread asks whether this is the smallest possible for all n2n \geq 2. Equivalently: must every completed play of the saturation game, by both players and regardless of strategy, claim at least π(n)\pi(n) elements? (Terminal positions of the game are exactly the maximal primitive subsets.)

FormalConjectures/ErdosProblems/872.leanErdos872.erdos_872.variants.prime_question3 linesExact file
Truen ≥ 2,    ∀ (A : Finset ℕ), Maximal (Erdos872.IsPrimitive n) A → (Finset.filter Nat.Prime (Finset.Icc 2 n)).cardA.card
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page