Repository navigation

feat(fine-grained): sparse counting scale and Proposition 6.4 runtime asymptotics - #1298

Merged

SamuelSchlesinger merged 6 commits into

mainfrom

feat/sec64-prop64-asymptotics-1226-antonkov

Oct 27, 2026

Merged

feat(fine-grained): sparse counting scale and Proposition 6.4 runtime asymptotics#1298
SamuelSchlesinger merged 6 commits into
mainfrom
feat/sec64-prop64-asymptotics-1226-antonkov

Commits on Oct 27, 2026
- feat(Complexity/FineGrained): formalize §6.3–6.4 sparse counting scale and Proposition 6.4 runtime asymptotics
  Anton Kovsharov
  committed
  0318c3c
- fix(Complexity/FineGrained): restrict sparse_formula_time_bound to sparse domain
  Anton Kovsharov
  committed
  4673629
- Merge remote-tracking branch 'origin/main' into feat/sec64-prop64-asymptotics-1226-antonkov
  Anton Kovsharov
  committed
  c01548d
- Merge origin/main (7a46ddd90) and regenerate Complexity.lean
  Anton Kovsharov
  committed
  3907689
- Merge origin/main (ae4c29e7e) and regenerate Complexity.lean
  Anton Kovsharov
  committed
  82e13cb
- fix(Complexity/FineGrained): reuse CountingScale.interpolationScale_nonneg in SparseCountingScale
  Anton Kovsharov
  committed
  909c43f