OAI/Probability/SATVariance/CountMoments.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RandomKSAT.extendWord line 13
  2. lemma OAI.RandomKSAT.extendWord_fin line 16
  3. def OAI.RandomKSAT.wordCount line 19
  4. def OAI.RandomKSAT.hitProbability line 22
  5. lemma OAI.RandomKSAT.wordCount_nonneg line 25
  6. lemma OAI.RandomKSAT.hitProbability_nonneg line 28
  7. lemma OAI.RandomKSAT.wordCount_cons line 31
  8. lemma OAI.RandomKSAT.wordCount_zero line 37
  9. lemma OAI.RandomKSAT.exp_hit_avg line 40
  10. lemma OAI.RandomKSAT.subhit_exp_avg line 47
  11. lemma OAI.RandomKSAT.exp_wordCount_avg line 57
  12. lemma OAI.RandomKSAT.exp_wordCount_bound line 70
  13. lemma OAI.RandomKSAT.wordCount_avg line 84
  14. lemma OAI.RandomKSAT.subcount_exp_bound line 95
  15. lemma OAI.RandomKSAT.wordCount_factorial_second line 130
  16. lemma OAI.RandomKSAT.one_add_cube_le_exp line 151
  17. lemma OAI.RandomKSAT.one_add_sq_le_exp line 158
  18. lemma OAI.RandomKSAT.wordCount_cube_bound line 165
  19. lemma OAI.RandomKSAT.subcount_sq_bound line 177
  20. lemma OAI.RandomKSAT.wordCount_factorial_second_bound line 198
  21. def OAI.RandomKSAT.rootIncident line 205
  22. def OAI.RandomKSAT.rootCollision line 207
  23. lemma OAI.RandomKSAT.wordCount_incident line 209
  24. lemma OAI.RandomKSAT.wordCount_collision line 215
  25. lemma OAI.RandomKSAT.rootRewards_square_poly line 221
  26. def OAI.RandomKSAT.deletionMomentC line 250
  27. lemma OAI.RandomKSAT.deletionMomentC_nonneg line 254
  28. lemma OAI.RandomKSAT.rootRewards_square_avg line 260