OAI/Combinatorics/MatchingCount/Graphs/TreeHeight.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MatchingFPRAS.ExecutableSource.logicalB_nonneg line 9
  2. lemma OAI.MatchingFPRAS.ExecutableSource.sourceHeight_nonneg line 12
  3. lemma OAI.MatchingFPRAS.ExecutableSource.sourceMaxHeight_nonneg line 16
  4. lemma OAI.MatchingFPRAS.ExecutableSource.maxHeight_source line 20
  5. def OAI.MatchingFPRAS.ExecutableSource.hierarchyFuel line 45
  6. def OAI.MatchingFPRAS.ExecutableSource.hierarchyFuelRealizer line 47
  7. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_hierarchyFuel line 50
  8. lemma OAI.MatchingFPRAS.ExecutableSource.hierarchyFuel_source line 58
  9. def OAI.MatchingFPRAS.ExecutableSource.setupBags line 69
  10. def OAI.MatchingFPRAS.ExecutableSource.setupBagsRealizer line 71
  11. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_setupBags line 73
  12. lemma OAI.MatchingFPRAS.ExecutableSource.setupBags_source line 82
  13. theorem OAI.MatchingFPRAS.ExecutableSource.setupBags_post line 92