MapReduce图算法的程序构造及机械化验证.pdfVIP

  • 0
  • 0
  • 约12.32万字
  • 约 65页
  • 2024-01-05 发布于江苏
  • 举报

MapReduce图算法的程序构造及机械化验证.pdf

摘要

图是计算机科学中广泛应用的一种抽象数据结构,它比线性表和树更复杂,

同时也具备更广泛的表达能力,许多现实场景均可通过图表示。但信息化时代的

到来使得各种信息爆炸式增长,图的规模也越来越大。如何高效地处理大规模图

MapReduce

成为一个新的挑战。作为一种分布式数据框架,适合处理大规模流数

据,因此为大规模图的处理提供了技术支持。然而,现有MapReduce

文档评论(0)

1亿VIP精品文档

相关文档