补充资料：图的同构

图的同构
graph isomorphism

图的同构[脚户触阅期树白刀;rpa中。二3oMo砷。3M] 图集上的一种等价关系.一个无向图到另一个无向图的一个回钩吵射(加morphicmaP叫)，是一个图的顶点和边分别到另一个图的顶点和边上的保持关联关系的一一映射.两个图称为回伸的(巧。几幻印hic)，如果存在一个同构映射把其中一个映射为另一个.附图中图Gl和q不同构，而图Gl与乓同构.同构的图通常不加区别.具有给定顶点数和边数的互不同构的图的个数是有限的.定向图的同构，超图的同构和网络的同构都可以用类似方式定义. u 1 uZ 。。巡乙。， 一。、-一了、一，一J口二‘.~~.~.......r -.一协，.乡~-洲‘~~屯.必二 U于U，._“价产、心‘.一寿牙知。3一‘’一公仁 判明诸图之间的同构关系的问题在图论中是一个重要问题.对于某些图类，存在一些算法可以有效地判明同构关系(例如树(t氏犯)，或可平面图，〔1】).已经证明，某些n个顶点的图类可以由它的所有子图G一。的集合唯一地重构(在同构的意义下)，这种子图有n一1个顶点，且通过用所有可能的方式去掉顶点v得到.特别地，对于树和竞赛图已证明这一结论(当。尹5，6时，见竞赛图(tourT日n犯nt)).【补注】图的同构问题属于几z少类，但尚未证明它是属于/少了抑或是少类，它在计算的复杂性的研究上非常有意义。见综述【Al]和「AZI，亦见复杂性理论(田mplexityt扮刃ry). 图的重构问题通常也称为Kelly一U鲡啧攀(Kelly-U」am conJ。沈切re).最早的文献是【A3].许多图类已经证明是可重构的.新近的概述见【A41和【A5〕.

说明：补充资料仅用于学习参考，请勿用于其它任何用途。