Add brief introduction document about P vs NP