Remove dictionary in acyclic coloring

Author: amontoison

src/coloring.jl

@@ -332,7 +332,7 @@ function acyclic_coloring(g::AdjacencyGraph, order::AbstractOrder; postprocessin
                 iszero(color[x]) && continue
                 if forbidden_colors[color[x]] != v
                     _prevent_cycle!(
-                        v, w, x, color, first_visit_to_tree, forbidden_colors, forest
+                        v, w, x, color, g, first_visit_to_tree, forbidden_colors, forest
                     )
                 end
             end
@@ -345,14 +345,14 @@ function acyclic_coloring(g::AdjacencyGraph, order::AbstractOrder; postprocessin
         end
         for w in neighbors(g, v)  # grow two-colored stars around the vertex v
             iszero(color[w]) && continue
-            _grow_star!(v, w, color, first_neighbor, forest)
+            _grow_star!(v, w, color, g, first_neighbor, forest)
         end
         for w in neighbors(g, v)
             iszero(color[w]) && continue
             for x in neighbors(g, w)
                 (x == v || iszero(color[x])) && continue
                 if color[x] == color[v]
-                    _merge_trees!(v, w, x, forest)  # merge trees T₁ ∋ vw and T₂ ∋ wx if T₁ != T₂
+                    _merge_trees!(v, w, x, g, forest)  # merge trees T₁ ∋ vw and T₂ ∋ wx if T₁ != T₂
                 end
             end
         end
@@ -373,12 +373,14 @@ function _prevent_cycle!(
     x::Integer,
     color::AbstractVector{<:Integer},
     # modified
+    g::AdjacencyGraph,
     first_visit_to_tree::AbstractVector{<:Tuple},
     forbidden_colors::AbstractVector{<:Integer},
     forest::Forest{<:Integer},
 )
     wx = _sort(w, x)
-    id = find_root!(forest, wx)  # The edge wx belongs to the 2-colored tree T, represented by an edge with an integer ID
+    index_wx = g.M[wx...]
+    id = find_root!(forest, index_wx)  # The edge wx belongs to the 2-colored tree T, represented by an edge with an integer ID
     (p, q) = first_visit_to_tree[id]
     if p != v  # T is being visited from vertex v for the first time
         vw = _sort(v, w)
@@ -395,6 +397,7 @@ function _grow_star!(
     w::Integer,
     color::AbstractVector{<:Integer},
     # modified
+    g::AdjacencyGraph,
     first_neighbor::AbstractVector{<:Tuple},
     forest::Forest{<:Integer},
 )
@@ -406,8 +409,10 @@ function _grow_star!(
     else  # merge T_{vw} with a two-colored star being grown around v
         vw = _sort(v, w)
         pq = _sort(p, q)
-        root1 = find_root!(forest, vw)
-        root2 = find_root!(forest, pq)
+        index_vw = g.M[vw...]
+        index_pq = g.M[pq...]
+        root1 = find_root!(forest, index_vw)
+        root2 = find_root!(forest, index_pq)
         root_union!(forest, root1, root2)
     end
     return nothing
@@ -419,12 +424,15 @@ function _merge_trees!(
     w::Integer,
     x::Integer,
     # modified
+    g::AdjacencyGraph,
     forest::Forest{<:Integer},
 )
     vw = _sort(v, w)
     wx = _sort(w, x)
-    root1 = find_root!(forest, vw)
-    root2 = find_root!(forest, wx)
+    index_vw = g.M[vw...]
+    index_wx = g.M[wx...]
+    root1 = find_root!(forest, index_vw)
+    root2 = find_root!(forest, index_wx)
     if root1 != root2
         root_union!(forest, root1, root2)
     end
@@ -445,10 +453,8 @@ struct TreeSet
     is_star::Vector{Bool}
 end
 
-function TreeSet(forest::Forest{Int}, nvertices::Int)
-    # Forest is a structure defined in forest.jl
-    # - forest.intmap: a dictionary that maps an edge (i, j) to an integer k
-    # - forest.num_trees: the number of trees in the forest
+function TreeSet(g::AdjacencyGraph{Int}, forest::Forest{Int}, nvertices::Int)
+    # he number of trees in the forest
     nt = forest.num_trees
 
     # dictionary that maps a tree's root to the index of the tree
@@ -462,7 +468,8 @@ function TreeSet(forest::Forest{Int}, nvertices::Int)
     k = 0
     for edge in keys(forest.intmap)
         i, j = edge
-        root = find_root!(forest, edge)
+        edge_index = g.M[edge...]
+        root = find_root!(forest, edge_index)
 
         # Update roots
         if !haskey(roots, root)
@@ -576,7 +583,7 @@ function TreeSet(forest::Forest{Int}, nvertices::Int)
         is_star[k] = bool_star
     end
 
-    return TreeSet(reverse_bfs_orders, is_star)
+    return TreeSet(g, reverse_bfs_orders, is_star)
 end
 
 ## Postprocessing, mirrors decompression code

src/forest.jl

@@ -14,8 +14,6 @@ mutable struct Forest{T<:Integer}
     num_edges::T
     "current number of distinct trees in the forest"
     num_trees::T
-    "dictionary mapping each edge represented as a tuple of vertices to its unique integer index"
-    intmap::Dict{Tuple{T,T},T}
     "vector storing the index of a parent in the tree for each edge, used in union-find operations"
     parents::Vector{T}
     "vector approximating the depth of each tree to optimize path compression"
@@ -25,16 +23,13 @@ end
 function Forest{T}(n::Integer) where {T<:Integer}
     num_edges = zero(T)
     num_trees = zero(T)
-    intmap = Dict{Tuple{T,T},T}()
-    sizehint!(intmap, n)
     parents = collect(Base.OneTo(T(n)))
     ranks = zeros(T, T(n))
-    return Forest{T}(num_edges, num_trees, intmap, parents, ranks)
+    return Forest{T}(num_edges, num_trees,parents, ranks)
 end
 
 function Base.push!(forest::Forest{T}, edge::Tuple{T,T}) where {T<:Integer}
     forest.num_edges += 1
-    forest.intmap[edge] = forest.num_edges
     forest.num_trees += one(T)
     return forest
 end
@@ -47,8 +42,8 @@ function _find_root!(parents::Vector{T}, index_edge::T) where {T<:Integer}
     return p
 end
 
-function find_root!(forest::Forest{T}, edge::Tuple{T,T}) where {T<:Integer}
-    return _find_root!(forest.parents, forest.intmap[edge])
+function find_root!(forest::Forest{T}, edge_index::T) where {T<:Integer}
+    return _find_root!(forest.parents, edge_index)
 end
 
 function root_union!(forest::Forest{T}, index_edge1::T, index_edge2::T) where {T<:Integer}