OAI/Combinatorics/SparsestCut/Model.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.UniformSparsestCut.Capacity line 9

   Also declared: ComparatorChallenges/UniformSparsestCut.lean:11 (same declaration text).

2. def OAI.UniformSparsestCut.pairSum line 15

   Also declared: ComparatorChallenges/UniformSparsestCut.lean:17 (same declaration text).

3. def OAI.UniformSparsestCut.cutRatio line 18

   Also declared: ComparatorChallenges/UniformSparsestCut.lean:20 (same declaration text).

4. def OAI.UniformSparsestCut.OPT line 22

   Also declared: ComparatorChallenges/UniformSparsestCut.lean:24 (same declaration text).

5. def OAI.UniformSparsestCut.NegativeType line 25

   Also declared: ComparatorChallenges/UniformSparsestCut.lean:27 (same declaration text).

6. def OAI.UniformSparsestCut.Feasible line 29

   Also declared: ComparatorChallenges/UniformSparsestCut.lean:31 (same declaration text).

7. def OAI.UniformSparsestCut.glValue line 32

   Distinct definitions of this name: ComparatorChallenges/UniformSparsestCut.lean:34 (same statement text; different proof or body). Qualify references as OAI.UniformSparsestCut.glValue@path.