Restructured the files a bit, added first pass at NP-completeness proof for mc_ss_mp case.