GAP（图形可访问性）NP-Complete 吗？答案

【问题标题】：Is GAP (graph accessibility) NP-Complete?GAP（图形可访问性）NP-Complete 吗？
【发布时间】：2013-09-10 12:30:46
【问题描述】：

GAP（图形可访问性问题）NP-Complete 吗？它有多项式和非确定性多项式算法来解决它，但我不认为这是一个标准，它通过显示它是 NP 和 NP-Hard => NP-Complete 来覆盖显示它是 NP-Complete 的基本方式。我从比我大的学生那里听到了这两个版本。那么到底是不是NP-Complete呢？

【问题讨论】：

如果有多项式算法，怎么可能是NP？
从我的课程资料来看，P 包含在 NP 中。此外，为了证明问题出在 NP 中，您必须构建一个非确定性算法或证明可以在多项式时间内验证解决方案。
根据我对您问题的理解，您有一个非确定性算法来寻找解决方案。在这种情况下，问题要么不是 NP-Complete，要么你只是证明了 P=NP，虽然这似乎极不可能；）。
P 在 NP 中包含（不等于）。课程材料说，为了证明一个问题是 NP-Complete，它必须是 NP 和 NP Hard。为了证明它是 NP，它声明您必须提供一个 NP 算法或证明解决方案可以在多项式时间内得到验证。为了表明这是 NP Hard 问题，它指出您必须将已知的 NP Hard 问题简化为当前问题。另外：nomachetejuggling.com/files/…
对不起，我一直打错了^^。我的第一个评论是NP-Complete，第二个评论是确定性的（不是非确定性的）。因此，如果您有一个确定性多项式算法来寻找解决方案，那么您的问题就在 P 中。如果它也是 NP-Hard，那么它就是 NP-Complete。那将证明P=NP.

标签： graph np-complete

【解决方案1】：

Wikipedia 表示问题出在NL-Complete，这意味着它也在P 中。这使得它极不可能是NP-Complete。如果是，那将证明P=NP，这是一个非常古老且未解决的问题。人们普遍认为P≠NP。

你也无法证明它不是NP-Complete，because that would prove P≠NP。

如果你能证明它是NP-Complete或者不是NP-Complete，你将收到an award of one million dollars。

因此，总而言之，答案是：这似乎不太可能，但您也不太可能在这个方向上证明任何事情:)。

【讨论】：