OAI/Combinatorics/MatchingCount/Algorithm/TreeReweightTable.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MatchingFPRAS.ExecutableLadder.lookup_valid line 8
  2. abbrev OAI.MatchingFPRAS.ExecutableSource.SourceReweightInput line 28
  3. def OAI.MatchingFPRAS.ExecutableSource.sourceReweightData line 30
  4. def OAI.MatchingFPRAS.ExecutableSource.sourceReweightDataRealizer line 32
  5. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceReweightData line 34
  6. def OAI.MatchingFPRAS.ExecutableSource.sourceReweightRows line 39
  7. def OAI.MatchingFPRAS.ExecutableSource.sourceReweightRowsRealizer line 41
  8. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceReweightRows line 45
  9. def OAI.MatchingFPRAS.ExecutableSource.sourceReweightValue line 53
  10. def OAI.MatchingFPRAS.ExecutableSource.sourceReweightValueRealizer line 55
  11. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceReweightValue line 58
  12. lemma OAI.MatchingFPRAS.ExecutableSource.sourceReweightValue_source line 66
  13. def OAI.MatchingFPRAS.ExecutableSource.sourceReweightEntry line 97
  14. def OAI.MatchingFPRAS.ExecutableSource.sourceReweightEntryRealizer line 99
  15. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceReweightEntry line 102
  16. def OAI.MatchingFPRAS.ExecutableSource.sourceReweights line 109
  17. def OAI.MatchingFPRAS.ExecutableSource.sourceReweightsRealizer line 111
  18. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceReweights line 113
  19. lemma OAI.MatchingFPRAS.ExecutableSource.sourceReweights_source line 116
  20. theorem OAI.MatchingFPRAS.ExecutableSource.sourceReweights_post line 134