Repository navigation

feat(Classes/Sparse): Kadin's theorem, PH ⊆ P^{NP[O(log n)]} under a sparse Turing-complete set for NP (#2062 M3) - #2077

Merged

SamuelSchlesinger merged 20 commits into

mainfrom

claude/kadin-1989-m3

Oct 31, 2026

Merged

feat(Classes/Sparse): Kadin's theorem, PH ⊆ P^{NP[O(log n)]} under a sparse Turing-complete set for NP (#2062 M3)#2077
SamuelSchlesinger merged 20 commits into
mainfrom
claude/kadin-1989-m3

Commits on Oct 31, 2026
- feat(Classes/Oracle): bounded-query oracle classes and P^{NP[O(log n)]} (#2062 M1)
  
  SamuelSchlesinger
  and
  claude
  committed
  59b5ade
- doc(Classes/Oracle): cite the page that defines P^{NP[O(log n)]}
  
  SamuelSchlesinger
  and
  claude
  committed
  c1eda75
- feat(Classes/Sparse): finite-list oracles, P^SPARSE ⊆ P/poly, and PH = Σ₂ under a sparse Turing-hard set (#2062 M2)
  
  SamuelSchlesinger
  and
  claude
  committed
  a615f87
- wip(Classes/Sparse): Kadin census requests and their NP membership (#2062 M3)
  
  SamuelSchlesinger
  and
  claude
  committed
  4c59e2f
- feat(Classes/Oracle): name the one-request program queryBit
  
  SamuelSchlesinger
  and
  claude
  committed
  453f4c5
- Merge M1 into M2
  SamuelSchlesinger
  committed
  8e6be09
- Merge M2 into M3
  SamuelSchlesinger
  committed
  77d61c3
- wip(Classes/Sparse): binary-search oracle program for the census (#2062 M3)
  
  SamuelSchlesinger
  and
  claude
  committed
  51bcabf
- wip(Classes/Sparse): Kadin's theorem assembled (#2062 M3)
  
  SamuelSchlesinger
  and
  claude
  committed
  21d1dd4
- feat(Classes/Sparse): Kadin's theorem, PH ⊆ P^{NP[O(log n)]} under a sparse Turing-complete set for NP (#2062 M3)
  
  SamuelSchlesinger
  and
  claude
  committed
  7861f35
- test(Classes/Sparse): wrap a long line in the Kadin tests
  
  SamuelSchlesinger
  and
  claude
  committed
  99e296a
- Merge origin/main into claude/kadin-1989-m2
  
  SamuelSchlesinger
  and
  claude
  committed
  c191190
- Merge claude/kadin-1989-m2 (with origin/main) into claude/kadin-1989-m3
  
  SamuelSchlesinger
  and
  claude
  committed
  379958f
- refactor(Classes/Oracle): share the one-request program between Closure and BoundedQuery
  
  SamuelSchlesinger
  and
  claude
  committed
  6d6914b
- Merge claude/kadin-1989 (shared queryBit) into claude/kadin-1989-m2
  
  SamuelSchlesinger
  and
  claude
  committed
  bea5fc9
- refactor(Classes/Sparse): move the list-oracle replay and shortMembers to general modules
  
  SamuelSchlesinger
  and
  claude
  committed
  ab8bfa8
- Merge claude/kadin-1989-m2 (general replay and shortMembers APIs) into claude/kadin-1989-m3
  
  SamuelSchlesinger
  and
  claude
  committed
  65d58bd
- refactor(Classes/Sparse): name Kadin's request components and reuse general APIs
  
  SamuelSchlesinger
  and
  claude
  committed
  0f2f9bc
- Merge origin/main into claude/kadin-1989-m3
  
  SamuelSchlesinger
  and
  claude
  committed
  a22685f
- Merge origin/main into claude/kadin-1989-m3
  
  SamuelSchlesinger
  and
  claude
  committed
  5c142be

Commits

Commits on Oct 31, 2026