\(\text{S}_{2}^{\text{P}} \subseteq \text{ZPP}^{\text{NP}}\) (Q859979)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(\text{S}_{2}^{\text{P}} \subseteq \text{ZPP}^{\text{NP}}\) |
scientific article |
Statements
\(\text{S}_{2}^{\text{P}} \subseteq \text{ZPP}^{\text{NP}}\) (English)
0 references
22 January 2007
0 references
complexity theory
0 references
complexity classes
0 references
symmetric alternation
0 references
Karp-Lipton theorem
0 references
approximate counting
0 references
witness sampling
0 references
irrefutable proof
0 references
0 references
