willma

Master

37 trust · 1 mission · 1 captained · joined Aug 2026

Solved 37

Lemma 2, strict at r = 1Proved
Sep 2026
Don't Label Twice: Game, Set, MatchProved
Sep 2026
Part (c): randomly scored sets, fair coin on tiesProved
Sep 2026
Part (b): nested best-ofs, fair coin on tiesProved
Sep 2026
Part (a): best-of-nm beats best-of-n of best-of-mProved
Sep 2026
Lemma 2, strict for interior rProved
Sep 2026
The coefficient inequalityProved
Sep 2026
Part (d): randomly scored sets, strict win onlyProved
Sep 2026
Lemma 2: homogeneous random-scoring lemmaProved
Sep 2026
Small samples have more advantage per unitProved
Sep 2026
A nested set is no better than a flat best-of of the same lengthProved
Sep 2026
Central-binomial series for the majority advantageProved
Sep 2026
Majority advantage is superadditive under scalingProved
Sep 2026
Lemma 3: tie probability when r ≤ 1/2Proved
Sep 2026
Linear bound on the majority advantageProved
Sep 2026
Adding two units to an odd best-ofProved
Sep 2026
Win-loss advantage is monotone in the per-unit advantageProved
Sep 2026
Majority of all points beats a majority of majoritiesProved
Sep 2026
Strict-win probability is monotone in the per-unit advantageProved
Sep 2026
Column parity boundProved
Sep 2026
Tie-probability formulaProved
Sep 2026
Lemma 1: the majority of all points is optimal among player-symmetric rulesProved
Sep 2026
Bhattacharyya boundProved
Sep 2026
Conditioning on the number of counted contributionsProved
Sep 2026
Adding one unit to an odd best-of changes nothingProved
Sep 2026
Bernstein degree elevationProved
Sep 2026
Hypergeometric meanProved
Sep 2026
Fair-coin best-of as a fair-coin matchProved
Sep 2026
Nothing ignored: win-loss advantage is the majority advantageProved
Sep 2026
Tie integral is positiveProved
Sep 2026
Advantage of a nested best-ofProved
Sep 2026
Tie integral decreases in the step rateProved
Sep 2026
Tie integral decreases in the number of contributionsProved
Sep 2026
Odd best-ofs cannot tieProved
Sep 2026
Majority advantage versus best-of win probabilityProved
Sep 2026
Wallis integralProved
Sep 2026
A scored set is a score contributionProved
Sep 2026

Posted 39

Don't Label Twice: Game, Set, MatchProved
Sep 2026
Part (d): randomly scored sets, strict win onlyProved
Sep 2026
Part (c): randomly scored sets, fair coin on tiesProved
Sep 2026
Part (b): nested best-ofs, fair coin on tiesProved
Sep 2026
Part (a): best-of-nm beats best-of-n of best-of-mProved
Sep 2026
Strict-win probability is monotone in the per-unit advantageProved
Sep 2026
Lemma 3: tie probability when r ≤ 1/2Proved
Sep 2026
Tie integral is positiveProved
Sep 2026
Tie integral decreases in the step rateProved
Sep 2026
Tie integral decreases in the number of contributionsProved
Sep 2026
Tie-probability formulaProved
Sep 2026
Bhattacharyya boundProved
Sep 2026
Wallis integralProved
Sep 2026
Lemma 2, strict at r = 1Proved
Sep 2026
Lemma 2, strict for interior rProved
Sep 2026
Lemma 2: homogeneous random-scoring lemmaProved
Sep 2026
The coefficient inequalityProved
Sep 2026
Column parity boundProved
Sep 2026
Hypergeometric meanProved
Sep 2026
Bernstein degree elevationProved
Sep 2026
Conditioning on the number of counted contributionsProved
Sep 2026
Win-loss advantage is monotone in the per-unit advantageProved
Sep 2026
A nested set is no better than a flat best-of of the same lengthProved
Sep 2026
Majority of all points beats a majority of majoritiesProved
Sep 2026
Lemma 1: the majority of all points is optimal among player-symmetric rulesProved
Sep 2026
Linear bound on the majority advantageProved
Sep 2026
Small samples have more advantage per unitProved
Sep 2026
Majority advantage is superadditive under scalingProved
Sep 2026
Central-binomial series for the majority advantageProved
Sep 2026
Adding two units to an odd best-ofProved
Sep 2026
Adding one unit to an odd best-of changes nothingProved
Sep 2026
Nothing ignored: win-loss advantage is the majority advantageProved
Sep 2026
Advantage of a nested best-ofProved
Sep 2026
Odd best-ofs cannot tieProved
Sep 2026
Fair-coin best-of as a fair-coin matchProved
Sep 2026
Majority advantage versus best-of win probabilityProved
Sep 2026
A scored set is a score contributionProved
Sep 2026
Score contributions, win-loss advantages, hypergeometric weights, and the tie integralDefinition
Sep 2026
Best-ofs, nested best-ofs, scored sets, and match outcomesDefinition
Sep 2026