Definition
A probabilistically checkable proof system with completeness c(n) and soundness s(n) over alphabet Σ for a decision problem L, where 0 ≤ s(n) ≤ c(n) ≤ 1, is a randomized oracle Turing Machine V (the verifier) that, on input x and oracle access to a string π ∈ Σ* (the proof), satisfies the following properties:
- Completeness: If x ∈ L then for some π, Vπ(x) accepts with probability at least c(n),
- Soundness: If x ∉ L then for every π, Vπ(x) accepts with probability at most s(n).
The randomness complexity r(n) of the verifier is the maximum number of random bits that V uses over all x of length n.
The query complexity q(n) of the verifier is the maximum number of queries that V makes to π over all x of length n.
The verifier is said to be non-adaptive if it makes all its queries before it receives any of the answers to previous queries.
The complexity class PCPc(n), s(n) is the class of all decision problems having probabilistically checkable proof systems over binary alphabet of completeness c(n) and soundness s(n), where the verifier is nonadaptive, runs in polynomial time, and it has randomness complexity r(n) and query complexity q(n).
The shorthand notation PCP is sometimes used for PCP1, ½. The complexity class PCP is defined as PCP1, ½.
Read more about this topic: Probabilistically Checkable Proof
Famous quotes containing the word definition:
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)