OAI/Probability/SATVariance/SupportProbabilities.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RandomKSAT.renameClause line 13
  2. lemma OAI.RandomKSAT.mem_renameClause line 17
  3. lemma OAI.RandomKSAT.read_renameClause line 20
  4. def OAI.RandomKSAT.renameClauseEquiv line 24
  5. lemma OAI.RandomKSAT.renameClauseEquiv_apply line 30
  6. lemma OAI.RandomKSAT.support_probability_uniform line 33
  7. lemma OAI.RandomKSAT.support_probability_scaled line 40
  8. lemma OAI.RandomKSAT.support_pair_probability_uniform line 54
  9. lemma OAI.RandomKSAT.support_pair_probability_scaled line 62
  10. lemma OAI.RandomKSAT.support_pair_probability_bound line 87
  11. def OAI.RandomKSAT.clauseOverlap line 109
  12. lemma OAI.RandomKSAT.incidence_indicator_le line 112
  13. lemma OAI.RandomKSAT.collision_indicator_le line 124
  14. lemma OAI.RandomKSAT.incidence_probability_scaled line 142
  15. lemma OAI.RandomKSAT.collision_probability_scaled line 152
  16. def OAI.RandomKSAT.rootVariables line 178
  17. lemma OAI.RandomKSAT.rootVariables_card line 181
  18. lemma OAI.RandomKSAT.clauseOverlap_merge line 186
  19. lemma OAI.RandomKSAT.rootIncident_scaled line 195
  20. lemma OAI.RandomKSAT.rootCollision_scaled line 211
  21. lemma OAI.RandomKSAT.rootRewards_square_density line 229