OAI/Computability/LoopMatching/Main.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Polynomial-time approximation of weighted matchings with singleton loops.

  1. theorem OAI.LoopMatching.actual_algorithm_correct line 11
  2. theorem OAI.LoopMatching.fullEndpoint line 24

    Distinct definitions of this name: ComparatorChallenges/SingletonLoopMatching.lean:127 (same statement text; different proof or body). Qualify references as OAI.LoopMatching.fullEndpoint@path.