OAI/Combinatorics/MatchingCount/Complexity/OnlineInitialCost.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MatchingFPRAS.OnlineInitial.work_root line 10
  2. lemma OAI.MatchingFPRAS.OnlineInitial.work_initialScale line 18
  3. lemma OAI.MatchingFPRAS.OnlineInitial.polynomial_scaleVector line 25
  4. lemma OAI.MatchingFPRAS.OnlineInitial.polynomial_count line 31
  5. lemma OAI.MatchingFPRAS.OnlineInitial.polynomial_seedD line 35
  6. def OAI.MatchingFPRAS.OnlineInitial.configNumeric line 42
  7. def OAI.MatchingFPRAS.OnlineInitial.configSize line 44
  8. def OAI.MatchingFPRAS.OnlineInitial.seedSize line 45
  9. lemma OAI.MatchingFPRAS.OnlineInitial.weight_configSize line 46
  10. lemma OAI.MatchingFPRAS.OnlineInitial.weight_seedSize line 47
  11. lemma OAI.MatchingFPRAS.OnlineInitial.config_fields line 48
  12. lemma OAI.MatchingFPRAS.OnlineInitial.seed_fields line 52
  13. lemma OAI.MatchingFPRAS.OnlineInitial.work_seedK line 58
  14. def OAI.MatchingFPRAS.OnlineInitial.seedNSize line 70
  15. lemma OAI.MatchingFPRAS.OnlineInitial.work_seedN line 71
  16. lemma OAI.MatchingFPRAS.OnlineInitial.work_config line 82
  17. lemma OAI.MatchingFPRAS.OnlineInitial.bound_configSize line 88