embedded np-complete problem