OAI/Combinatorics/MatchingCount/Machines/TreeClippedRun.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MatchingFPRAS.ExecutableDP.CappedState line 9
  2. def OAI.MatchingFPRAS.ExecutableDP.cappedStep line 11
  3. def OAI.MatchingFPRAS.ExecutableDP.cappedStepRealizer line 16
  4. lemma OAI.MatchingFPRAS.ExecutableDP.polynomial_cappedStep line 23
  5. def OAI.MatchingFPRAS.ExecutableDP.tableWeightBound line 32
  6. lemma OAI.MatchingFPRAS.ExecutableDP.cappedUpdate_weight line 34
  7. lemma OAI.MatchingFPRAS.ExecutableDP.tableWeightBound_polynomial line 56
  8. lemma OAI.MatchingFPRAS.ExecutableDP.cappedFold_invariant line 65
  9. lemma OAI.MatchingFPRAS.ExecutableDP.weight_cappedState line 95
  10. lemma OAI.MatchingFPRAS.ExecutableDP.polynomial_cappedFold line 100
  11. def OAI.MatchingFPRAS.ExecutableDP.finishFast line 128
  12. lemma OAI.MatchingFPRAS.ExecutableDP.polynomial_finishFast line 131
  13. def OAI.MatchingFPRAS.ExecutableDP.cappedCount line 144
  14. def OAI.MatchingFPRAS.ExecutableDP.cappedCountRealizer line 146
  15. lemma OAI.MatchingFPRAS.ExecutableDP.polynomial_cappedCount line 150