OAI/Combinatorics/SparsestCut/CutSums.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.UniformSparsestCut.pairSum_nonneg line 16
  2. lemma OAI.UniformSparsestCut.pairSum_add line 26
  3. lemma OAI.UniformSparsestCut.pairSum_smul line 35
  4. lemma OAI.UniformSparsestCut.pairSum_swap line 44
  5. lemma OAI.UniformSparsestCut.orderedSum_eq_two_pairSum line 59
  6. lemma OAI.UniformSparsestCut.le_pairSum line 65
  7. def OAI.UniformSparsestCut.cutIndicator line 84
  8. def OAI.UniformSparsestCut.cutDist line 85
  9. def OAI.UniformSparsestCut.cutDemand line 87
  10. def OAI.UniformSparsestCut.Cut line 89
  11. instance OAI.UniformSparsestCut.(instance at line 91) line 91
  12. lemma OAI.UniformSparsestCut.cutDist_nonneg line 93
  13. lemma OAI.UniformSparsestCut.cutDist_symm line 94
  14. lemma OAI.UniformSparsestCut.cutDist_self line 96
  15. lemma OAI.UniformSparsestCut.cutDist_binary line 99
  16. lemma OAI.UniformSparsestCut.cutDist_triangle line 105
  17. lemma OAI.UniformSparsestCut.cutDemand_eq line 108
  18. lemma OAI.UniformSparsestCut.cutDemand_pos line 113
  19. lemma OAI.UniformSparsestCut.ordered_cut_sum line 119
  20. lemma OAI.UniformSparsestCut.ordered_cut_sum_symm line 132
  21. lemma OAI.UniformSparsestCut.pairSum_cut line 144
  22. lemma OAI.UniformSparsestCut.cut_capacity_pair line 151