图上具有‘无数’的点
如果说,假设一张具有N个节点的图,按照这种匹配的计算方法,其匹配数量就为N的阶乘,远远超过N的数量级
假如图里只有10个节点,也已经需要三百六十多万次可能的匹配检查
而如果一张图有100个节点,可能的匹配数会远远的超过可见宇宙中的原子数
所以这种比蛮力的方法非常不切实际,只适用于极少节点的图
而从手上的稿纸来看,刘嘉欣在研究这个问题的时候,并没有将图同构问题全部带入进p=Np类问题中
她选择了通过准多项式与映射函数来对同构模块,对图像进行切割的同时,将这些‘对比点’看作是一块块的‘图像’
然后模拟四色定理的方式,从第一张图的一些小节点开始,给它们每一个点“画”上不同的颜色
然后再假设第二张图里有其-一对应的点,开始在其中寻找同构,并在找到后将这些对应节点标上相同的颜色
该算法循环往复直到最终验证完所有可能的猜测
这是一条比以往图同构难题更加高效率的算法,而其中的关键,就在于这些稿纸中的一项数学工具
“准多项式图形映射法”
这项工具是通过连接多项式和映射工具来完成图同构高效算法的
尽管它并没有解决图同构难题,甚至都没有将这个问题彻底的归纳到p类问题范畴还是Np类问题中
但不可否认的是,在图同构难题上,这是一次重大的突破
看完手中稿纸,徐川长舒了口气,脸上带着笑意看向刘嘉欣,开口道:“没想到你又给我一个惊喜,图同构难题数学界钻研了几十年了,从未有人做到过这种程度”