OAI/Computability/VertexCover/Machines/Walk.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.WalkMachine.State line 47
  2. def OAI.VertexCover.Machine.WalkMachine.code line 48
  3. def OAI.VertexCover.Machine.WalkMachine.step line 49
  4. def OAI.VertexCover.Machine.WalkMachine.tablePoly line 52
  5. def OAI.VertexCover.Machine.WalkMachine.vertexPoly line 54
  6. def OAI.VertexCover.Machine.WalkMachine.stepPoly line 57
  7. def OAI.VertexCover.Machine.WalkMachine.word line 66
  8. def OAI.VertexCover.Machine.WalkMachine.wordPoly line 68
  9. def OAI.VertexCover.Machine.WalkMachine.edge line 72
  10. def OAI.VertexCover.Machine.WalkMachine.edgePoly line 75
  11. def OAI.VertexCover.Machine.WalkMachine.stepVariablePoly line 82
  12. theorem OAI.VertexCover.Machine.WalkMachine.relationCode_injective line 87
  13. def OAI.VertexCover.Machine.WalkMachine.acceptsPoly line 91
  14. def OAI.VertexCover.Machine.WalkMachine.acceptsVariablePoly line 109