OAI/Combinatorics/LowSpaceSubsetSum/Word/WordRepresentationDraws.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Word programs for signs, fixed-size samples, and separator families

  1. def OAI.LowSpaceSubsetSum.WordRealization.bits line 11
  2. def OAI.LowSpaceSubsetSum.WordRealization.signs line 36
  3. def OAI.LowSpaceSubsetSum.WordRealization.subset line 39
  4. def OAI.LowSpaceSubsetSum.WordRealization.fixedSize line 43
  5. def OAI.LowSpaceSubsetSum.WordRealization.families line 47
  6. def OAI.LowSpaceSubsetSum.WordRealization.layout line 55
  7. def OAI.LowSpaceSubsetSum.WordRealization.guesses line 60
  8. def OAI.LowSpaceSubsetSum.WordRealization.partition line 66