Karp reduction

Summary