一、子图同构
查询图Q和数据图G匹配,如果对于Q中的每一个节点和边都存在一个双射函数f,使其满足:对于在Q中的每个节点v,在G中都存一个f(v)与之对应;同理对于每一条边(u,u‘)∈ Q也存在(f(v),f(v’))∈G与之对应。
简单来说就是查询图Q中的每个顶点和边在G中都有一个对应,并且满足双射函数的要求,而且不同的顶点和边要对应不同的顶点和边。(子图同构说白了就是大图中有一个子结构,长得跟查询图Q一模一样)
借助网上的一个图举个简单的例子:
在这图里面,A1和B1对应后,验证A1的出度边,入度边以及邻居顶点,如此符合要求,因此它们两个是一个子图同构,其实,绿色图形的下三角和蓝色三角也是一个子图同构关系。
二、模拟匹配
这是为了找到一个二元关系 S ⊆ Vq × V,其中 Vq 和 V 分别是 查询图Q 和 数据图G