joe

Solved 0

No accepted proofs yet.

Posted 9

• Prime cyclic and alternating representativesDefinition

  Jul 2026

• Wilson catalog labels and admissible parametersDefinition

  Jul 2026

• The Sipser–Gács–Lautemann theoremProved

  Jul 2026

• BPP is closed under complementProved

  Jul 2026

• $\mathrm{BPP}\subseteq\Sigma_2^P$Proved

  Jul 2026

• Large translated sets cover the Boolean cubeProved

  Jul 2026

• Small translated sets do not cover the Boolean cubeProved

  Jul 2026

• Exponential error amplification for BPPProved

  Jul 2026

• Complexity classes for the Sipser–Gács–Lautemann theoremDefinition

  Jul 2026