OAI/Combinatorics/MatchingCount/Sampling/TreeLocalSampler.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.ExecutableLadder.LocalContext line 13
2. abbrev OAI.MatchingFPRAS.ExecutableLadder.LocalPairInput line 14
3. abbrev OAI.MatchingFPRAS.ExecutableLadder.LocalRefreshInput line 15
4. def OAI.MatchingFPRAS.ExecutableLadder.localPair line 17
5. def OAI.MatchingFPRAS.ExecutableLadder.localPairRealizer line 21
6. lemma OAI.MatchingFPRAS.ExecutableLadder.polynomial_localPair line 30
7. def OAI.MatchingFPRAS.ExecutableLadder.localRefresh line 40
8. def OAI.MatchingFPRAS.ExecutableLadder.localRefreshRealizer line 43
9. lemma OAI.MatchingFPRAS.ExecutableLadder.polynomial_localRefresh line 48
10. def OAI.MatchingFPRAS.ExecutableLadder.localSampler line 57
11. def OAI.MatchingFPRAS.ExecutableLadder.localSamplerRealizer line 60
12. lemma OAI.MatchingFPRAS.ExecutableLadder.polynomial_localSampler line 64
13. lemma OAI.MatchingFPRAS.ExecutableLadder.localSampler_rep line 82