OAI/Combinatorics/MatchingCount/Sampling/TreeFastUnit.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.ExecutableUnit.skipFast line 11
  2. lemma OAI.MatchingFPRAS.ExecutableUnit.polynomial_skipFast line 12
  3. def OAI.MatchingFPRAS.ExecutableUnit.residualFast line 18
  4. lemma OAI.MatchingFPRAS.ExecutableUnit.polynomial_residualFast line 24
  5. def OAI.MatchingFPRAS.ExecutableUnit.validFast line 38
  6. lemma OAI.MatchingFPRAS.ExecutableUnit.polynomial_validFast line 49
  7. def OAI.MatchingFPRAS.ExecutableUnit.fastBranch line 58
  8. def OAI.MatchingFPRAS.ExecutableUnit.fastBranchRealizer line 59
  9. lemma OAI.MatchingFPRAS.ExecutableUnit.polynomial_fastBranch line 62
  10. def OAI.MatchingFPRAS.ExecutableUnit.fastEdgeCount line 69
  11. def OAI.MatchingFPRAS.ExecutableUnit.fastEdgeCountRealizer line 70
  12. lemma OAI.MatchingFPRAS.ExecutableUnit.polynomial_fastEdgeCount line 72
  13. def OAI.MatchingFPRAS.ExecutableUnit.fastProbability line 79
  14. def OAI.MatchingFPRAS.ExecutableUnit.fastProbabilityRealizer line 81
  15. lemma OAI.MatchingFPRAS.ExecutableUnit.polynomial_fastProbability line 86
  16. def OAI.MatchingFPRAS.ExecutableUnit.fastProbabilities line 97
  17. def OAI.MatchingFPRAS.ExecutableUnit.fastProbabilitiesRealizer line 99
  18. lemma OAI.MatchingFPRAS.ExecutableUnit.polynomial_fastProbabilities line 104
  19. def OAI.MatchingFPRAS.ExecutableUnit.fastDraw line 116
  20. def OAI.MatchingFPRAS.ExecutableUnit.fastDrawRealizer line 118
  21. lemma OAI.MatchingFPRAS.ExecutableUnit.polynomial_fastDraw line 121