OAI/Combinatorics/LowSpaceSubsetSum/Word/WordRangeRealization.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Exact bounded word programs for range and permutation calls

  1. def OAI.LowSpaceSubsetSum.WordRealization.enlarge line 11
  2. def OAI.LowSpaceSubsetSum.WordRealization.prod line 19
  3. def OAI.LowSpaceSubsetSum.WordRealization.range line 25
  4. def OAI.LowSpaceSubsetSum.WordRealization.fin line 32
  5. def OAI.LowSpaceSubsetSum.WordRealization.pi line 39
  6. def OAI.LowSpaceSubsetSum.WordRealization.permutation line 51
  7. def OAI.LowSpaceSubsetSum.WordRealization.finiteChoice line 62
  8. def OAI.LowSpaceSubsetSum.WordRealization.finitePermutation line 67