OAI/Combinatorics/LowSpaceSubsetSum/Storage/FallbackCells.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Linear live storage for the exact depth-first fallback

  1. def OAI.LowSpaceSubsetSum.FallbackCells.run line 11
  2. theorem OAI.LowSpaceSubsetSum.FallbackCells.value line 20
  3. theorem OAI.LowSpaceSubsetSum.FallbackCells.cells line 31
  4. def OAI.LowSpaceSubsetSum.FallbackCells.decision line 48
  5. theorem OAI.LowSpaceSubsetSum.FallbackCells.decision_value line 52
  6. theorem OAI.LowSpaceSubsetSum.FallbackCells.decision_cells line 56