Graph 最大公共子图保标

Graph 最大公共子图保标,graph,graph-algorithm,Graph,Graph Algorithm,给定同一组节点V上的两个图G1和G2,我想要最大公共子图保持节点的标记 我知道一般的MCS问题是NP难的,但仍然有这个限制吗? 对于这种情况是否有特定的算法 谢谢我不完全清楚到底是什么问题。特别是,“在同一组节点上”意味着什么 但是:如果一般问题是NP难问题(这取决于问题的确切性质,可能是也可能不是),那么包含标签的问题也应该是NP难问题,因为我们可以通过给G1和G2中的每个节点相同的标签,将原始问题(没有标签)简化为带标签的问题 如果你想要一个更清晰的答案,你应该更准确地定义你的问题: 什么

给定同一组节点V上的两个图G1和G2,我想要最大公共子图保持节点的标记

我知道一般的MCS问题是NP难的,但仍然有这个限制吗? 对于这种情况是否有特定的算法


谢谢

我不完全清楚到底是什么问题。特别是,“在同一组节点上”意味着什么

但是:如果一般问题是NP难问题(这取决于问题的确切性质,可能是也可能不是),那么包含标签的问题也应该是NP难问题,因为我们可以通过给G1和G2中的每个节点相同的标签,将原始问题(没有标签)简化为带标签的问题

如果你想要一个更清晰的答案,你应该更准确地定义你的问题:

  • 什么是图形?(它是有向图还是无向图,是多重图还是简单图等。如何将标签分配给图的节点?)
  • 你对MCS问题的看法是什么?(在问题的通常定义中,涉及同构)
  • “在同一组节点上”是什么意思?(这仅仅意味着两个图具有相同的节点数,还是意味着MCS在两个图中使用相同的节点?在后一种情况下,问题不是NP难问题。)

对不起,如果
G1=(V,E1)
G2=(V,E2)
,那么MCS不是简单地
GM=(V,EI)
其中
EI
E1
E2
的交叉点吗?我的意思是,MCS是NP难的原因是因为同构问题。如果你已经有了一个顶点对应关系,就不会有更多的问题了。举个例子:G11-21-3 G21-21-31-32-3交叉点将是1-21-3,但它不是MCS(在其强定义中)为什么不?它是G1的一个子图,也是G2的一个子图,它不能再大了,因为它已经是G1的全部了。是的,但它一般不是一个诱导子图-graph@imabug. 你的问题中没有提到它必须是一个诱导子图,在MCS的正常问题定义中也没有要求它。“相同的节点集”意味着两个图具有相同的节点。G1中的节点A是G2中的节点A,G1中的节点B是G2中的节点B,依此类推