I much prefer this treatment: http://rjlipton.wordpress.com/2010/06/26/stating-pnp-without-turing-machines/ http://rjlipton.wordpress.com/2010/06/26/stating-pnp

I much prefer this treatment: http://rjlipton.wordpress.com/2010/06/26/stating-pnp-without-turing-machines/ http://rjlipton.wordpress.com/2010/06/26/stating-pnp-without... However, it is more of a "p vs. np for non CS theory people".