Adapts the theorem NP = PCP(log log n) if and only if NP = P to the NC/NNC setting.
Adds statement of a derandomization lemma.
Adds proof and corollaries.
Completely rephrase equivalence theorem.
Fixes overfull hboxes.
Updates expander section.
Separate sections.
Adds missing big O.
Removes hardness of approximation section.
Adds error bound amplification lemma.
Adds missing parameters to lemma.
Adds missing references.