PCPs in NC
TeX
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
README.md
mycomplexity.sty
ncpcp.bib
ncpcp.tex
tradeoffs.bib
tradeoffs.tex

README.md

PCPs for NC

Restricted probabilistically checkable proofs for NC.

This file was last updated on 5 May 2016.

Downloading

This paper can be found at https://github.com/jfinkels/ncpcp.

To download the paper using Git, run

git clone git://github.com/jfinkels/ncpcp

A somewhat recent version of this work should be available at https://cs-people.bu.edu/jeffreyf/static/pdf/ncpcp.pdf, but I can't guarantee that that will always be up to date, since I compile and upload it manually.

Compilation dependencies

Besides pdflatex, compile-time dependencies include the following LaTeX packages:

  • amsmath
  • amssymb
  • amsthm
  • complexity
  • hyperref
  • thmtools

On Ubuntu 11.04 through 13.10, the necessary system packages which contain these LaTeX packages are:

  • texlive-base
  • texlive-latex-base
  • texlive-latex-extra
  • texlive-science

To install them, run

sudo apt-get install texlive-base texlive-latex-base texlive-latex-extra \
  texlive-science

Compiling

To compile the document, run

pdflatex ncpcp
bibtex ncpcp
pdflatex ncpcp
pdflatex ncpcp

The output is ncpcp.pdf, and can be viewed with any PDF reader.

Copyright

Copyright 2012, 2013, 2014, 2016 Jeffrey Finkelstein.

Except where otherwise noted, both the LaTeX markup and the content of this article are made available under the terms of the Creative Commons Attribution-ShareAlike 4.0 International license, https://creativecommons.org/licenses/by-sa/4.0/.

Contact

Jeffrey Finkelstein jeffrey.finkelstein@gmail.com