OAI/Computability/LoopMatching/CountedParser.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Polynomial-time approximation of weighted matchings with singleton loops.

  1. def OAI.LoopMatching.InputMachine.countedRecords line 11
  2. lemma OAI.LoopMatching.InputMachine.recordStep_records_suffix line 14
  3. lemma OAI.LoopMatching.InputMachine.countedRecords_encoded line 25
  4. theorem OAI.LoopMatching.InputMachine.countedRecords_poly line 31
  5. def OAI.LoopMatching.InputMachine.ordinaryPrefix line 53
  6. theorem OAI.LoopMatching.InputMachine.ordinaryPrefix_poly line 58
  7. lemma OAI.LoopMatching.InputMachine.ordinaryPrefix_encoded line 62