Math 这是NP语言吗？

（此外，它是否是Co-NP）

我相信这是NP。我可以提供一个验证者来完成以下工作：

V（G，E，k）是验证器，其中G是图，E是图的边列表 图，k是提供的路径

首先，检查以确保路径有效。第二，开始搜索 对于比给定路径长的路径。如果有的话，它可以是 发现于多项式时间。但是如果没有,因为这个 是一个无向图，这可以检查无限量的 时间，使这个问题成为NP难问题

---

我的思考过程中的缺陷在哪里？

你的问题L的补充，称之为L'，是“给定一个图G=（V，E）和一个整数k，G是否包含一个长度至少为k+1的简单路径”，这是众所周知的

最长路径问题。问题L’显然在NP中：只要猜测路径，假设有一条。（等价地，给定一条路径，只需验证它的长度是否确实至少为k+1。）请注意，当且仅当其补码在NP中时，问题在coNP中，这意味着L在coNP中

因为
最长路径
是NP完整的，所以L不在NP中，除非coNP=NP。（因为我们相信coNP！=NP，这意味着noNP-完全问题可以属于coNP，而nocoNP-完全问题可以属于NP。有关详细信息，请参阅。）
您的意思是“没有节点重复的路径不超过k”？是的，让我们假设这是一条简单的路径。编辑问题现在；
L={[G, K] | G is a simple undirected graph with no simple path longer than k}