[发明专利]一种基于二跳图的超图迭代方法及其应用

权利要求书

1.一种基于二跳图的超图迭代方法，其特征在于:包括：

步骤1：将原始超图转化成二跳图；

由原始超图G＝(V,H)转化成的二跳图为G*＝(V*,H*)，若两个超边有公共的顶点，则在这两个超边之间构造一条边得到二跳图的拓扑结构，对于二跳图中的每个超边h_i需要保存其度的大小以及分配给超边h_i保存的顶点；此外，超边h_i需要保存h_i和其邻居超边h_j所包含的公共顶点u的信息；

其中，h_j∈N(h_i)，V*＝H，H*＝{{h_i,h_j}:u∈h_i,u∈h_j,h_i∈H,h_j∈H}；V是一个有限集合，该集合的元素被称为顶点，即V＝{v₀,v₁,…v_m}；H是V的非空子集的集合，该集合的元素被称为超边，即H＝{h₀,h₁,…h_n}，h_j∈N(h_i)，N(h_i)为与每个顶点相关的所有超边构成超边h_i的邻居超边集合；

在顶点v的相关超边集合Γ(v)中，每个超边包含的全部顶点，构成顶点v的邻居顶点集合N(v)，即N(v)＝{v_k:v_k∈Γ(h)∧v_k≠v,h∈Γ(v)}；在超边h的相关顶点集合Γ(h)中，与每个顶点相关的所有超边构成超边h的邻居超边集合N(h)，即N(h)＝{h_k:h_k∈Γ(v)∧h_k≠h,v∈Γ(h)}，与超边h相关的所有顶点构成的集合记作Γ(h)，顶点v相关的所有超边构成的集合记作Γ(v)；

步骤2：将二跳图的各顶点分配到相关超边；

若共执行N个超步，在执行最后一个超步时，每个超边保存的顶点需要进行更新，因此需要将顶点v_i分配到与它相关的超边h_i中；

步骤2-1：找到只存在于唯一一个超边中的所有顶点，遍历所有超边，将当前正在处理的超边记作curH，将当前正在处理的超边curH包含的所有顶点记作Γ(curH)，若Γ(curH)中的顶点v_i满足v_i.deg＝1，则顶点v_i只有1个相关超边，顶点v_i只存在于当前超边curH中；

对于只存在于当前超边curH的顶点v_i，该顶点需要由当前超边curH保存；

使用长度为|H|的数组assignArr记录每个超边已经保存的顶点；

使用长度为|H|的数组keepArr记录每个超边已经保存的顶点数量；

使用长度为k的数组rangeArr记录每个partition中已经保存的顶点数量，其中k是Range划分时指定的partition数量；

如果超边curH需要保存一个新的顶点，那么keepArr[curH]和rangeArr[curH]需要增加1；遍历所有超边，找到只存在于一个超边中的所有顶点；

步骤2-2：遍历所有的顶点，将当前正在处理的顶点记为curV；如果curV只存在于一个超边中，则跳过对该顶点的处理；否则，对于与curV相关的每个超边h_i，首先找到已经保存顶点数量最少的partition，记作Min(rangeArr[Γ(curV)])，然后在Min(rangeArr[h_i])对应的partition中找到已经保存顶点数量最少的超边minH，minH就是保存当前顶点curV的超边；

步骤2-3：所有顶点得到需要保存它们的超边之后，在步骤2-1中得到的顶点当获取它所在的超边的消息时进行更新，而在步骤2-2中得到的顶点当获取它所在的超边的消息以及它所在超边的邻居超边的消息时进行更新；

步骤3：基于二跳图进行迭代处理；

在执行第1个超步时，每个超边利用自己保存的顶点信息计算出超边的初始值，然后生成消息发送给邻居超边；在执行第2至第N-1个超步时，每个超边使用得到的邻居超边的消息更新自己的超边值，然后为邻居超边生成相应的消息；在执行第N个超步时，每个超边中的顶点使用其相关超边的消息进行更新。