标签： complexity-theory theory reduction
路径= {（G，s，t）| G指导了从s到t的路径
Clique = {（G，k）| G有k-clique}
我现在知道，从Path到Clique的多项式减少没有任何假设。 为什么如果P = NP那么在相反的方向上存在多项式减少 - 从Clique到Path？ 感谢