OAI/Computability/VertexCover/Encoding/GameEncoding.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.UniqueGames.Foundations.Complexity.parseLabel line 12
  2. theorem OAI.UniqueGames.Foundations.Complexity.parseLabel_value line 15
  3. theorem OAI.UniqueGames.Foundations.Complexity.parseLabels_values line 18
  4. def OAI.UniqueGames.Foundations.Complexity.parseImages line 24
  5. theorem OAI.UniqueGames.Foundations.Complexity.parseImages_values line 30
  6. def OAI.UniqueGames.Foundations.Complexity.findPreimage line 37
  7. theorem OAI.UniqueGames.Foundations.Complexity.findPreimage_permutation line 40
  8. def OAI.UniqueGames.Foundations.Complexity.searchedInverse line 59
  9. theorem OAI.UniqueGames.Foundations.Complexity.searchedInverse_permutation line 62
  10. def OAI.UniqueGames.Foundations.Complexity.tableWords line 68
  11. def OAI.UniqueGames.Foundations.Complexity.parsePermutation line 71
  12. theorem OAI.UniqueGames.Foundations.Complexity.parsePermutation_encoded line 80
  13. theorem OAI.UniqueGames.Foundations.Complexity.tableWords_length line 87
  14. def OAI.UniqueGames.Foundations.Complexity.constraintWords line 90
  15. def OAI.UniqueGames.Foundations.Complexity.parseConstraint line 93
  16. theorem OAI.UniqueGames.Foundations.Complexity.parseConstraint_encoded line 102
  17. def OAI.UniqueGames.Foundations.Complexity.parseConstraints line 111
  18. theorem OAI.UniqueGames.Foundations.Complexity.parseConstraints_encoded line 119
  19. def OAI.UniqueGames.Foundations.Complexity.gameWords line 128
  20. def OAI.UniqueGames.Foundations.Complexity.gameBits line 131
  21. def OAI.UniqueGames.Foundations.Complexity.decodeGameWords line 133
  22. theorem OAI.UniqueGames.Foundations.Complexity.decodeGameWords_encoded line 143
  23. def OAI.UniqueGames.Foundations.Complexity.decodeGameBits line 151
  24. theorem OAI.UniqueGames.Foundations.Complexity.decodeGameBits_encoded line 154
  25. theorem OAI.UniqueGames.Foundations.Complexity.gameBits_injective line 158
  26. theorem OAI.UniqueGames.Foundations.Complexity.constraintWords_length line 163
  27. theorem OAI.UniqueGames.Foundations.Complexity.constraintsWords_length line 166
  28. theorem OAI.UniqueGames.Foundations.Complexity.gameWords_length line 175