I am a mathematician who is working toward understanding a proof of the PCP theorem. I am reading Arora and Barak's book Computational Complexity, and I've noticed what I think are a few errors (in the published book). My question is basically if I am correct that what I found are errors and if my fixes are correct. I'm guessing this is a graduate level question, but it isn't research level. So I first posted it here at cs.stackexchange about a week ago, but I think there are more people here who could answer it.

Is the linked question appropriate for cstheory.stackexchange?

EDIT: Because two moderators said that it is appropriate, I posted the question here.

  • 3
    $\begingroup$ Seems like a great question to me... $\endgroup$ Oct 13, 2020 at 4:15

1 Answer 1


Such a question is appropriate for this site -- I think of graduate-level questions in TCS as on-topic. (ps Arora-Barak does have a lot of errors!)


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .