OAI/Combinatorics/MatchingCount/Algorithm/OnlineGuard.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.OnlineGuard.positive line 10
  2. def OAI.MatchingFPRAS.OnlineGuard.positiveRealizer line 11
  3. lemma OAI.MatchingFPRAS.OnlineGuard.polynomial_positive line 13
  4. lemma OAI.MatchingFPRAS.OnlineGuard.positive_repr line 15
  5. def OAI.MatchingFPRAS.OnlineGuard.accept line 19
  6. def OAI.MatchingFPRAS.OnlineGuard.acceptRealizer line 21
  7. lemma OAI.MatchingFPRAS.OnlineGuard.polynomial_accept line 24
  8. def OAI.MatchingFPRAS.OnlineGuard.test line 29
  9. def OAI.MatchingFPRAS.OnlineGuard.testRealizer line 31
  10. def OAI.MatchingFPRAS.OnlineGuard.finish line 37
  11. def OAI.MatchingFPRAS.OnlineGuard.finishRealizer line 38
  12. lemma OAI.MatchingFPRAS.OnlineGuard.polynomial_finish line 40
  13. def OAI.MatchingFPRAS.OnlineGuard.checked line 43
  14. def OAI.MatchingFPRAS.OnlineGuard.checkedRealizer line 45
  15. def OAI.MatchingFPRAS.OnlineGuard.trial line 51
  16. def OAI.MatchingFPRAS.OnlineGuard.trialRealizer line 53