Add example for NP completeness proof and write first draft of algorithms