Evolutionary Algorithms for Generating Graphs Matching Desired Laplacian Spectra
Authors: Hendrik Richter, Frank Neumann
Organizations: HTWK Leipzig University of Applied Sciences, Faculty of Engineering, D–04251 Leipzig, Germany · Optimisation and Logistics, Adelaide University, Adelaide, SA 5005, Australia
Graphs with diverse structural characteristics play a central role in modelling and optimization tasks. The ability to generate different types of graphs that exhibit shared properties is likewise essential for algorithm selection and configuration. However, constructing graphs that preserve high-level properties across a broad range of graph classes remains a challenging problem. We present a novel evolutionary approach to evolve graphs based on the Laplacian graph spectra descriptor. This descriptor can be used as part of a fitness function to evaluate graphs according to their desired high-level properties. Our evolutionary algorithm evolves graphs towards this descriptor in order to obtain graphs having properties that are consistent with it but are different from each other in terms of non-spectral graph metrics, such as path length, clustering coefficient and betweenness centrality. Our experimental results show that our approach is successful for different classes of graphs and a wide range of Laplacian graph spectra.
Figures & tables
Figure 1: Examples of target graphs and target densities for graph size n=12 . (a) Star graph S11 . (b) Circulant graph C121234 . (c) Circulant graph C12123 . (d) Spectral densities of φT(x) , see Eq. ( 1 ), of the target graphs (a)-(c).
Figure 2: Evolution of the spectral density φG(x) over generations κ for n=24 , 12 -regular initial graphs and the target graph C241,2,…,6 .
Design parameter
Symbol
Value(s)
Population size
ℓ
40
Generations
K
1000
Tournament size
st
2
Mutation rate
α
0.75
Mutation strength
β
4
Connectivity threshold
λ2t
0.001
Table 1: Design parameter of the algorithm.
Figure 3: Results for target graphs of size n=24 . Boxplots for 30 runs and 1000 generations showing the final best fitness measured by the distance d , see Eq. ( 2 ), for eight initial graph populations and three crossover implementations. (a) Star graph S23 (b) Circulant graph C241,2,…,8 . (c) Circulant graph C241,2,…,6 .
Figure 4: Results for target graphs of varying size. Boxplots showing the final best fitness measured by the logarithmic distance log(d) for eight initial graph populations and graph size n={64,128,256,512} . (a) Star graph Sn−1 (b) Circulant graph Cn1,2,…,⌊n/3⌋ . (c) Circulant graph Cn1,2,…,⌊n/4⌋ .
Figure 5: Scatter plots of final best fitness versus graph metrics for the circulant target graph C241,2,…,8 . The color code indicates different initial populations. (a) Algebraic connectivity (AC). (b) (Average) path length (PL). (c) (Global) clustering coefficient (CC). (d) (Average) betweenness centrality (BC).
Figure 6: Boxplots of the diversity contribution, see Eq. ( 3 ). (a) Star graph S23 (b) Circulant graph C241,2,…,8 . (c) Circulant graph C241,2,…,6 .
Clean Energy Research Center (CERP) Physical Science and Engineering (PSE) Division King Abdullah University of Science and Technology Thuwal, Saudi Arabia 23955 · Kaust Visualization Lab (KVL) Core Lab Division King Abdullah University of Science and Technology Thuwal, Saudi Arabia 23955