概述
Louvain(鲁汶)是一个广受认可和应用的社区识别算法,它是以其作者的位置命名的——来自比利时鲁汶天主教大学的Vincent D. Blondel等人。该算法是以最大化图的模块度(Modularity)为首要目标进行计算的,并且由于其较高的效率和优质的结果而受到欢迎。
- V.D. Blondel, J. Guillaume, R. Lambiotte, E. Lefebvre, Fast unfolding of communities in large networks (2008)
- H. Lu, Parallel Heuristics for Scalable Community Detection (2014)
基本概念
模块度
在许多网络中,节点自然地会形成群组或社区(Community),特点是社区内的节点连接密集,而社区之间的连接则较稀疏。
![](https://img.ultipa.cn/draw/draw_0f7319e906674632bbfb4dae19225594.jpg?v='1691570140948')
考虑一个与G对应的等价网络G'。在G'中,社区划分和边的总数与G中相同,但边是随机放置的。如果G表现出良好的社区结构,G中社区内部的边数与总边数之比应该高于G'中预期的比例。实际比例与预期值之间的差异越大,说明在G中的社区结构越显著。这就是模块度(Modularity)的原始概念。模块度是评估社区划分质量的最广泛使用的方法之一,Louvain算法就是旨在找到使得模块度最大的社区划分结果。
模块度的取值范围为-1到1。接近1的值表示更明显的社区结构,而负值则意味着划分不具有意义。对于连通图,模块度的取值范围为-0.5到1。
考虑图中边的权重,模块度(Q)的定义如下:
![](https://img.ultipa.cn/2021-12-23-14-37-47-louvain.png)
其中,
- m是图中所有边的权重之和;
- Aij是节点i和节点j之间边的权重和,且2m = ∑ijAij;
- ki是与节点i相连的所有边的权重之和;
- Ci表示节点i所属的社区,当Ci = Cj时,δ(Ci, Cj)为1,否则为0。
请留意,是节点i和j之间随机放置边时的预期边权重之和,Aij和
我们也可以将上式写成如下形式:
![](https://img.ultipa.cn/2021-12-23-14-38-05-louvain2.png)
其中,
是社区C内部边的权重之和,即社区内部权重度(Intra-community Weight);∑ in c 是与社区C中节点相连的边的权重之和,即社区总权重度(Total-community Weight);∑ tot c - m的含义与上面相同,且2m = ∑c
。∑ tot c
![](https://img.ultipa.cn/draw/draw_2eb6fd4262954600a29f652213a6ee09.jpg?v='1690254503753')
上图中的节点被划分至3个社区,以社区C1为例:
= Aaa + Aab + Aac + Aad + Aba + Aca + Ada = 1.5 + 1 + 0.5 + 3 + 1 + 0.5 + 3 = 10.5∑ in C 1 - (
)2 = kaka + kakb + kakc + kakd + kbka + kbkb + kbkc + kbkd + kcka + kckb + kckc + kckd + kdka + kdkb + kdkc + kdkd + = (ka + kb + kc + kd)2 = (6 + 2.7 + 2.8 + 3)2 = 14.52∑ tot C 1
Louvain
Louvain算法开始时,图中的每个节点都在自己的社区中。然后算法进行多次迭代,每轮迭代由两个阶段组成。
第一阶段:模块度优化
对于每个节点i,考虑其邻居节点j,计算将节点i从当前社区重新分配到节点j所在的社区而产生的模块度增益(ΔQ)。当ΔQ大于预设的正阈值时,将节点i放入使ΔQ最大的社区中。如果无法达到预设的增益,节点i则留在原来的社区中。
![](https://img.ultipa.cn/draw/draw_f14c5c57dd3b40a8a46c4c046c32bdb9.jpg?v='1690338962124')
以上图为例,当前在同一社区的节点用同一颜色表示。如果现在考虑节点d,将其重新分配至社区{a,b}、{c}或{e,f}分别所产生的模块度增益如下:
- ΔQd→{a,b} = Q{a,b,d} - (Q{a,b} + Q{d}) = 52/900
- ΔQd→{c} = Q{c,d} - (Q{c} + Q{d}) = 72/900
- ΔQd→{e,f} = Q{d,e,f} - (Q{e,f} + Q{d}) = 36/900
如果 ΔQd→{c}大于预设的模块度增益阈值,则将节点d移至社区{c},否则d仍留在原来的社区。
按顺序将这个过程应用于所有节点,并重复执行,直到没有任何节点的移动可以改善模块度,或者达到最大循环次数,第一阶段完成。
第二阶段:社区聚合
在第二阶段,每个社区被压缩成一个节点,每个聚合节点带有一条自环边,其权重等于社区内部权重。新节点之间边的权重是两个对应社区中节点之间边的权重之和。
![](https://img.ultipa.cn/draw/draw_0634eed944f244749b84757c76f13d57.jpg?v='1691655604101')
社区聚合减少了图中的节点和边的数量,同时保持局部及全图的权重度不变。聚合后,社区内的节点被视为一个整体,但它们不再是孤立地进行模块度优化,从而实现了分层(迭代)的社区划分效果。
完成第二阶段后,对聚合图进行另一次迭代。迭代会一直进行,直至没有任何变化,达到最大的模块度。
特殊说明
- 如果节点i存在自环边,计算ki 时,自环边的权重只计算一次。
- Louvain算法忽略边的方向,按照无向边进行计算。
- Louvain算法的输出结果可能会因为节点的考虑顺序不同而有所差异,但这不会对获得的模块度产生很大的影响。
语法
- 命令:
algo(louvain)
- 参数:
名称 | 类型 | 规范 |
默认 |
可选 |
描述 |
---|---|---|---|---|---|
phase1_loop_num | int | ≥1 | 5 |
是 | 每轮迭代第一阶段的最大循环次数 |
min_modularity_increase | float | [0,1] | 0.01 |
是 | 将节点分配到另一社区的最小模块度增益(ΔQ) |
edge_schema_property | []@<schema>?.<property> |
数值类型,需LTE | / | 是 | 用作边权重的边属性,权重值为所有指定属性值的和;忽略则所有边的权重为1 |
limit | int | ≥-1 | -1 |
是 | 返回的结果条数,-1 返回所有结果 |
order | string | asc , desc |
/ | 是 | 按社区中的节点数对结果进行排序(仅在stream() 执行方式mode为2时有效) |
示例
示例图如下:
![](https://img.ultipa.cn/draw/draw_35e2c0a29dfc4830a9e29992b0e68957.jpg?v='1690257105974')
文件回写
配置项 | 回写内容 | 描述 |
---|---|---|
filename_community_id | _id ,community_id |
节点及其社区号 |
filename_ids | community_id ,_id ,_id ,... |
社区号及其中所有节点的ID |
filename_num | community_id ,count |
社区号及其节点数 |
algo(louvain).params({
phase1_loop_num: 5,
min_modularity_increase: 0.1,
edge_schema_property: 'weight'
}).write({
file:{
filename_community_id: 'communityID',
filename_ids: 'ids',
filename_num: 'num'
}
})
统计值:community_count = 4, modularity = 0.464280
结果:文件communityID、ids、num
M,2
N,2
K,2
L,2
J,8
I,8
G,13
H,8
F,8
C,12
E,12
D,12
A,12
B,13
8,J,I,H,F,
12,C,E,D,A,
2,M,N,K,L,
13,G,B,
8,4
12,4
2,4
13,2
属性回写
配置项 | 回写内容 | 类型 | 数据类型 |
---|---|---|---|
property | community_id |
点属性 | uint32 |
algo(louvain).params({
phase1_loop_num: 5,
min_modularity_increase: 0.1,
edge_schema_property: 'weight'
}).write({
db:{
property: 'communityID'
}
})
统计值:community_count = 4, modularity = 0.464280
结果:每个节点的社区号回写至名为communityID的点属性下
直接返回
别名序号 |
类型 |
描述 | 列名 |
---|---|---|---|
0 | []perNode | 点及其社区号 | _uuid , community_id |
1 | KV | 社区数量,模块度 | community_count , modularity |
algo(louvain).params({
phase1_loop_num: 6,
min_modularity_increase: 0.5,
edge_schema_property: 'weight'
}) as results, stats
return results, stats
结果:results和stats
_uuid | community_id |
---|---|
13 | 2 |
14 | 2 |
11 | 2 |
12 | 2 |
10 | 8 |
9 | 8 |
7 | 13 |
8 | 8 |
6 | 8 |
3 | 12 |
5 | 12 |
4 | 12 |
1 | 12 |
2 | 13 |
community_count | modularity |
---|---|
4 | 0.46428 |
流式返回
配置项 | 参数 | 别名序号 | 类型 | 描述 | 列名 |
---|---|---|---|---|---|
mode | 1 或忽略 |
0 | []perNode | 点及其社区号 | _uuid , community_id |
2 |
[]perCommunity | 社区及其节点数 | community_id , count |
algo(louvain).params({
phase1_loop_num: 6,
min_modularity_increase: 0.5,
edge_schema_property: 'weight'
}).stream() as results
group by results.community_id
return table(results.community_id, max(results._uuid))
结果:table(results.community_id, max(results._uuid))
results.community_id | max(results._uuid) |
---|---|
12 | 5 |
13 | 7 |
2 | 14 |
8 | 10 |
algo(louvain).params({
phase1_loop_num: 5,
min_modularity_increase: 0.1,
order: "desc"
}).stream({
mode: 2
}) as results
return results
结果:results
community_id | count |
---|---|
8 | 4 |
12 | 4 |
2 | 4 |
13 | 2 |
统计返回
别名序号 |
类型 |
描述 | 列名 |
---|---|---|---|
0 | KV | 社区数量,模块度 | community_count , modularity |
algo(louvain).params({
phase1_loop_num: 5,
min_modularity_increase: 0.1
}).stats() as stats
return stats
结果:stats
community_count | modularity |
---|---|
4 | 0.397778 |
算法效率
Louvain算法通过优化的贪心算法实现了比之前的社区检测算法更低的时间复杂度,通常认为是O(N*logN),其中N是图中节点的数量,其结果也更直观。例如,在一个包含1万个节点的图中,Louvain算法的复杂度大约是O(40000);在一个包含1亿节点的连通图中,算法的复杂度大约是O(800000000)。
然而,仔细观察算法的过程,我们会发现,Louvain算法的复杂度不仅取决于节点的数量,还取决于边的数量。粗略地说,可以近似为O(N * E/N) = O(E),其中E是图中边的数量。这是因为Louvain算法的主要逻辑是计算连接到每个节点的边的权重。
下表显示了Clauset, Newman and Moore、Pons and Latapy、Wakita and Tsurumi以及Louvain这几个社区检测算法在不同大小的图上的性能差异。对于每个算法/网络,它给出了获得的模块度和计算时间,空记录表示计算时间超过了24小时。可以清楚地看到,Louvain算法在模块度和效率方面取得了显著的(指数级)提升。
![](https://img.ultipa.cn/2021-12-31-15-52-53-louvain-comlexity.png)
系统架构和编程语言的选择对Louvain算法的效率和最终结果都会产生影响。例如,用Python串行实现的Louvain算法可能需要数小时来处理约1万个节点的小图。此外,所使用的数据结构也会影响性能,因为该算法会频繁计算节点度和边的权重。
原生Louvain算法采用C++,但是它是串行实现的。通过尽可能多地使用并行计算,可以减少时间消耗,从而提高算法的效率。
对于中等规模包含数千万个节点和边的图集,嬴图的Louvain算法可以实时完成。对于包含超过1亿个节点和边的大图,可以在几秒钟到几分钟内完成。此外,Louvain算法的效率还受到其他因素的影响,例如数据是否写回到数据库属性或磁盘文件。这些操作会影响算法的整体计算时间。
![](https://img.ultipa.cn/2022-09-05-09-32-59-louvain-execution-time.png)
这是Louvain算法在包含500万个节点和1亿条边的图上运行的模块性和执行时间记录。计算过程大约需要1分钟,而其他额外的操作,比如写回到数据库或生成磁盘文件,会增加约1分钟的执行时间。