feat(Classes/CountingSimulation): conditional NTIME, BPTIME and PPTIME simulations (#1833 E1) by SamuelSchlesinger · Pull Request #1868 · cslib-community/complexitylib

feat(Classes/PP): unbounded-error probabilistic time PPTIME

SamuelSchlesinger

and

claude

committed

cdd8f31

feat(time): accepting choice-string counts for NTIME and BPTIME (#1833 H1)

SamuelSchlesinger

and

claude

committed

da93e6d

refactor(Classes/PP): derive the majority count form from acceptCount_le_half_iff

SamuelSchlesinger

and

claude

committed

6f55168

feat(Foundations/Nat): exponent arithmetic and residue recovery for counting simulations

SamuelSchlesinger

and

claude

committed

49bd81d

fix(Foundations/Nat): publicly import Complexity.Init in ResidueSum

SamuelSchlesinger

and

claude

committed

eee8995

refactor(complexity): share the generic accepted-string count with machines

SamuelSchlesinger

and

claude

committed

b7576bc

Merge remote-tracking branch 'origin/claude/hpv-exponent-arithmetic' into claude/hpv-assembly-conditional

SamuelSchlesinger

committed

2ef66fe

doc(Classes/PP): state the PPTIME threshold as a library convention

SamuelSchlesinger

and

claude

committed

9d3a078

feat(Classes/CountingSimulation): conditional assembly of the counting simulation (#1833 E1)

SamuelSchlesinger

and

claude

committed

4fe3398

Merge remote-tracking branch 'origin/claude/hpv-choice-normal-form' into claude/hpv-assembly-classes

SamuelSchlesinger

committed

805cba1

Merge remote-tracking branch 'origin/claude/hpv-simulation-statements' into claude/hpv-assembly-classes

SamuelSchlesinger

committed

3082ad7

feat(Classes/CountingSimulation): pass the padded time to the rule in unary

SamuelSchlesinger

and

claude

committed

f6b09bf

Merge branch 'claude/hpv-assembly-conditional' into claude/hpv-assembly-classes

SamuelSchlesinger

committed

b3de32f

feat(Classes/CountingSimulation): conditional NTIME/BPTIME/PPTIME simulations (#1833 E1)

SamuelSchlesinger

and

claude

committed

aa310ea

Navigation Menu

Repository navigation

feat(Classes/CountingSimulation): conditional NTIME, BPTIME and PPTIME simulations (#1833 E1) - #1868

feat(Classes/CountingSimulation): conditional NTIME, BPTIME and PPTIME simulations (#1833 E1)#1868
SamuelSchlesinger merged 15 commits into
mainfrom
claude/hpv-assembly-classes

Commits on Oct 30, 2026

feat(Classes/PP): unbounded-error probabilistic time PPTIME

feat(time): accepting choice-string counts for NTIME and BPTIME (#1833 H1)

refactor(Classes/PP): derive the majority count form from acceptCount_le_half_iff

feat(Foundations/Nat): exponent arithmetic and residue recovery for counting simulations

fix(Foundations/Nat): publicly import Complexity.Init in ResidueSum

refactor(complexity): share the generic accepted-string count with machines

Merge remote-tracking branch 'origin/claude/hpv-exponent-arithmetic' into claude/hpv-assembly-conditional

doc(Classes/PP): state the PPTIME threshold as a library convention

feat(Classes/CountingSimulation): conditional assembly of the counting simulation (#1833 E1)

Merge remote-tracking branch 'origin/claude/hpv-choice-normal-form' into claude/hpv-assembly-classes

Merge remote-tracking branch 'origin/claude/hpv-simulation-statements' into claude/hpv-assembly-classes

feat(Classes/CountingSimulation): pass the padded time to the rule in unary

Merge branch 'claude/hpv-assembly-conditional' into claude/hpv-assembly-classes

feat(Classes/CountingSimulation): conditional NTIME/BPTIME/PPTIME simulations (#1833 E1)

Commits on Oct 31, 2026

Merge origin/main into claude/hpv-assembly-classes