OAI/Combinatorics/LowSpaceSubsetSum/Search/PreparedAsymptotics.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Polynomial-bit resource envelopes for the prepared decision procedure

  1. theorem OAI.LowSpaceSubsetSum.PreparedAsymptotics.capacity_upper line 12
  2. theorem OAI.LowSpaceSubsetSum.PreparedAsymptotics.space line 21
  3. theorem OAI.LowSpaceSubsetSum.PreparedAsymptotics.time line 30