Skip to content

feat(complexity): prove #P and UP ∩ coUP oracle lowness, Low(#P) = UP ∩ coUP, Low(GapP) = SPP, and Mod_k P lowness (#727) - #734

Merged
SamuelSchlesinger merged 1 commit into
mainfrom
feat/sharpp-lowness-727
Oct 24, 2026
Merged

SamuelSchlesinger merged 1 commit into
mainfrom
feat/sharpp-lowness-727

feat(sharpp): prove UP ∩ coUP lowness for #P and SPP lowness for GapP…

9c44672
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 24, 2026 in 4s