Added proof sketch of NP-hardness