Если вы можете полиномиально уменьшить NP-сложную проблему до вашей проблемы, этого достаточно, чтобы доказать NP-сложность вашей проблемы. Однако конкретная проблема NP-hard может не быть полиномиально сводимой к вашей проблеме, даже если она сама NP-hard.
Кроме того, вам не нужно доказывать твердость NP путем уменьшения, вы также можете доказать это непосредственно.