OAI/Combinatorics/LowSpaceSubsetSum/Compression/CompressionCallbackBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Capacity-scaled bounds for the actual compression callbacks

  1. theorem OAI.LowSpaceSubsetSum.CompressionCallbackBounds.polynomial line 11
  2. theorem OAI.LowSpaceSubsetSum.CompressionCallbackBounds.dictionary line 17
  3. theorem OAI.LowSpaceSubsetSum.CompressionCallbackBounds.report line 24
  4. theorem OAI.LowSpaceSubsetSum.CompressionCallbackBounds.probe line 31