Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Source

PCP theorem, Wikipedia

Web Source
Facts
Citation
URL
https://en.wikipedia.org/wiki/PCP_theorem
Sources
PCP theorem, Wikipedia
Lead section
Quote, Lead section
In computational complexity theory, the PCP theorem (also known as the PCP characterization theorem) states that every decision problem in the NP complexity class has probabilistically checkable proofs (proofs that can be checked by a randomized algorithm) of constant query complexity and logarithmic randomness complexity (uses a logarithmic number of random bits).
View the Source
Claims Backed By This Source (8 claims)

This source backs 8 claims across the atlas. As facts: 4 well-attested. As cited relationships: 2 holds. Plus 2 entities citing it as a general reference with no single fact or relationship attached.

Disposition By Topic

  • Theorems, 7 claims: 3 well-attested, 2 holds, 2 general references.
  • Sources, 1 claims: 1 well-attested.

Well-attested

4

Theorems

Holds

2

Theorems

General References

2

Theorems

Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.