Vertex Set Feedback Edge Set Traveling Salesman (TSP) Traveling Salesman with Time Windows (TSPTW) Graph Isomorphism Subgraph Isomorphism Induced Subgraph Capacitated Vehicle Routing (CVRP) Multi-Depot Capacitated Vehicle Contact Map Overlap Problem Minimum Multicut Problem Broadcast Time Problem Maximum Common Subgraph Isomorphism Max-Flow Problem Network Shortest Path Problem Structural Isomer Search Problem k-densest Common Sub-Graph Isomorphism
geometric-gnn-dojo ❓Research gap: Standard theoretical tools for GNNs, such as the Weisfeiler-Leman graph isomorphism Key idea: notion of geometric graph isomorphism + new geometric WL framework --> upper bound on geometric
): self.graph1 = graph1 self.graph2 = graph2 self.isomorphism = isomorphism = [0] * self.n for i in range(self.n): inverse_isomorphism[self.isomorphism (self.graph2, H, response) else: return False def run_isomorphism_zkp_protocol(n = random.sample(range(n), n) G2 = apply_permutation(G1, isomorphism) # 初始化证明者和验证者 prover = Prover(G1, G2, isomorphism) verifier = Verifier(G1, G2) # 运行多轮协议 accepted_rounds
/27071897 https://github.com/fozziethebeat/S-Space/tree/master/src/main/java/edu/ucla/sspace/graph/isomorphism Cordella,Pasquale Foggia,Carlo Sansone,Mario Vento: A (Sub)Graph Isomorphism Algorithm for Matching Large matching”, have a look at the wikipedia article on graph isomorphis : http://en.wikipedia.org/wiki/Graph_isomorphism
Weisfeiler-Lehman图同构测试及其他 Weisfeiler-Lehman Test (WL Test) Boris Weisfeiler and Andrey Lehman, 1968 Graph Isomorphism Graph Isomorphism Networks (GIN) 更新(以及聚合)函数:MLP+SUM 存在这样一个函数是单射的 用MLP拟合 f ϕ f\phi fϕ READOUT函数 实验(图分类
为了解决这一难题,我们开发了一种基于多关系图的MTL模型——异构多任务图同构网络(Heterogeneous Multi-Task graph Isomorphism Network, HMTGIN),
Relational Graph Isomorphism Networks (RGIN) (Xu et al., 2019) .
群的同态(homomorphism)和同构(isomorphism) 定义:同态(homomorphism) 群同态是一个函数f,应用于源群\((G, *, e)\)和目标群\((G', *', e' 同态的组合满足结合律(associative),\(j \circ (g \circ f) = (j \circ g) \circ f\) 定义:同构(isomorphism) 群同构\((f : G 同构(Isomorphisms) 同构(isomorphism) 在范畴里的一个同构是一个有逆箭头。一般用\(\sim \over \longrightarrow\)。 定理 单位箭头是同构。 从唯一性到唯一性同构(Uniqueness up to unique isomorphism) 定理:起点对象之间是“从唯一性到唯一性同构”。 如何证明同构\(\simeq\)(isomorphism) 对于任何\(b \in B\),存在\(f(a) = b, a \in A\)。
而Coyoneda和F同构,看下面scalaz里的代码: type CoyonedaF[F[_]] = ({type A[α] = Coyoneda[F, α]}) import Isomorphism
本文作者设计了一个简单的架构 GIN(Graph Isomorphism Network),并证明该架构在目前所有 GNN 算法中最具表达能力,并且具有与 Weisfeiler-Lehman 图同构测试一样强大的功能 2.1 Graph Isomorphism 先来介绍下什么是同构图。 简单来说,如果图 和 的顶点和边数量相同,且边的连接性相同,则可以称这两个图为同构的。 顺利成章的,作者设计一个满足单射函数的图同构网络(Graph Isomorphism Network,以下简称 GIN)。
attention networks (GAT) Approximated Personalized Propagation of Neural Predictions (APPNP) Graph Isomorphism
本文作者设计了一个简单的架构 GIN(Graph Isomorphism Network),并证明该架构在目前所有 GNN 算法中最具表达能力,并且具有与 Weisfeiler-Lehman 图同构测试一样强大的功能 2.1 Graph Isomorphism 先来介绍下什么是同构图。 简单来说,如果图 G1 和 G2 的顶点和边数量相同,且边的连接性相同,则可以称这两个图为同构的。 顺利成章的,作者设计一个满足单射函数的图同构网络(Graph Isomorphism Network,以下简称 GIN)。
molecular graphs. [16] This stems from message-passing GNN equivalence to the Weisfeiler-Lehman graph isomorphism Improving graph neural network expressivity via subgraph isomorphism counting (2020). arXiv:2006.09252
提出了基于WL图同构测试的理论框架,为众多的GNN框架给出了精彩的理论分析,并提出了一个简单但强大的图网络框架 GIN(Graph Isomorphism Networks),同时验证了GIN在图分类任务上的卓越性能
Graph Convolution(DGC) Partition Graph Convolution (PGC) Message Passing Neural Network (MPNN) Graph Isomorphism
2.6 Directed Acyclic Graphs (DAGs) & Scheduling | 2.7 Partial Orders and Equivalence | 2.8 Degrees & Isomorphism
and Restricted Representations A Category-theoretical Meta-analysis of Definitions of Disentanglement Isomorphism
同构(isomorphism) 如果存在一个同构\(g:b \to a\),有\(f \circ g = 1_b, g \circ f = 1_a\)。 其它 本体(olog) 交换图(commutative diagram) 通用性质(universal property) 如果,两个数学结构是同构(isomorphism),那么它们之间就存在通用性质
对于GNN模型,我们采用的对比模型叫做Weisfeiler-Leman,其常被用做图同构测试(Graph Isomorphism Test),图同构测试即给定两个图,返回他们的拓扑结构是否相同。
Non-Deterministic Polynomial problem 旅行商问题 Traveling salesman problem 同构 Graph isomorphism Non-Deterministic Polynomial problem 旅行商问题 Traveling salesman problem 同构 Graph isomorphism