主要内容

同构

确定两个图是否是同构

描述

例子

tf = iSisomorphic(G1,G2返回逻辑1((真的) 如果一个图同构存在于图之间G1G2;否则,它返回逻辑0((错误的)。

例子

tf = iSisomorphic(G1,G2,,,,名称,价值用一个或多个名称值对参数指定其他选项。例如,您可以指定“节点”并表明同构必须保留这些变量是有效的。

例子

全部收缩

创建和绘制两个有向图,然后确定它们是否是同构。

G1 = Digraph([1 1 1 1 2 3 4],[2 3 4 4 4 1]);G2 = Digraph([[3 3 3 2 1 4],[1 4 2 3 2 2]);子图(1,2,1)图(G1)子图(1,2,2)图(G2)

图包含2个轴对象。轴对象1包含类型图形图的对象。轴对象2包含类型图形图的对象。

异态(G1,G2)
ans =逻辑1

创建和绘制两个图,G1G2

G1 =图([1 1 1 2 2 3 3 4 5 5 7 7],[2 4 5 3 6 4 7 8 6 8 6 8]);情节(g1,'xdata',[1 4 4 1 2 3 3 2],'ydata',[4 4 1 1 1 3 3 2 2])

图包含一个轴对象。轴对象包含类型图形图的对象。

g2 = graph({'一种''一种''一种''b''b''b''C''C''C''D''D''D'},,...{'G''H''一世''G''H''J''G''一世''J''H''一世''J'});情节(g2,'xdata',[1 2 2 2 2 1 2 1],,'ydata',[4 4 3 2 3 1 2 1])

图包含一个轴对象。轴对象包含类型图形图的对象。

确定是否存在同构G1G2。结果表明,尽管标签和布局不同,但图形在结构上是相同的。

tf = iSisomorphic(G1,G2)
tf =逻辑1

使用两个不同的比较来确定两个图之间是否存在同构关系。其中一个比较保留了节点属性,而另一个比较忽略了它。

创建两个类似的图。添加节点属性颜色到每个图。

g1 = graph({'D''e''F'},{'e''F''D'});g1.nodes.color = {'红色的''红色的''蓝色的'}';g2 = graph({'一种''b''C'},{'b''C''一种'});g2.nodes.color = {'蓝色的''蓝色的''红色的'}';

在同一图中并排绘制图形。为有红色的节点染色颜色='红色'

子图(1,2,1)p1 =图(G1);突出显示(p1,{'D''e'},,'nodeColor',,,,'r')子图(1,2,2)p2 =图(g2);突出显示(P2,'C',,,,'nodeColor',,,,'r'

图包含2个轴对象。轴对象1包含类型图形图的对象。轴对象2包含类型图形图的对象。

确定图是否同构,忽略颜色财产。

tf = iSisomorphic(G1,G2)
tf =逻辑1

确定图是否同构并保留值颜色比较中的属性。在这种情况下,没有同构,因为颜色每个图的属性包含不同的数字'红色的''蓝色的'值。

tf = iSisomorphic(g1,g2,“节点”,,,,'颜色'
tf =逻辑0

输入参数

全部收缩

输入图,指定为单独的参数图形或者Digraph对象。采用图形创建一个无向图或Digraph创建有向图。

G1G2必须两者兼而有之图形对象或两者兼而有之Digraph对象。

例子:G1 =图(1,2)

例子:g1 = digraph([1 2],[2 3])

名称值参数

指定可选的逗号分隔对名称,价值参数。姓名是参数名称和价值是相应的值。姓名必须出现在引号中。您可以按任何顺序指定几个名称和值对参数NAME1,Value1,...,Namen,Valuen

例子:tf = isisomorphic(g1,g2,'nodevariables',{'var1''var2'})

边缘变量要保留,指定为逗号分隔对“ edgevariables”以及字符向量,字符串标量,字符矢量的单元格数或字符串数​​组。使用此选项来指定两者中的一个或多个边缘变量G1.Edgesg2.edges。同构比较必须保留指定的边缘变量才能有效。对于在相同两个节点之间具有多个边缘的多编码,相同节点对的边缘变量排序是无关的。

数据类型:char|细绳|细胞

节点变量要保留,指定为逗号分隔对“节点”以及字符向量,字符串标量,字符矢量的单元格数或字符串数​​组。使用此选项来指定两者中的一个或多个节点变量g1.nodesg2.nodes。同构比较必须保留指定的节点变量才能有效。

数据类型:char|细绳|细胞

更多关于

全部收缩

图同构

两个图,G1G2,如果存在节点的排列,则是同构p这样重新订购(G2,P)具有与G1

同构的两个图具有相似的结构。例如,如果图包含一个循环,则所有图与该图的同构也包含一个循环。

在R2016b中引入