关于Efficient Subgraph Matching by Postponing Cartesian的批注

问题定义

子图匹配：假设有两个图 和图子图 同构即从到存在这样一个函数 而且 使得 一样成立 叫作子图同构的一个映射。在这篇论文中，两个图的顶点都是带属性的，这样还须要知足.

论文的核心想法

主要讨论如何经过推迟笛卡尔积操做来减小子图匹配运算的中间结果数量

• 在一个个查询点进行匹配的过程当中，实时构建一个叫压缩路径索引（compact path-index，CPI）的数据结构来存储全部查询点的候选以及候选之间的链接关系。

算法的大致流程

• 基于查询图和数据图构建CPI
• 将查询图进行CFL分解（对于不一样类型点的进行的不一样的匹配策略）
  • 将查询图上的点分红三种：核心点（Core）、森林点（Forest）和叶子点（Leaf）
  • 核心点就是查询图中知足以下要求的点：任意一个生成树中这个点都不会包含生成树之外的相邻边；
  • 叶子点就是查询图中度数为1的点；
  • 森林点就是其它点
  • 步骤
    • 拿出一个查询图中全部度数为1的点，这些点做为叶子点；
    • 而后，去掉叶子点以后，度数为1的点就是森林点；
    • 这些森林点再被去掉，剩下的结构中度数为1的点仍是森林点，如此迭代，直到图中没有剩下度数为1点；
    • 剩下的点就是核心点。

• 直接使用CPI，查询点匹配顺序必定按照核心点，森林点和叶子点计算到全部映射。

算法的具体过程

CPI 简介

本文根据查询图构建一个所谓的压缩路径索引（compact path-index，CPI）来实现查询匹配。

• 压缩路径索引就是一个基于查询图宽度优先搜索树的数据图组织方式。

• 在这个查询图宽度优先搜索树之上，每一个查询点都对应一个候选集合来存储的匹配候选。

算法流程

• 挑选候选匹配少且相邻边多的点做为CPI的根，进而获得CPI背后的宽度优先搜索树（CPI构建的具体过程参考下面）
• 根据这个CPI来肯定查询点匹配，查询点匹配顺序列表为seq。
• 核心部分
  • 首先，对于核心点部分，本文能够根据CPI获得从根到叶子的k条路径p1, p2, …, pk。
  • 而后，本文定义一个代价模型肯定各个路径的匹配代价，假设k条路径代价从大到小仍然是p1, p2, …, pk
  • 最后，依次将p1, p2, …, pk中各个查询点放到seq中，seq中出现过的点不重复出现。
• 森林点和核心部分相似，也是先获得若干条路径，再依次放进seq中。
• 叶子点匹配顺序按照叶子点匹配数量来定

CPI的构建

构建过程

• 按宽度优先搜索树的层次从顶向下依次获得每一个查询点的匹配。
• 对于每一层，都尽量多地利用每一个点的父亲节点的匹配候选以及这层中其余兄弟节点的匹配候选来剪枝掉其的匹配候选。
• 利用每一个匹配候选的邻接表来获得CPI。
• 在这个CPI上进行自底向上地剪枝，即利用每一个点的孩子节点的匹配候选来剪枝掉其的匹配候选。

例子

自上向下的构建

考虑图中的查询和图中的BFS树，其中是根顶点。而后q的顶点被划分为三个级别，级别为1，级别为2，级别为3级。

• 处理级别1的顶点（即）。的候选集合被指定为
• 考虑级别2的顶点（即和）。
  • 正向处理，咱们首先处理,和;被指定为具备相同标签的顶点集合，而且与顶点相邻，而且。其次处理和;被指定为具备相同标签的顶点集合，而且与顶点相邻，而且,但因为须要是标签为D节点的邻居，所以由CandVerify修剪。
  • 后向处理，因为在中没有邻居，也从中删除,。3）
  • 邻接列表构造，邻接列表构造如图所示。
• 依次类推第三层

自下向上的改进

• 继续上面例子咱们以的自下而上的方式细化的查询顶点的候选者;假设它们按的顺序处理。
  • 首先，没有较低级别的邻居，咱们什么都不作。在处理时，咱们经过的候选来细化的候选;从中删除，由于它在中没有邻居。
  • 接下来，在处理时，从中删除，而且还删除的邻接列表，如图所示。
  • 最后，咱们处理;

实验

和现有方法方法比

新框架的有效性