more comments in preliminaries
OptimalDecloning NP-completeness proof