Force-directed Layout(力导图布局)

力导图

前言

本文基于传送门,算是对大佬文章的一个粗劣翻译和个人理解.
还是更建议去看大佬的原文,写得很好.

Intro

• 给定一个社交网络的例子.

  In the case of network visualization, we compute the layout using a similar physical simulation: nodes in the network act as charged particles that repel each other, while links act as springs that pull related nodes together.

  也就是,我们认为,在社交网络中,节点之间的相互作用是相当于带电粒子之间的相互斥力,而节点之间的连线是相当于弹簧的拉力,将两个节点聚拢引力.

• 带来的缺点

  用这种方法需要计算任意两个点之间的相互作用力,花费时间更多.达到O(n²)级别.这样每次增加一个点,都需要进行大量的冗余计算.(因为存在一些点距离新添加点的距离非常相近,计算结果大致相同)

Barnes-Hut Approximation(BH近似)

• 具体想法是通过将一组远距离点看作一组,以其质心到给定点的力去近似这一组点的作用力.

  此方案将计算的时间复杂度由O(n²)提高到了O(n logn).

  The key idea is to approximate long-range forces by replacing a group of distant points with their center of mass.

  这种近似的核心是一个空间索引,将一组点抽象成一个单一的质点.在二维空间,使用四叉树去将二维空间递归分割,对应到三维空间,就是使用八叉树将空间递归分割.(想象三维坐标系中的三个坐标平面将整个空间八等分).

• 步骤(二维空间为例)

  1. 通过四叉树,构建空间索引
  2. 计算质心
  3. 模拟力

• 接下来进行具体分析,具体链接参见The Barnes-Hut Approximation (jheer.github.io)

  构建四叉树

  构建四叉树具体参见上述链接中的其中Step1,拖动bar进行动态化演视

  总而言之可以分为如下的部分:

  • 初始给定一个点,确定该点所在的位置(一定位于最开始的四大块之一)
  • 后续给定点,判断其是否在当前已经划分好的方格内且自己独占一格不与其他点公用一格,如果不是,继续向下划分,直到这个新给定的点独自在一个方格内.
  • 到最后,每个点都有独属于自己的小方格.小方格的大小代表该点在四叉树中的层数.小方格越小,层数越深.

  计算质心

  一个单元格的质心,是它的四个子单元格质心的加权平均.

  进行计算时,选择从最底层的叶子节点逐级向上进行遍历.

  当遍历结束,每个单元格都有了其自己的质心位置和大小(权重信息).

  模拟N体力

  具体参见链接

  Rather than compute interactions among individual points, we can compute interactions with centers of mass, using smaller quadtree cells for nearer points and larger cells for more distant points.

  At this point we’ve skipped a critical detail: what constitutes “long-range” versus “short-range” forces? We consider both the distance to the center of a quadtree cell and that cell’s width. If the ratio width / distance falls below a chosen threshold (a parameter named theta), we treat the quadtree cell as a source of **long-range **forces and use its center of mass. Otherwise, we will recursively visit the child cells in the quadtree.

  相较于计算个体之间的作用力,这里我们更倾向于通过质心进行计算.

  对于要进行计算的质心选择:例如给定一个任意点A,我们依次从最高层到下层去遍历单元格中心到给定点A的距离.将当前遍历到的单元格长度width与这个单元格中心到A的距离distance相除.

  • 如果小于一个给定参数theta,我们认为distance更大,因此要使用该单元格的质心去近似.并且不再对该单元进行更深层的子单元格递归判断.
  • 如果大于一个给定参数theta,认为distance较小,因此要继续向下,判断该单元格的子单元格.判断方式同上.直到到达一个点.

  判断远近的条件是通过判断 被遍历单元格中心/单元格到给定点的距离,当距离越近,这个值越大,就越容易被认为是相近点,越要向下细分.

表现分析

从运行时间和力模拟的精确度两个方向进行分析.

• 运行时间

  • 数据集大小:500-10000.

  • 更改参数:theta

  • 每组数据集中测试次数:50次
    

  • 结论

    确实可以提高速度.并且随着参数theta增大,运行速度增快.

    初始的方法其实可以看做是theta=inf的特殊情况.这样每个点都要精确到本身而不是单元格.

• 近似误差

  • 纵坐标代表初始算法结果与BH近似的结果之间的像素点位置差异值
    

  • 结论

    上述给出的是平均误差,虽然最大之后5%左右,但具体到某个点上,误差可能很大.因此还应关注最大误差值.

    相对而言,theta=1的效果最好.(默认值)

    These results suggest that a good default value for theta — with low running time and low approximation error — is around 1.0. Indeed

结论

…