OAI/Computability/LoopMatching/Model.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Polynomial-time approximation of weighted matchings with singleton loops.

  1. structure OAI.LoopMatching.LoopRecord line 11

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:59 (same declaration text).

  2. structure OAI.LoopMatching.Input line 16

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:64 (same declaration text).

  3. abbrev OAI.LoopMatching.Input.n line 22

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:70 (same declaration text).

  4. def OAI.LoopMatching.loopMultiplicity line 24

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:72 (same declaration text).

  5. def OAI.LoopMatching.IsPartialMatching line 29

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:77 (same declaration text).

  6. abbrev OAI.LoopMatching.PartialMatching line 34

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:82 (same declaration text).

  7. instance OAI.LoopMatching.partialMatchingFintype line 37

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:85 (same declaration text).

  8. def OAI.LoopMatching.loopVertices line 40

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:88 (same declaration text).

  9. def OAI.LoopMatching.weight line 45

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:93 (same declaration text).

  10. def OAI.LoopMatching.count line 49

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:97 (same declaration text).

  11. def OAI.LoopMatching.countWithLoops line 51
  12. def OAI.LoopMatching.encodeLoopRecord line 56

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:100 (same declaration text).

  13. def OAI.LoopMatching.encodeInput line 59

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:103 (same declaration text).

  14. def OAI.LoopMatching.encodeOutput line 63

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:107 (same declaration text).

  15. def OAI.LoopMatching.outputValue line 66
  16. def OAI.LoopMatching.FullEndpoint line 68

    Also declared: ComparatorChallenges/SingletonLoopMatching.lean:111 (same declaration text).