OAI/Combinatorics/LowSpaceSubsetSum/Word/WordLayoutPreparation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Computing layout-dependent sampling parameters from a stored seed

The mixer counts, order and prime widths are obtained by the counted stored preparation. They are not evaluated implicitly while selecting a sampler.

  1. abbrev OAI.LowSpaceSubsetSum.WordLayoutPreparation.Layout line 17
  2. abbrev OAI.LowSpaceSubsetSum.WordLayoutPreparation.Prepared line 20
  3. theorem OAI.LowSpaceSubsetSum.WordLayoutPreparation.source line 24
  4. theorem OAI.LowSpaceSubsetSum.WordLayoutPreparation.exists_data line 28
  5. def OAI.LowSpaceSubsetSum.WordLayoutPreparation.compute line 33
  6. theorem OAI.LowSpaceSubsetSum.WordLayoutPreparation.fields line 41
  7. theorem OAI.LowSpaceSubsetSum.WordLayoutPreparation.work line 57
  8. theorem OAI.LowSpaceSubsetSum.WordLayoutPreparation.cells line 73