是否存在类似于isisominant图的isisomorphic的函数？

Question

我有两张图G1和G2，可能带有彩色节点和边缘。是否存在回答以下问题的函数（MatLab或其他程序）：

• 是否存在G1的同构，比如f(G1)，f(G1)大于或等于（逐元素支配）G2？

我知道isisomorphic中引入的函数R2016B。此检查回答了问题：给定两个图G1和G2，可能带有彩色节点和边，G1和G2是同构的吗？一种方法是枚举G1的所有同构并检查上述条件。对于较大的图表，这似乎需要太长时间。

修改：此问题的答案可能是修改isomorphism中的MatLab功能 - 我们可以将f(G1) == G2形式的条件替换为f(G1) >= G2。 isomorphism中的@graph toolbox函数首先重新排序图表以便稍后进行高效计算，然后调用isomorphism中的@biograph toolbox函数。这会调用graphisomorphism函数，该函数会调用Mex文件graphalgs，该文件似乎是nauty Trace package的版本，请参阅here。所以，简而言之，似乎要回答这个问题，我需要修改nauty package。