关于NP证明

自己先不严谨总结了一下，证明一个问题是NP难。粗俗地说，就是别SB，要BS。
首先得有一个问题B，是已知的NP难，也就是说，它的解法至少是非多项式时间的。
然后我们要证明的是一个问题S，怎么证呢？
如果我们能找一个方法把B问题变成S问题，这个变换的方法得是多项式时间的。
这样就可以证明要解决S问题，也是至少得非多项式时间的。
这里关键就是要把已知的B问题变成S问题，而不是把S问题变成B问题。