Rethinking the Capacity of Graph Neural Networks for Branching Strategy

Ziang Chen,Jialin Liu,Xiaohan Chen,Xinshang Wang,Wotao Yin
2024-06-09
Abstract:Graph neural networks (GNNs) have been widely used to predict properties and heuristics of mixed-integer linear programs (MILPs) and hence accelerate MILP solvers. This paper investigates the capacity of GNNs to represent strong branching (SB), the most effective yet computationally expensive heuristic employed in the branch-and-bound algorithm. In the literature, message-passing GNN (MP-GNN), as the simplest GNN structure, is frequently used as a fast approximation of SB and we find that not all MILPs's SB can be represented with MP-GNN. We precisely define a class of "MP-tractable" MILPs for which MP-GNNs can accurately approximate SB scores. Particularly, we establish a universal approximation theorem: for any data distribution over the MP-tractable class, there always exists an MP-GNN that can approximate the SB score with arbitrarily high accuracy and arbitrarily high probability, which lays a theoretical foundation of the existing works on imitating SB with MP-GNN. For MILPs without the MP-tractability, unfortunately, a similar result is impossible, which can be illustrated by two MILP instances with different SB scores that cannot be distinguished by any MP-GNN, regardless of the number of parameters. Recognizing this, we explore another GNN structure called the second-order folklore GNN (2-FGNN) that overcomes this limitation, and the aforementioned universal approximation theorem can be extended to the entire MILP space using 2-FGNN, regardless of the MP-tractability. A small-scale numerical experiment is conducted to directly validate our theoretical findings.
Machine Learning,Optimization and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the representational ability of strong branching (SB) strategies in graph neural networks (GNNs) for mixed - integer linear programming (MILPs). Specifically, the paper explores the performance of message - passing graph neural networks (MP - GNNs) and second - order folk graph neural networks (2 - FGNNs) in representing the strong branching strategies of MILP, especially whether they can accurately predict the strong branching results of MILP. ### Main Research Questions 1. **The Capability of MP - GNNs**: - The paper first focuses on the most commonly used MP - GNNs and studies their ability to represent strong branching strategies in a specific class of MILPs (called message - passing tractable MILPs, i.e., MP - tractable MILPs). - The author proves that for any data distribution of MP - tractable MILPs, there exists an MP - GNN that can accurately predict its strong branching results with arbitrarily high precision and probability. 2. **The Limitations of MP - GNNs**: - Through counter - examples, the author shows that MP - GNNs cannot predict strong branching results beyond the class of MP - tractable MILPs. Specifically, there are two MILP instances with different strong branching results, but all MP - GNNs have the same branching prediction for these two instances. 3. **The Capability of 2 - FGNNs**: - For general MILPs, the author explores the capabilities of 2 - FGNNs. 2 - FGNNs is a high - order GNN with stronger expressive power. - The results show that 2 - FGNNs can reliably predict the strong branching results of any MILP data distribution, surpassing the capabilities of standard MP - GNNs. ### Research Motivations - **The Effectiveness of Strong Branching Strategies**: Strong branching strategies are very effective in reducing the size of the search space of the branch - and - bound algorithm (BnB), but are computationally expensive. - **The Computational Cost of Strong Branching Strategies**: In practical applications, strong branching strategies consume a large amount of computational time, so efficient machine learning models are required to approximate strong branching strategies to improve the performance of solvers. ### Research Contributions 1. **The Theoretical Basis of MP - GNNs**: - It provides a theoretical basis for current research on approximating strong branching results using MP - GNNs and verifies the effectiveness of its application in MP - tractable MILPs. 2. **Revealing the Limitations of MP - GNNs**: - Through counter - examples, it reveals the limitations of MP - GNNs in non - MP - tractable MILPs. 3. **The Superiority of 2 - FGNNs**: - It proves the ability of 2 - FGNNs to approximate strong branching results in general MILPs, providing a new direction for future research and applications. ### Conclusion Through theoretical analysis and experimental verification, the paper shows the different capabilities and limitations of MP - GNNs and 2 - FGNNs in approximating the strong branching strategies of MILP, providing an important reference for future research and practical applications.