OAI/Combinatorics/BalancedRyser/Selection/SelectionProcessThinning.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Balanced.Selection.Process.flagsWeight_eq_thinningMass line 15
  2. lemma OAI.Balanced.Selection.Process.sum_drawWeight_adj_vertex line 22
  3. lemma OAI.Balanced.Selection.Process.drawWeight_conflict_mass line 43
  4. lemma OAI.Balanced.Selection.Process.drawWeight_pair_sum line 57
  5. lemma OAI.Balanced.Selection.Process.performed_survival_mass line 63
  6. lemma OAI.Balanced.Selection.Process.drawWeight_slot_mass line 94
  7. lemma OAI.Balanced.Selection.Process.drawWeight_eq_zero_of_same_slot_conflict line 110
  8. lemma OAI.Balanced.Selection.Process.drawWeight_survives_slot_mass line 120
  9. lemma OAI.Balanced.Selection.Process.performed_post_survival_mass_le line 149
  10. lemma OAI.Balanced.Selection.Process.performed_count_eq_sum line 190
  11. lemma OAI.Balanced.Selection.Process.performed_survivor_count line 206
  12. lemma OAI.Balanced.Selection.Process.performed_alive_count_le line 220
  13. lemma OAI.Balanced.Selection.Process.currentVertices_update line 236
  14. lemma OAI.Balanced.Selection.Process.performed_degree_le line 243
  15. lemma OAI.Balanced.Selection.Process.domain_subset_currentVertices line 264
  16. lemma OAI.Balanced.Selection.Process.performed_domain_size line 270