Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Greedy modularity optimization community detection algorithm #314

Open
wants to merge 21 commits into
base: master
Choose a base branch
from
Open

Greedy modularity optimization community detection algorithm #314

Show file tree
Hide file tree
Changes from 4 commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
c752c02
add greedy modularity
olegfafurin Nov 15, 2023
322cf70
fix algo
olegfafurin Nov 21, 2023
fee65af
remove debug output
olegfafurin Nov 21, 2023
f7c1652
add karate club test
olegfafurin Nov 21, 2023
d2d92e8
add weighted and type-generic modularity optimization
olegfafurin Nov 28, 2023
58fcc8c
slow algo: bugfixes, performance optimization, tests with SBM
olegfafurin Dec 6, 2023
40a381b
fix and add empty graph case
olegfafurin Dec 6, 2023
5412d41
remove history of modularity opt steps + add sparse matrix
olegfafurin Dec 13, 2023
ee65d63
Rename and export
gdalle Dec 13, 2023
6200ecf
Revert "Rename and export"
olegfafurin Dec 26, 2023
4fe505d
Revert "remove history of modularity opt steps + add sparse matrix"
olegfafurin Dec 26, 2023
bb85ea6
fix import and random test for old algo
olegfafurin Dec 28, 2023
353c6a4
buggy fast modularity implementation with PriorityQueue
olegfafurin Jan 3, 2024
4615d67
return history of modularity along with best community partitioning
olegfafurin Jan 4, 2024
cf80259
Revert "return history of modularity along with best community partit…
olegfafurin Jan 4, 2024
888ae41
return history of modularity along with best partitioning
olegfafurin Jan 4, 2024
019612a
fix edge case with no edges between communities left
olegfafurin Jan 4, 2024
0515202
add fast algorithm working (mind the precision)
olegfafurin Jan 22, 2024
e777f07
Fix type instability
gdalle Jan 22, 2024
8d42973
Merge branch 'greedy-modularity-fast' into greedy-modularity
olegfafurin Jan 22, 2024
ac77ee5
export fast algo
olegfafurin Jan 22, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions src/Graphs.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -307,6 +307,7 @@ export

# community
modularity,
greedy_modularity,
core_periphery_deg,
local_clustering,
local_clustering_coefficient,
Expand Down Expand Up @@ -518,6 +519,7 @@ include("centrality/eigenvector.jl")
include("centrality/radiality.jl")
include("community/modularity.jl")
include("community/label_propagation.jl")
include("community/greedy_modularity.jl")
include("community/core-periphery.jl")
include("community/clustering.jl")
include("community/cliques.jl")
Expand Down
95 changes: 95 additions & 0 deletions src/community/greedy_modularity.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,95 @@
function community_detection_greedy_modularity(g::AbstractGraph)
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
n = length(vertices(g))
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
c = Vector(1:n)
cs = Vector()
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
qs = fill(-1.0, n)
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
Q, e, a = compute_modularity(g, c)
push!(cs, c)
qs[1] = Q
for i in 1:(n - 1)
Q = modularity_greedy_step!(g, Q, e, a, c)
push!(cs, copy(c))
qs[i + 1] = Q
end
imax = argmax(qs)
return rewrite_class_ids(cs[imax])
end

function modularity_greedy_step!(
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Test that this loop does not allocate

g::AbstractGraph,
Q::Float64,
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
e::Matrix{<:AbstractFloat},
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
a::AbstractVector{<:AbstractFloat},
c::AbstractVector{<:Integer},
)
m = 2 * length(edges(g))
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
n = length(vertices(g))
dq_max = -1
tried = Set{Tuple{Int64,Int64}}()
to_merge::Tuple{Integer,Integer} = (0, 0)
tried = Set()
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
for edge in edges(g)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

investigate the case of self-loops

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Self-loops indeed appear in modularity computation (in a correct way)
They do participate in modularity optimization step and they can also impact which merge is optimal. Yet we never merge a cluster with itself as we check that ends of an edge belong to different clusters at traversal stage.

u = min(src(edge), dst(edge))
v = max(src(edge), dst(edge))
if c[u] != c[v] && !((c[u], c[v]) in tried)
push!(tried, (c[u], c[v]))
dq = (e[c[u], c[v]] / m - a[c[u]] * a[c[v]] / m^2)
if dq > dq_max
dq_max = dq
to_merge = (c[u], c[v])
end
end
end
c1, c2 = to_merge
for i in 1:n
e[c1, i] += e[c2, i]
end
for i in 1:n
if i == c2
continue
end
e[i, c1] += e[i, c2]
end
a[c1] = a[c1] + a[c2]
for i in 1:n
if c[i] == c2
c[i] = c1
end
end
return Q + 2 * dq_max
end

function compute_modularity(g::AbstractGraph, c::AbstractVector{<:Integer})
Q = 0
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
m = length(edges(g)) * 2
n_groups = maximum(c)
a = zeros(n_groups)
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
e = zeros(n_groups, n_groups)
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
for u in vertices(g)
for v in neighbors(g, u)
if c[u] == c[v]
Q += 1
end
e[c[u], c[v]] += 1
a[c[u]] += 1
end
end
Q *= m
for i in 1:n_groups
Q -= a[i]^2
end
Q /= m^2
return Q, e, a
end

function rewrite_class_ids(v::AbstractVector{<:Integer})
d = Dict()
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
vn = zeros(Int64, length(v))
for i in eachindex(v)
if !(v[i] in keys(d))
d[v[i]] = length(d) + 1
end
vn[i] = d[v[i]]
end
return vn
end
50 changes: 50 additions & 0 deletions test/community/greedy_modularity.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
@testset "Greedy modularity: karate club" begin
g = SimpleGraph(
olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
[
0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0
1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0
1 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0
1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1
0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1
0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1
0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 1
0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0
],
)

olegfafurin marked this conversation as resolved.
Show resolved Hide resolved
expected_c = [1, 2, 2, 2, 1, 1, 1, 2, 3, 2, 1, 1, 2, 2, 3, 3, 1, 2, 3, 1, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3]
expected_q = 0.3806706114398422

c = community_detection_greedy_modularity(g)

@test c == expected_c

@test modularity(g, c) ≈ expected_q

end
Loading