OAI/Combinatorics/MatchingCount/Algorithm/TreeReweight.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MatchingFPRAS.ExecutableSource.ReweightData line 12
  2. def OAI.MatchingFPRAS.ExecutableSource.rawReweight line 14
  3. def OAI.MatchingFPRAS.ExecutableSource.rawReweightRealizer line 16
  4. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_rawReweight line 22
  5. lemma OAI.MatchingFPRAS.ExecutableSource.rawReweight_rep line 28
  6. def OAI.MatchingFPRAS.ExecutableSource.reweightRow line 46
  7. def OAI.MatchingFPRAS.ExecutableSource.reweightRowRealizer line 48
  8. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_reweightRow line 52
  9. def OAI.MatchingFPRAS.ExecutableSource.reweightTable line 59
  10. def OAI.MatchingFPRAS.ExecutableSource.reweightTableRealizer line 61
  11. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_reweightTable line 64
  12. def OAI.MatchingFPRAS.ExecutableSource.bagReweight line 67
  13. def OAI.MatchingFPRAS.ExecutableSource.bagReweightRealizer line 68
  14. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_bagReweight line 71
  15. lemma OAI.MatchingFPRAS.ExecutableLadder.lookup_image line 76
  16. lemma OAI.MatchingFPRAS.ExecutableLadder.lookup_off line 87