Вам нужно показать точный опозит.
Это ничего не доказывает, если вы докажете, что можете решить свою проблему с проблемой NP-Hard. [Вы можете решить любую проблему в NP, используя SAT, по Теорема Кука-Левина ].
Вам нужно показать, что если ваша задача разрешима за полиномиальное время - то же самое относится и к проблеме NP-Hard. Вот что на самом деле делает сокращение.
Например: если я могу показать, что могу решить кратчайший путь , используя TSP - делает ли он кратчайший путь NP-Hard? Конечно, нет! Это только показывает, что TSP по крайней мере так же тверд, как кратчайший путь!