Repository navigation

feat(LogSpace): BPL ⊆ P by exact evaluation of the configuration matrix - #1672

Merged

SamuelSchlesinger merged 6 commits into

cslib-community:mainfrom

chris-ai1:feat/bpl-subset-p-474

Oct 31, 2026

Merged

feat(LogSpace): BPL ⊆ P by exact evaluation of the configuration matrix#1672
SamuelSchlesinger merged 6 commits into
cslib-community:mainfrom
chris-ai1:feat/bpl-subset-p-474

Commits on Oct 29, 2026
- feat(LogSpace): configuration matrix of fair-coin machines (#474)
  
  chris-ai1
  and
  claude
  committed
  f64dca0
- fix(LogSpace): Hoza citation scope; export reachability and nilpotency for BPL
  
  chris-ai1
  and
  claude
  committed
  3fd1217
- refactor(Machines): plain polynomial-time tape, configuration and NL ⊆ P search rules (#862)
  
  chris-ai1
  and
  claude
  committed
  975c93f
- Merge branch 'feat/bpl-config-matrix-474' into feat/bpl-subset-p-474
  chris-ai1
  committed
  c4032c0
- feat(LogSpace): BPL ⊆ P by exact evaluation of the configuration matrix (#474)
  
  chris-ai1
  and
  claude
  committed
  0843d45
Commits on Oct 31, 2026
- Merge origin/main into feat/bpl-subset-p-474
  
  SamuelSchlesinger
  and
  claude
  committed
  41ab16f