feat(SharpP): padded coin counts at a linear clock are SharpTIME functions by SamuelSchlesinger · Pull Request #2068 · cslib-community/complexitylib

feat(CountingSimulation): unconditional SharpTIME ⊆ FTIME in time 2^O(T/√log T)

SamuelSchlesinger

and

claude

committed

3740f46

Merge branch 'claude/sharptime-ftime-fast-1833' of https://github.com/cslib-community/complexitylib into claude/hpv-corollaries

SamuelSchlesinger

committed

497a66c

feat(CountingSimulation): counting classes from #TIME and NTIME/BPTIME/PPTIME ⊊ DTIME[2^T] (#2050)

SamuelSchlesinger

and

claude

committed

f6d28d6

feat(SharpP): padded coin counts at a linear clock are SharpTIME functions (#2053)

SamuelSchlesinger

and

claude

committed

f6adee0

refactor(Classes): expose FTIME bounds and SharpTIME degree monotonicity

SamuelSchlesinger

and

claude

committed

8131f79

Merge claude/hpv-corollaries (#2054 review fixes) into claude/padded-count-sharptime

SamuelSchlesinger

and

claude

committed

9ca1a33

Merge remote-tracking branch 'origin/main' into HEAD

SamuelSchlesinger

committed

3297feb

refactor(SharpP): private tidy clock helper; share replay and doubling facts

SamuelSchlesinger

and

claude

committed

fc10e7f

Navigation Menu

Repository navigation

feat(SharpP): padded coin counts at a linear clock are SharpTIME functions - #2068

feat(SharpP): padded coin counts at a linear clock are SharpTIME functions#2068
SamuelSchlesinger merged 8 commits into
mainfrom
claude/padded-count-sharptime

Commits on Oct 31, 2026

feat(CountingSimulation): unconditional SharpTIME ⊆ FTIME in time 2^O(T/√log T)

Merge branch 'claude/sharptime-ftime-fast-1833' of https://github.com/cslib-community/complexitylib into claude/hpv-corollaries

feat(CountingSimulation): counting classes from #TIME and NTIME/BPTIME/PPTIME ⊊ DTIME[2^T] (#2050)

feat(SharpP): padded coin counts at a linear clock are SharpTIME functions (#2053)

refactor(Classes): expose FTIME bounds and SharpTIME degree monotonicity

Merge claude/hpv-corollaries (#2054 review fixes) into claude/padded-count-sharptime

Merge remote-tracking branch 'origin/main' into HEAD

refactor(SharpP): private tidy clock helper; share replay and doubling facts