OAI/Computability/MatchingCount/RawFlowCompiler.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.BinaryMatching.Raw.FlowContext line 9
  2. abbrev OAI.BinaryMatching.Raw.FlowState line 10
  3. def OAI.BinaryMatching.Raw.flowStep line 12
  4. def OAI.BinaryMatching.Raw.flowInitial line 14
  5. lemma OAI.BinaryMatching.Raw.flowStep_iterate line 16
  6. theorem OAI.BinaryMatching.Raw.Compiler.reached_poly line 24
  7. theorem OAI.BinaryMatching.Raw.Compiler.pathFlow_poly line 28
  8. theorem OAI.BinaryMatching.Raw.Compiler.augment_poly line 35
  9. theorem OAI.BinaryMatching.Raw.Compiler.flowStep_poly line 54
  10. theorem OAI.BinaryMatching.Raw.Compiler.flowInitial_poly line 55
  11. theorem OAI.BinaryMatching.Raw.Compiler.flow_poly line 60
  12. theorem OAI.BinaryMatching.Raw.Compiler.sourceCapacity_poly line 89
  13. theorem OAI.BinaryMatching.Raw.Compiler.mincut_poly line 94
  14. theorem OAI.BinaryMatching.Raw.Compiler.cutCapacity_poly line 104
  15. theorem OAI.BinaryMatching.Raw.Compiler.pairs_poly line 116
  16. theorem OAI.BinaryMatching.Raw.Compiler.pairCuts_poly line 120
  17. theorem OAI.BinaryMatching.Raw.Compiler.terminalCut_poly line 130