<p>To capture vertex relationships in graphs, triangles are used since they represent the minimal structural unit that provides both closure and path redundancy. In directed graphs, triangles can be divided into cycle triangles and flow triangles. A D-truss is a subgraph that requires each edge forms cycle triangles with at least <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(k_c\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>k</mi> <mi>c</mi> </msub> </math></EquationSource> </InlineEquation> vertices and flow triangles with at least <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(k_f\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>k</mi> <mi>f</mi> </msub> </math></EquationSource> </InlineEquation> vertices. Though the D-truss decomposition is effective for revealing the cycle-flow relationships in directed graphs, its single-machine solutions are far from scalable for real-world large graphs. In this work, we propose efficient distributed solutions for D-truss decomposition. First, we introduce a converge-based algorithm <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{DisDomConv}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">DisDomConv</mi> </math></EquationSource> </InlineEquation> that computes trussness pairs iteratively to a fixed point. Then, we utilize the peel idea and propose a batch-peel algorithm <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{DisBatPeel}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">DisBatPeel</mi> </math></EquationSource> </InlineEquation>, which spares the extra overhead in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{DisDomConv}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">DisDomConv</mi> </math></EquationSource> </InlineEquation>. For addressing the bottleneck of communication cost, we propose triangle-related acceleration and the type-aware balanced partitioner. Finally, we present the stratified local-peel method <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{StraLocPeel}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">StraLocPeel</mi> </math></EquationSource> </InlineEquation> that reduces considerable communication overhead. The experiments on real-world graphs verify that all of our solutions solve D-truss decomposition on large real-world graphs within limited time. <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{StraLocPeel}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">StraLocPeel</mi> </math></EquationSource> </InlineEquation> shows the best efficiency and scalability among all algorithms, which is on average <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(42.6\times \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>42.6</mn> <mo>×</mo> </mrow> </math></EquationSource> </InlineEquation> faster than the existing sequential solution, <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(27.4\times \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>27.4</mn> <mo>×</mo> </mrow> </math></EquationSource> </InlineEquation> faster than <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{DisDomConv}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">DisDomConv</mi> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(12.1\times \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>12.1</mn> <mo>×</mo> </mrow> </math></EquationSource> </InlineEquation> faster than <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="778_2025_938_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{DisBatPeel}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">DisBatPeel</mi> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Distributed Truss Decomposition over Large Directed Graphs

  • Anxin Tian,
  • Alexander Zhou,
  • Yue Wang,
  • Xun Jian,
  • Lei Chen,
  • Yan Zhou,
  • Chen Zhang

摘要

To capture vertex relationships in graphs, triangles are used since they represent the minimal structural unit that provides both closure and path redundancy. In directed graphs, triangles can be divided into cycle triangles and flow triangles. A D-truss is a subgraph that requires each edge forms cycle triangles with at least \(k_c\) k c vertices and flow triangles with at least \(k_f\) k f vertices. Though the D-truss decomposition is effective for revealing the cycle-flow relationships in directed graphs, its single-machine solutions are far from scalable for real-world large graphs. In this work, we propose efficient distributed solutions for D-truss decomposition. First, we introduce a converge-based algorithm \(\textsf{DisDomConv}\) DisDomConv that computes trussness pairs iteratively to a fixed point. Then, we utilize the peel idea and propose a batch-peel algorithm \(\textsf{DisBatPeel}\) DisBatPeel , which spares the extra overhead in \(\textsf{DisDomConv}\) DisDomConv . For addressing the bottleneck of communication cost, we propose triangle-related acceleration and the type-aware balanced partitioner. Finally, we present the stratified local-peel method \(\textsf{StraLocPeel}\) StraLocPeel that reduces considerable communication overhead. The experiments on real-world graphs verify that all of our solutions solve D-truss decomposition on large real-world graphs within limited time. \(\textsf{StraLocPeel}\) StraLocPeel shows the best efficiency and scalability among all algorithms, which is on average \(42.6\times \) 42.6 × faster than the existing sequential solution, \(27.4\times \) 27.4 × faster than \(\textsf{DisDomConv}\) DisDomConv , and \(12.1\times \) 12.1 × faster than \(\textsf{DisBatPeel}\) DisBatPeel .