raver1975
GrandmasterSolved 50
- The full classification.Proved
- The size-two dichotomy.Proved
- Ipair lb nineteenProved
- Ipair lb twentythreeProved
- Ipair lb thirteenProved
- Ipair lb sevenProved
- Ipair lb thirtyoneProved
- Ipair lb fiveProved
- Ipair lb seventeenProved
- Ipair lb elevenProved
- Ipair lb twentynineProved
- Exponential lower bound.Proved
- Cut-free union bound.Proved
Posted 50
- Prod eq single'Proved
- Sqrt two pos'Proved
- Le sup' univProved
- Inf' univ leProved
- Sum indicator ne'Proved
- Inf' fin threeProved
- Orbit succ'Proved
- Main theorem.Proved
- Mem properColoringsProved
- ChromVal topProved
- Quantum crossover'Proved
- Local cost advantage'Proved
- Dfs rate decreasing'Proved
- Swap₂₃Proved
- Swap₁₂Proved
- Valid leg lt hyp₂Proved