高评分完本证明一个问题是NP难问题