OAI/Combinatorics/MatchingCount/Complexity/OnlineScheduleCost.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.TreeTyped.work_comp_bound line 11
2. lemma OAI.MatchingFPRAS.TreeTyped.work_lift_bound line 16
3. lemma OAI.MatchingFPRAS.TreeTyped.work_remeasure_bound line 20
4. def OAI.MatchingFPRAS.OnlineSchedule.vertexMeasure line 29
5. lemma OAI.MatchingFPRAS.OnlineSchedule.work_vertexNumber line 30
6. def OAI.MatchingFPRAS.OnlineSchedule.ladderMeasure line 46
7. lemma OAI.MatchingFPRAS.OnlineSchedule.work_ladderSearchInput line 47
8. lemma OAI.MatchingFPRAS.OnlineSchedule.work_ladderSchedule line 66