OptimalDecloning NP-completeness proof