OAI/Combinatorics/MatchingCount/Graphs/OnlineGraphInvariant.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MatchingFPRAS.OnlineGraph.Edges line 10
  2. def OAI.MatchingFPRAS.OnlineGraph.graph line 12
  3. def OAI.MatchingFPRAS.OnlineGraph.data line 13
  4. def OAI.MatchingFPRAS.OnlineGraph.request line 15
  5. def OAI.MatchingFPRAS.OnlineGraph.state line 16
  6. def OAI.MatchingFPRAS.OnlineGraph.seed line 17
  7. lemma OAI.MatchingFPRAS.OnlineGraph.stageCell line 19
  8. lemma OAI.MatchingFPRAS.OnlineGraph.stageRow line 22
  9. lemma OAI.MatchingFPRAS.OnlineGraph.stageMatrix line 26
  10. lemma OAI.MatchingFPRAS.OnlineGraph.current line 30
  11. lemma OAI.MatchingFPRAS.OnlineGraph.next line 32
  12. lemma OAI.MatchingFPRAS.OnlineGraph.bag line 34
  13. lemma OAI.MatchingFPRAS.OnlineGraph.generated line 38
  14. lemma OAI.MatchingFPRAS.OnlineGraph.update line 42
  15. lemma OAI.MatchingFPRAS.OnlineGraph.stage line 46
  16. lemma OAI.MatchingFPRAS.OnlineGraph.certificateMatrix line 50
  17. lemma OAI.MatchingFPRAS.OnlineGraph.certificate line 54
  18. lemma OAI.MatchingFPRAS.OnlineGraph.sourcePrecision line 60
  19. lemma OAI.MatchingFPRAS.OnlineGraph.sourceRequest line 64
  20. lemma OAI.MatchingFPRAS.OnlineGraph.carry line 71
  21. lemma OAI.MatchingFPRAS.OnlineGraph.step_mean line 74
  22. lemma OAI.MatchingFPRAS.OnlineGraph.fold_mean line 82
  23. lemma OAI.MatchingFPRAS.OnlineGraph.checked_mean line 92
  24. lemma OAI.MatchingFPRAS.OnlineGraph.trial_mean line 101
  25. lemma OAI.MatchingFPRAS.OnlineGraph.trials_mean line 108
  26. lemma OAI.MatchingFPRAS.OnlineGraph.run_mean line 117
  27. lemma OAI.MatchingFPRAS.OnlineGraph.initialize_eq line 123
  28. lemma OAI.MatchingFPRAS.OnlineGraph.initialize_mean line 126