Weisfeiler-Lehman图同构测试及其他

Weisfeiler-Lehman图同构测试及其他Weisfeiler-LehmanTest(WLTest)BorisWeisfeilerandAndreyLehman,1968GraphIsomorphism一个简单的同构图例子:1-dimensionalWLTest输入:两个可有节点属性的图输出:两个图是否同构(满足WLTest是两图同构的必要条件)演示1演示2更加具体的描述稳定状态失效情况注意这里和原ppt不

大家好,又见面了,我是你们的朋友全栈君。

有问题欢迎留言讨论


Weisfeiler-Lehman图同构测试及其他

Weisfeiler-Lehman Test (WL Test)

Boris Weisfeiler and Andrey Lehman, 1968

Graph Isomorphism

在这里插入图片描述

一个简单的同构图例子:

在这里插入图片描述

1-dimensional WL Test

输入:两个可有节点属性的图

输出:两个图是否同构(满足WL Test是两图同构的必要条件)

在这里插入图片描述

  • 演示1
    在这里插入图片描述

  • 演示2
    在这里插入图片描述

  • 更加具体的描述

在这里插入图片描述

在这里插入图片描述

  • 稳定状态

在这里插入图片描述

  • 失效情况

在这里插入图片描述
在这里插入图片描述
注意这里和原ppt不同,2-WL其实应该是无法区分这个六边形和两个三角形的。(一种说法是1-WL和2-WL的能力其实是一样的。)

k-dimensional WL Test

在这里插入图片描述
在这里插入图片描述

3维的WL Test首先枚举图中所有三个点的组合,初始化标签,然后按照类似的方法进行细化。
在这里插入图片描述

k维的WL Test考虑了k个节点的组合。

在这里插入图片描述

Morgan Algorithm

Morgan, 1965

  • Chemical Fingerprints (ECFP)

    The ECFP generation process has three sequential stages:

    1. An initial assignment stage in which each atom has an integer identifier assigned to it.
    2. An iterative updating stage in which each atom identifier is updated to reflect the identifiers of each atom’s neighbors, including identification of whether it is a structural duplicate of other features.
    3. A duplicate identifier removal stage in which multiple occurrences of the same feature are reduced to a single representative in the final feature list. (The occurrence count may be retained if one requires a set of counts rather than a standard binary fingerprint.)
    1. 初始化原子标识符。哈希函数处理非氢原子属性(原子序号、连接性等),得到一个整数
    2. 标志符的迭代更新。类似Mogan算法,但是迭代次数是预先设定的,不追求得到1-WL的区分度。
    3. 标识符去重。保留所有不同的标识符,压缩到一个比特串中。
  • Canonical SMILES

在这里插入图片描述

利用Mogan算法迭代连通度,直到稳定(更新后连通度直方图形状不变),利用连通度进行排序,得到唯一的SMILES记法。(这种算法是商业化的,所以计算Canonical SMILES要用Daylight软件。)


Message-Passing Neural Network (MPNN)

Weisfeiler-Lehman Netwrok (WLN)

WLN的思想是将1-WL 中离散的呈指数增长的节点标签用嵌入向量代替

用于预测有机分子化学反应,NeurIPS 2017

在这里插入图片描述

MPNN

消息传递网络MPNN是一种聚合邻近点信息的图神经网络框架。

MPNN contains two phases, a message passing phase (namely the propagation step) and a readout phase.

  • The message passing phase runs for T times and is defined by message function Mt and vertex update function Ut.

在这里插入图片描述

where m v t m_v^t mvt is message and e v w e_{vw} evw is the feature of the edge from node v to w

  • The reader phase computes a feature vector for the whole graph using readout function

在这里插入图片描述


How Powerful Are Graph Neural Networks?

ICLR 2019

WL Test & MPNN

  • MPNN

在这里插入图片描述

  • 1d WL Test

在这里插入图片描述

1-WL 是MPNN类型的GNN的性能上界

不过利用WL得到的节点特征是离散的,或者说是one hot类型的,不能用于计算图的相似度等。

  • 设计合适的更新函数和聚合函数非常重要
  • 常用的聚合函数如MAX、MEAN不能处理的一些情况

在这里插入图片描述

聚合函数需要是 单射(injective) 的,即函数不同的输入不能有相同的输出。

Graph Isomorphism Networks (GIN)

  • 更新(以及聚合)函数:MLP+SUM
    • 存在这样一个函数是单射的

在这里插入图片描述

  • 用MLP拟合 f ϕ f\phi fϕ

在这里插入图片描述

  • READOUT函数

在这里插入图片描述

在这里插入图片描述

实验(图分类 Graph Classification)

训练集:

在这里插入图片描述

测试集:

在这里插入图片描述


Beyond WL

Beyond 1-WL

non local

基于k-WL及各种变种k-WL设计的网络,虽然理论很好但实际效果不佳。

  • k-GNNs 需要 O ( n k ) O(n^k) O(nk)级别内存
  • Invariant Graph Networks (IGN) based on k-order tensors
    • 3-WL 级别的IGN有平方级别的复杂度,但较MPNN的线性复杂度还是略显臃肿

Beyond WL

  • GSN 在MPNN的基础上,使聚合的信息包括局部图结构(保留了局部性和线性复杂度)

在这里插入图片描述

  • 近似同构,用某种度量来衡量两图的相似性

Reference

Michael Bronstein’s Blog (Recommended)

WL Test

  • Combinatorial Properties of the Weisfeiler-Leman Algorithm by Sandra Kiefer
  • Weisfeiler-lehman graph kernels
  • On Weisfeiler-Leman Invariance: Subgraph Counts and Related Graph Properties

Chemical Fingerprint

WLN

  • Predicting organic reaction outcomes with weisfeiler-lehman network NeurIPS2017

MPNN

  • Graph neural networks: A review of methods and applications arXiv 2018
  • Neural message passing for quantum chemistry arXiv 2017

GIN

  • How powerful are graph neural networks? ICLR 2019
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/126245.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)
blank

相关推荐

  • mac phpstorm激活码2022【2022.01最新】2022.02.27

    (mac phpstorm激活码2022)好多小伙伴总是说激活码老是失效,太麻烦,关注/收藏全栈君太难教程,2021永久激活的方法等着你。IntelliJ2021最新激活注册码,破解教程可免费永久激活,亲测有效,下面是详细链接哦~https://javaforall.cn/100143.html2KLKA7BQFO-eyJsaWNlbnNlSW…

  • Redis集群主从复制(一主两从)搭建配置教程【Windows环境】

    如何学会在合适的场景使用合适的技术方案,这值得思考。由于本地环境的使用,所以搭建一个本地的Redis集群,本篇讲解Redis主从复制集群的搭建,使用的平台是Windows,搭建的思路和Linux上基本一致! (精读阅读本篇可能花费您15分钟,略读需5分钟左右)Redis主从复制简单介绍为了使得集群在一部分节点下线或者无法与集群的大多数节点进行通讯的情况下, 仍然可以正常运…

  • 如何在PyCharm中配置Tensorflow环境[通俗易懂]

    如何在PyCharm中配置Tensorflow环境[通俗易懂]如何在Mac系统PyCharm中配置Tensorflow环境查看Python在Virtualenv虚拟环境中的路径进入Virtualenv根目录的bin文件夹:cd/Users/power/Desktop/xxx/virtualenv.py/bin执行命令:sourceactivatetensorflow执行命令:whichpython,会得到Python在Virtualenv中的路

  • MySQL相关 – 死锁的发生和避免

    MySQL相关 – 死锁的发生和避免

  • Pytest(1)安装与入门「建议收藏」

    Pytest(1)安装与入门「建议收藏」pytest介绍pytest是python的一种单元测试框架,与python自带的unittest测试框架类似,但是比unittest框架使用起来更简洁,效率更高。根据pytest的官方网站介绍,它

  • springcloudfeign原理面试题_微服务feign作用

    springcloudfeign原理面试题_微服务feign作用Feign原理简述启动时,程序会进行包扫描,扫描所有包下所有@FeignClient注解的类,并将这些类注入到spring的IOC容器中。当定义的Feign中的接口被调用时,通过JDK的动态代理来生成RequestTemplate。 RequestTemplate中包含请求的所有信息,如请求参数,请求URL等。 RequestTemplate声明Request,然后将Request交给cl…

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号