OAI/Combinatorics/MatchingCount/Complexity/OnlineFrameCost.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.worst_affine line 11
2. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.worst_const_add line 21
3. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.worst_add_const line 24
4. lemma OAI.MatchingFPRAS.PhysicalStream.Experiment.worst_add_le line 27
5. lemma OAI.MatchingFPRAS.OnlineTree.mapSecond_cost line 36
6. lemma OAI.MatchingFPRAS.OnlineTree.mapSecond_weight line 39
7. lemma OAI.MatchingFPRAS.OnlineTree.work_mapSecond line 44
8. lemma OAI.MatchingFPRAS.OnlineTree.polynomial_mapSecond line 57
9. lemma OAI.MatchingFPRAS.OnlineTree.pair_cost line 61
10. lemma OAI.MatchingFPRAS.OnlineTree.pair_weight line 76
11. lemma OAI.MatchingFPRAS.OnlineTree.work_pair line 82
12. lemma OAI.MatchingFPRAS.OnlineTree.polynomial_pair line 95
13. lemma OAI.MatchingFPRAS.OnlineTree.work_choose line 98
14. lemma OAI.MatchingFPRAS.OnlineTree.polynomial_choose line 108