OAI/Computability/LoopMatching/ChoiceCounts.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Polynomial-time approximation of weighted matchings with singleton loops.

  1. def OAI.LoopMatching.ExpandedChoices line 13
  2. def OAI.LoopMatching.AssignedChoices line 17
  3. instance OAI.LoopMatching.expandedChoicesFintype line 21
  4. instance OAI.LoopMatching.assignedChoicesFintype line 27
  5. theorem OAI.LoopMatching.card_expandedChoices line 33
  6. theorem OAI.LoopMatching.card_dummyAssignments line 42
  7. theorem OAI.LoopMatching.card_assignedChoices line 57
  8. theorem OAI.LoopMatching.expanded_count_of_equiv line 69