我有两张同构图表。
鉴于自我补充图G
,是否有更快的算法来找到{{1}之间的顶点映射 }及其补充?
我认为应该有更快的方法,因为我们知道2个图表都是同构和互补。
修改 对不起,我已经说得更清楚了: 我已经知道VF2算法在最好的情况下具有O(V ^ 2)的时间复杂度,在最坏的情况下具有O(V!·V)。这使得计算我正在使用的大图(1k顶点,500k边)的映射变得很慢。
我只是在问这个图的特殊情况是否是同构和互补存在更快的解决方案。
答案 0 :(得分:3)
这是自补图的同构问题。
可能会有所期待 那 同构 问题 将 实际上更容易 解决什么时候 限制 自我补充 图 或有向图, 因为 他们的 强大 结构 属性。 转身 出, 然而[Colbourn 和 Colbourn 1978年, 1979年], 那 同构 问题 自我补充图表 是多项式的 相当于一般 同构 问题; 强> 我们这么说 它是 同构 完成 。即使我们只是想知道是否 图表 或有图 是自我互补的,复杂性是一样的。 这个 让它变得不可能 那 那里 会是任何简单的 和 快速测试 用于识别 SC-图; 对于 例, 比较 色彩 多项式 图表 同 那 它的 补充不会告诉我们是否 它是自我补充的 (看到 1.59)。 承认 和同构 自我补充 图 因此 采取 加上 重要性。 他们 可以 提供 治愈 为了什么 被昵称 同构 疾病, 和 甚至安顿下来 著名 (或臭名昭着) 题 是否 P是平等的 我们将如此对NP 见。
本文第97页: 自补图和概括:综合参考手册。 Alastair Farrugia 马耳他大学 1999年8月
http://www.alastairfarrugia.net/sc-graph/sc-graph-survey.pdf