An exact column generation algorithm for load balancing in capacity sharing networks
Kaixiang Hu, Feilong Huang, Caixia Kou
TL;DR
This work addresses load balancing in capacity sharing networks by formulating it as a maximum multi-commodity flow problem with per-technology capacity constraints. It introduces CGLAD, an exact column generation algorithm that converts the NP-hard optimality check into a single-constrained shortest path problem and solves it exactly using BiLAD and ExactBiLAD, guided by Lagrange duality. The method achieves optimal network throughput while complying with delay and technology-capacity constraints, and its performance is competitive with heuristic approaches while outperforming other exact methods on large instances. Numerical experiments on 200 randomly generated networks show CGLAD delivers strong throughput gains and strict delay adherence with computation times on par with state-of-the-art heuristics. Overall, CGLAD provides a robust benchmark and practical exactness for throughput optimization in capacity sharing networks.
Abstract
Capacity sharing networks are typical heterogeneous communication networks widely applied in information and communications technology (ICT) field. In such networks, resources like bandwidth, spectrum, computation and storage are shared among various communication services. Meanwhile, the issue of network congestion is always a prominent challenge. To handle network congestion essentially needs to solve the load balancing of networks. In this paper, for capacity sharing networks, we formulate their load balancing problem as a maximum multi-commodity flow problem. For such a problem, always a large-scale linear programming, the column generation algorithm is a commonly used and crucial method to solve it. In each iteration, this algorithm involves solving a linear programming subproblem and determining whether to terminate or generate a new column for inclusion in the subproblem. This iterative procedure of solving and checking continues throughout the algorithm. Nevertheless, since the checking subproblem is NP-hard, its solution significantly impacts the overall efficiency of the algorithm. In this paper, we innovatively convert the checking subproblem into a single-constrained shortest path (SCSP) subproblem. By exactly solving the SCSP subproblem, we can obtain the optimal solution to the checking subproblem with same or less computing time. Experimental results demonstrate that our algorithm achieves computational efficiency comparable to heuristic algorithms while outperforming other state-of-the-art algorithms by at least an order of magnitude.
