NP中问题之间的减少

Question

根据定义，NP 中的任何问题都可以归结为 NP-Complete 中的问题。但是，假设我们在 NP 中有两个任意问题 X 和 Y。 X 可约化为 Y 一定是真的吗？

我不清楚在特定复杂性类别的两个任意问题之间减少的方面，所以任何指导将不胜感激。

Answer 1

原则上，没有理由将任意问题简化为另一个问题。

举个具体的例子，已知用n位对任意整数进行因式分解在NP中，但据信既不在P中，也不在NP中-完成.因此旅行商不能归约为整数分解。

https://en.wikipedia.org/wiki/NP-intermediate 列出了属于同一类别的其他问题，并且没有理由相信，例如，图同构可简化为因式分解，反之亦然。