图的同构

最新推荐文章于 2023-05-31 09:51:32 发布
最新推荐文章于 2023-05-31 09:51:32 发布
阅读量3.4w 收藏 148
点赞数 61
分类专栏： Math 离散数学 文章标签： 离散数学 图论 图的同构
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_21774161/article/details/103035449
版权

图的同构

Abstract

声明：本文只为我闲暇时候学习所做笔记，仅供我无聊时复习所用，若文中有错，误导了读者，敬请谅解！！！
图的同构参见我的语雀：图论：https://www.yuque.com/jhongtao/mai/sabavx

图的同构

为什么要研究图的同构

  • 图的结构决定图的本质特征，结构相同的图会有类似的性质，因而需要研究图的同构问题

image.png

满足什么条件的图才是图的同构

image.png

同构的图案例

image.png

任意两个图形，如何判定图的同构

  • 判断两个图是否同构，目前没有比较好的方法，但是也可以从一些方面着手
    • 根据节点的度数做初步判定，一度的节点肯定会对应一度的节点，2度节点也肯定对应2度节点
    • 也可以对节点的邻接节点进行判断，一个节点的邻接点是2度和3度节点，那么在另一个图中也应该是一样的

image.png

  1. 在图G1中只有一个一度节点e，G2中也只有一个一度节点v5,所以在图的双射关系中，图G1中的e就应该对应图G2中的v5:e->v5
  2. 同理，在图G1中的6度节点a,也就应该对应图G2中的6度节点v1:a->v1
  3. ·······
  4. 当然如果图的节点和度数规模很大的时候，这种对应关系就会变得很多，所以就不好判断了

图同构的必要条件，也就是说两个图如果同构，会存在的特征

  • 当图如果不满足下面的条件则这两个图肯定不同构，但是如果满足也不一定同构

image.png

图同构的必要条件举例

image.png

  1. 在图G和图G’中，图的节点数都相同，且都拥有3个一度节点，2个2度节点，和1个3度节点
  2. 但是可以看到图G中度数为3的节点3，它连接的是1个1度节点（6）和2个2度节点（2和4）
  3. 图G’中度数为3的节点d，它连接的是2个1度节点（f和e）和1个2度节点©
  4. 所以图G和图G’不是同构的图
Taosolo
关注
  • 61
    点赞
  • 踩
  • 148
    收藏
    觉得还不错? 一键收藏
  • 5
    评论
专栏目录
图的同构识别算法——C++代码实现
牛大春の博客
11-26 7096
给定的两个邻接矩阵，判断其三个必要非充分条件： ①结点数目相同 ②变数相同 ③度数相同的结点数相同 以①②③为前提进行矩阵变换，看给定的两个矩阵中，其中的一个矩阵是否能变换为另一个矩阵; 实现代码和说明: #include<iostream> #include<stdlib.h> #define MAX 100 using namespace std; struct AdjacencyMatrix{//邻接矩阵 int points; /
图同构（graph isomorphism）和图同态（graph homomorphism）
qq632544991p的专栏
04-15 2万+
图同构 图论中图G和图H 同构是一个G和H之间顶点的双射 f:V(G)-->V(H) 当 G和H是一个同一个图时，双射被称为G的自同构。 上图是一个图同构的例子，顶点之间并没有颜色区分，为了更好地看出顶点间的映射关系，加上了颜色。 图同构的变种 Isomorphism of labeled graphs.Under one de nition, an isomo
图同构的判定研究
12-29
图同构的判定研究，陈新泉，，图论中的图同构判定问题仍是一个未完全解决的重要的理论问题，本文从图的邻接矩阵的行、列置换出发，得到能加快判定两个图是否同
论文研究-图同构的一个充分必要条件.pdf
09-11
建立了一种基于硬件加速器FPGA 和指令集模拟器ISS对嵌入式系统功能进行软硬件协同验证的方法。针对此方法的实现，分析了协同验证过程中软硬件交互技术，并给出总线功能模型BFM结构及其实现方法。经实例验证分析表明，基于FPGA和ISS的协同验证方法，在对嵌入式应用系统验证中与其他几种常用方法比较具有较明显的优势。
基于邻接矩阵初等变换算法的图同构识别1
08-03
1、硬件环境：个人机，CPU 主频：1.80GHz 内存：4GB 2、软件环境：操作系统：Windows 7 3、地点：智能信息处理实验室 1、邻接矩阵初等变换
fraciso:分数图同构算法
07-02
分数图同构算法 该包包含用于确定两个图是否部分同构的算法。 它需要 Python 3。 此文件的最后更新时间为 2014 年 3 月 25 日。 版权许可 此软件包根据 GNU 通用公共许可证第 3 版的条款分发。有关详细信息，请参阅此目录中的文件LICENSE 。 基本用法 from networkx import Graph from fraciso import are_fractionally_isomorphic # Create a NetworkX Graph objects G and H. #G = ... #H = ... print('G is fractionally isom. to H?', are_fractionally_isomorphic(G, H)) 使用线性规划求解器 分数图同构问题可以通过线性规划解决。 为了使用受支持的线性规划求解器，它必须安
基于矩阵变换算法的图同构识别
06-27
这个算法用来判定一个无向图与另一个无向图是否同构，里面附有可以直接运行的java代码，
图同构的判断
qq_43039143的博客
03-31 1万+
更加详细的内容可以看：http://120.27.213.171/2022/03/28/%E5%9B%BE%E8%AE%BA/ 同构的概念：假设 G=(V,E) 和 G1=(V1，E1) 是两个图，如果存在一个双射 m：V→V1 ，使得对所有的x,y∈V 均有 x,y∈E 等价于 m(x) m(y)∈E1 ，则称 G和 G1是同构的。 G图 G1图 如图，这是两个同构图。其关系满足图G{A->C, B->A, B->D, D->E, E->C}，图G1满
【离散数学】十章：图 - 图的表示和图的同构
m0_74195626的博客
05-30 8621
1. 图的表示：邻接表、邻接矩阵、关联矩阵 2. 图同构、判断两个简单图是否同构
升级打怪-精读javascript高级程序设计(第七章)
ken_ding的博客
11-02 238
函数表达式 函数表达式的特征 使用函数实现递归 使用闭包定义私有变量
图同构（graph isomorphism）算法（1）
acrux1985的专栏
01-18 3万+
对于同一个图，我们可以用各种不同的形式来描述，这些形式都具有相同数目的边，具有相同数目的顶点，它们有着一一对应的关系，对应的顶点具有相同的连接性。这些图的不同形式，我们称之为图同构。
解释图同构和图同态
最新发布
qq_45770988的博客
05-31 1726
假设G=(V,E)和G1=(V1，E1)是两个图，如果存在一个双射m：V→V1，使得对所有的x,y∈V均有xy∈E等价于m(x)m(y)∈E1，则称G和G1是同构的,这样的一个映射m称之为一个同构，如果G=G1，则称他为一个自同构。具体而言，如果两个图可以通过重新排序节点或重新标记节点的方式，使得它们的结构完全匹配，则这两个图被认为是同构的。同样，X与Y、X与Z相连，Y与Z相连。通过重新标记节点的方式，我们可以将G1中的节点重新命名为X、Y、Z，即将节点A重命名为X，节点B重命名为Y，节点C重命名为Z。
基于CAD判断图同构.pdf
08-04
基于CAD判断图同构.pdf
计算机专业英语词汇大全
热门推荐
魏波
03-29 5万+
A (Active-matrix)主动矩阵(Adapter cards)适配卡 (Advanced application)高级应用(Analytical graph)分析图表 (Analyze)分析(Animations)动画 (Application software) 应用软件(Arithmetic operations)算术运算 (Audio-output device)音频输出...
c++ 图的重构识别
weixin_52115456的博客
11-11 1021
算法设计与分析实验，简单地理解，图的本质是一样的，只是表达的方式不同例如下图：它的同构图有：等等，可以发现，图的同构，实际也就是点的编号不同导致的，也就可以推导出，假如一个图能通过编号替换成为另一个图，那么这两个图就是同构的，否则就不是同构的 二、图的表示方法 图的表示方法有很多种，例如邻接表、邻接矩阵等等。显然地，图的同构用邻接矩阵表示比较方便。我们用两个图来当样例讲解该题我们思考一下，图2如何转换成图1呢？ 显然，将编号5改为1，将编号4改为3，将编号1改为4，将编号3改为5，就是和图1一模一样的了
图论——同构图
weixin_44646187的博客
03-27 8639
同构是在数学对象之间定义的一类映射，它能揭示出在这些对象的属性或者操作之间存在的关系。若这两个数学结构之间存在同构映射，那么这两个结构叫做是同构的。一般来说，如果忽略同构的对象的属性或操作的具体定义，单从结构上讲，同构的对象是完全等价的。 ----Wikipedia 同构图：假设G=(V,E)和G1=(V1, E1)是两个图，假设存在一个双射m:V —> V1，使得对全部的 x,y∈V 均有 xy∈xy∈E 等价于 m(x)m(y)
1.Weisfeiler-Lehman Algorithm
机器人视觉感知
01-30 878
参考自维基百科图同构描述的是图论中，两个图之间的完全等价关系。在图论的观点下，两个同构的图被当作同一个图来研究。只有节点数目相同(即同阶)的两个图才有可能同构。两个简单图GGG和HHH称为是同构的，当且仅当存在一个将GGG的节点1n1,...,n1...n映射到HHH的节点1n1,...,n1...n的一一对应σ\sigmaσ，使得GGG中任意两个节点iii和jjj相连接，当且仅当HHH中对应的两个节点σi\sigma_{i}σi​和σ。
（离散数学）指出下面各个图中哪些是彼此同构的
u013707214的博客
07-02 4132
图同构
05-27
图同构是指两个图之间可以通过重新标号其顶点和边来变成相同的图。也就是说，两个图如果有相同的结构，那么它们就是同构的。 例如，下面这两个图就是同构的： ``` A 1 / \ / \ B---C 2---3 ``` 虽然它们的顶点和边的标号不同，但它们的结构是相同的，都有三个顶点，两条边，每个顶点的度数为1或2。因此，这两个图是同构的。 判断两个图是否同构通常需要通过一些算法来完成，这些算法可以比较两个图的结构特征，例如顶点度数序列、连通性、环的数量等等。常见的算法包括VF2算法、GI算法等等。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 5
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值