[发明专利]基于素数标记的有圈图小枝存在性查询方法

摘要

本发明的基于素数标记的有圈图小枝存在性查询方法，通过以下步骤来实现a).标记有圈图、小枝；b).将有圈图转换为无圈图；c).素数标记；d).根据类别信息查找匹配节点；e).根据小枝T中边的要求进行筛选。本发明的有圈图小枝存在性查询方法，首先将有圈图转化为有向无圈图，再对有向无圈图中各节点进行素数标记；在小枝查询的过程中，首先根据小枝节点中节点的类别查询出符合要求的节点，再根据小枝中单跳边、多跳边以及孩子节点、父亲节点对节点类别的要求，进行进一步筛选，以判断有圈图中是否存在所要查找的小枝，解决了现有的查询方法不支持有圈图查询或不支持小枝查询的问题。

主权项

一种基于素数标记的有圈图小枝存在性查询方法，其特征在于，通过以下步骤来实现：a).标记有圈图、小枝，将有圈图标记为G，设有圈图G中的节点数为n，n个节点分别标记为v1、v2、...、vn，其类别分别标记为kindv1、kindv2、...、kindvn；将待查询的小枝标记为T，设小枝T中的节点数为k，k个节点分别标记为u1、u2、...、uk，其类别分别标记为kindu1、kindu2、...、kindun，k、n均为正整数；不同节点可为同一类别；b).将有圈图转换为无圈图，按照“有圈图G中的一个强连通分量变为有向无圈图中的一个节点，且变为节点的类别为强连通分量中各节点类别的并集”的原则，从有圈图G中提取强连通分量，把有圈图G转换为一个有向无圈图G′；设转换后的有向无圈图G′有m个节点，m个节点分别为v1′、v2′、...、vm′，m为正整数，m＜n；c).素数标记，先对有向无圈图G′中的节点进行素数标记，然后在根据“有圈图G的同一个强连通分量的节点赋相同素数标记”的原则对有圈图G中的节点进行素数标记；d).根据类别信息查找匹配节点，根据小枝T中节点ui的类别kindui，从有向无圈图G′中查找出与类别kindui一致的节点，并将节点ui与查找出的节点建立对应；直至小枝T中所有节点查找完毕；e).根据小枝T中边的要求进行筛选，按照小枝T中各单跳边、多跳边以及孩子节点、父亲节点对有向无圈图G′中节点类别的要求，判断步骤d)中查找的节点是否满足要求，如果满足要求，则表明有圈图G中存在小枝T；如果不满足要求，则表明有圈图G中不存在小枝T。