Abstract:The Belief Propagation approximation, or cavity method, has been recently applied to several combinatorial optimization problems in its zero-temperature implementation, the max-sum algorithm. In particular, recent developments to solve the edge-disjoint paths problem and the prize-collecting Steiner tree problem on graphs have shown remarkable results for several classes of graphs and for benchmark instances. Here we propose a generalization of these techniques for two variants of the Steiner trees packing problem where multiple "interacting" trees have to be sought within a given graph. Depending on the interaction among trees we distinguish the vertex-disjoint Steiner trees problem, where trees cannot share nodes, from the edge-disjoint Steiner trees problem, where edges cannot be shared by trees but nodes can be members of multiple trees. Several practical problems of huge interest in network design can be mapped into these two variants, for instance, the physical design of Very Large Scale Integration (VLSI) chips. The formalism described here relies on two components edge-variables that allows us to formulate a massage-passing algorithm for the V-DStP and two algorithms for the E-DStP differing in the scaling of the computational time with respect to some relevant parameters. We will show that one of the two formalisms used for the edge-disjoint variant allow us to map the max-sum update equations into a weighted maximum matching problem over proper bipartite graphs. We developed a heuristic procedure based on the max-sum equations that shows excellent performance in synthetic networks (in particular outperforming standard multi-step greedy procedures by large margins) and on large benchmark instances of VLSI for which the optimal solution is known, on which the algorithm found the optimum in two cases and the gap to optimality was never larger than 4 %.

An Iterated Tabu Search Approach for the Clique Partitioning Problem

The <I>d</I>-Subtree Partition Problem: The <I>d</I>-Subtree Partition Problem

Subnetwork Constraints for Tighter Upper Bounds and Exact Solution of the Clique Partitioning Problem

Iterated Tabu Search Algorithm for Packing Unequal Circles in a Circle.

A Partitioning Algorithm for Maximum Common Subgraph Problems

Learning driven three-phase search for the maximum independent union of cliques problem

Local Graph Edge Partitioning with a Two-Stage Heuristic Method.

Optimizing Connected Components Graph Partitioning With Minimum Size Constraints Using Integer Programming and Spectral Clustering Techniques

Iterated tabu search for identifying community structure in complex networks.

Simultaneous PQ-Ordering with Applications to Constrained Embedding Problems

Enumerating All Maximal Clique-Partitions of an Undirected Graph

A Constrained Covering Array Generator Using Adaptive Penalty Based Parallel Tabu Search

An Efficient Algorithm For Node-Weighted Tree Partitioning With Subtrees' Weights In A Given Range

Parallel Clique-Like Subgraph Counting And Listing

Metaheuristics for the Tabu Clustered Traveling Salesman Problem

An exact algorithm to find a maximum weight clique in a weighted undirected graph

Diversified Top-K Clique Search.

Clique-free t-matchings in degree-bounded graphs

Using modular decomposition technique to solve the maximum clique problem

Towards Effective Causal Partitioning by Edge Cutting of Adjoint Graph

The cavity approach for Steiner trees packing problems