OAI/Combinatorics/MatchingCount/Algorithm/OnlineTrial.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MatchingFPRAS.OnlineTrial.State line 9
  2. def OAI.MatchingFPRAS.OnlineTrial.advance line 11
  3. def OAI.MatchingFPRAS.OnlineTrial.advanceRealizer line 13
  4. lemma OAI.MatchingFPRAS.OnlineTrial.polynomial_advance line 17
  5. def OAI.MatchingFPRAS.OnlineTrial.carry line 23
  6. def OAI.MatchingFPRAS.OnlineTrial.carryRealizer line 25
  7. lemma OAI.MatchingFPRAS.OnlineTrial.polynomial_carry line 29
  8. def OAI.MatchingFPRAS.OnlineTrial.prepare line 37
  9. def OAI.MatchingFPRAS.OnlineTrial.prepareRealizer line 39
  10. lemma OAI.MatchingFPRAS.OnlineTrial.polynomial_prepare line 41
  11. def OAI.MatchingFPRAS.OnlineTrial.step line 44
  12. def OAI.MatchingFPRAS.OnlineTrial.stepRealizer line 46
  13. def OAI.MatchingFPRAS.OnlineTrial.body line 53
  14. def OAI.MatchingFPRAS.OnlineTrial.bodyRealizer line 54
  15. def OAI.MatchingFPRAS.OnlineTrial.sweep line 58
  16. def OAI.MatchingFPRAS.OnlineTrial.sweepRealizer line 59