Update Proposal.tex

Added some intro, rules and proof of Np-completeness. Can you finish up the part on how to continue this project and fix the formatting? I am unfamiliar with this latex package and it doesn't compile super nicely on my computer.