A GNN-G UIDED P REDICT - AND -S EARCH F RAMEWORK FOR M IXED -I NTEGER L INEAR P ROGRAMMING
A BSTRACT
Mixed-integer linear programming (MILP) is widely employed for modeling combinatorial optimization problems.
In practice, similar MILP instances with only coefficient variations are routinely solved and machine learning (ML) algorithms are capable of capturing common patterns across these MILP instances.
In this work, we combine ML with optimization and propose a novel predict-and-search framework for efficiently identifying high-quality feasible solutions.
Specifically, we first utilize graph neural networks to predict the marginal probability of each variable and then search for the best feasible solution within a properly defined ball around the predicted solution.
We conduct extensive experiments on public datasets and computational results demonstrate that our proposed framework achieves 51 .
1% and 9 .
9% performance improvements to MILP solvers SCIP and
Gurobi on primal gaps, respectively
I NTRODUCTION
Mixed-integer linear programming is one of the most widely used techniques for modeling combinatorial optimization problems, such as production planning (Pochet & Wolsey, 2006; Chen, 2010), resource allocation (Liu & Fan, 2018; Watson & Woodruff, 2011), and transportation management (Luathep et al., 2011; Sch ¨ obel, 2001).
In real-world settings, MILP models from the same application share similar patterns and characteristics, and such models are repeatedly solved without making uses of those similarities.
ML algorithms are well-known for its capability of recognizing patterns (Khalil et al., 2022), and hence they are helpful for building optimization algorithms.
Recent works have shown the great potential of utilizing learning techniques to address MILP problems.
The work of (Bengio et al., 2021) categorized ML efforts for optimization as (i) end-to-end learning (Vinyals et al., 2015;
Bello* et al., 2017; Khalil et al., 2022), (ii) learning to configuring algorithms (Bischl et al., 2016; Kruber et al., 2017; Gasse et al., 2022) and (iii) learning alongside optimization (Gasse et al., 2019;
Khalil et al., 2016; Gupta et al., 2020).
In this work, for the sake of interest, we focus on the end-to-end approach.
While such an approach learns to quickly identify high-quality solutions, it generally faces the following two challenges:
(I) high sample collection cost .
The supervised learning task for predicting solutions is to map from the instance-wise information to a high-dimensional vector.
Such a learning task becomes computationally expensive since it necessitates collecting a considerable amount of optimal solutions (see, e.g., Kabir et al.
(II) feasibility .
Most of the end-to-end approaches directly predict solutions to MILP problems, ignoring feasibility requirements enforced by model constraints (e.g. Yoon (2022); Nair et al.
As a result, the solutions provided by ML methods could potentially violate constraints.
We propose a novel predict-and-search framework to address the aforementioned challenges.
In principle, end-to-end approaches for MILP problems require the collection of abundant optimal solutions.
However, collecting so many training samples is computationally prohibitive since obtaining optimal solutions is excessively time-consuming.
We consider to approximate the distribution by properly weighing high-quality solutions with their objective values.
This reduces the cost of sample collections by avoiding gathering optimal solutions as mentioned in challenge (I) .
Regarding challenge (II) , we implement a trust region inspired algorithm that searches for near-optimal solutions within the intersection of the original feasible region and a properly defined ball centered at a prediction point.
The overall framework is outlined in Figure 1.
The commonly used end-to-
[Figure]
end approaches usually fix variables directly based on information from the prediction step, such as in Nair et al.
(2020) and Yoon (2022).
However, such approaches could lead to sub-optimal solutions or even infeasible sub-problems.
Rather than forcing variables to be fixed, our search module looks for high-quality solutions within a subset of the original feasible region, which allows better feasibility while maintaining optimality.
The distinct contributions of our work can be summarized as follows.
• We propose a novel predict-and-search framework that first trains a GNN to predict a marginal probability of each variable and then constructs a trust region to search for highquality feasible solutions.
• We demonstrate the ability of our proposed framework to provide equivalently good or better solutions than fixing-based end-to-end approaches.
• We conduct comprehensive computational studies on several public benchmark datasets and the computational results show that our proposed framework achieves 51 .
1% and 9 .
9% smaller primal gaps than state-of-the-art general-purpose optimization solvers SCIP and Gurobi, respectively.
We make our code publicly available at https://github.com/sribdcn/Predict-and -Search_MILP_method .
P RELIMINARIES
Given a vector v ∈ R n and an index set I ⊆ { 1 , 2 , ..., n } , let v I ∈ R | I | denote a subvector that corresponds to the index set I .
2. M IXED - INTEGER LINEAR PROGRAMMING
MILP techniques are used to model combinatorial optimization problems, and an MILP instance can be formulated as: min x ∈ D c ⊤ x , where D ≡ { x ∈ Z q × R n − q : Ax ≤ b, l ≤ x ≤ u } denotes the feasible region.
There are n variables, with c , l , u ∈ R n being their objective coefficients, lower and upper bounds, respectively.
Without loss of generality, the first q variables are discrete.
A ∈ R m × n denotes the coefficient matrix while b ∈ R
m represents the right-hand-side vector.
For convenience, let M ≡ ( A, b, c, l, u, q ) denote an MILP instance.
For the sake of interest, we consider each discrete variable to be binary, i.e. x i ∈ { 0 , 1 } for 1 ≤ i ≤ q .
Furthermore, incorporating continuous variables into consideration will not invalidate our proposed methodology, hence in what follows we consider a pure binary integer programming problem.
2. N ODE B IPARTITE G RAPH
Gasse et al.
(2019) proposed a bipartite graph representation for MILP problems.
Specifically, let
G ≡ ( V , E ) denote a bipartite graph, where V ≡ { v 1 , ..., v n , v n +1 , ..., v n + m } denotes the set of n variable nodes and m constraint nodes, and E represents the set of edges that only connect between nodes of different types.
Variable nodes and constraint nodes are individually associated with the instance information e.g. degrees and coefficients.
The adjacency matrix A is a |V| × |V| matrix that represents the connectivity of G , as defined below:
[Equation]
where C i,j = 1 A i,j ̸ =0 .
2. G RAPH N EURAL N ETWORKS
Let N ( v i ) ≡ { v j ∈ V :
A i,j ̸ = 0 } denote the set of neighbors of node v i .
We construct a k -layer
GNN as follows:
[Equation]
, where function f ( k )aggregates the feature information over the set of neighboring nodes and function f ( k )combines the nodes’ hidden features from iteration ( k − 1) with the aggregated neighborhood features, and h ( k − 1) v i denotes the hidden state of node v i in the ( k − 1) th layer.
Initially, h (0) v i is the output of an embedding function g ( · ) .
Note that the bipartite graph associated with an MILP instance does not include edges between variable nodes as well as constraint nodes.
2. T RUST R EGION M ETHOD
The trust region method is designed for solving non-linear optimization problems as follows:
[Equation]
where H ⊆ R n denotes a set of feasible solutions.
The main idea is to convert the originally difficult optimization problem into a series of simple local search problems.
Specifically, it iteratively searches for trial steps within the neighborhood of the current iterate point (Yuan, 2015).
The trial step d k is obtained by solving the following trust region problem:
[Equation]
where (cid:101) f k ( d ) is an approximation of the objective function f
( x k + d ) , H k denotes a shifted H − x k of the set H , ∥ .
∥ W k is a norm of R n , and ∆ k denotes the radius of the trust region.
After solving the problem in the k th iteration, x k +1 is updated to x k + d k or x k accordingly.
Then, new ∥ .
∥ W k +1 and ∆ k +1 are selected along with a new approximation (cid:101)
f k +1 ( d ) .
P ROPOSED F RAMEWORK
The supervised learning task in end-to-end approaches trains a model to map the instance-wise information to a high-dimensional vector.
Ding et al.
(2020) first utilizes a GNN to learn the values of “stable” variables that stay unchanged across collected solutions, and then searches for optimal solutions based on learned information.
However, such a group of variables does not necessarily exist for many combinatorial optimization problems.
Another approach is to learn solution distributions rather than directly learning solution mapping ; Li et al.
(2018) predicts a set of probability maps for variables, and then utilizes such maps to conduct tree search for generating a large number of candidate solutions.
Their work designed ML-enhanced problem-specific tree search algorithm and achieved encouraging results, however, it is not applicable to general problems.
Nair et al.
(2020) proposed a more general approach that first learns the conditional distribution in the solution space via a GNN and then attempts to fix a part of discrete variables, producing a smaller MILP problem that is computationally cheap to solve.
However, fixing many discrete variables might lead to an infeasible MILP model.
To alleviate these issues, we adopt the trust region method and design a novel approach that searches for near-optimal solutions within a properly defined region.
Specifically, we propose a predict-andsearch framework that: (i) utilizes a trained GNN model to predict marginal probabilities of all binary variables in a given MILP instance; (ii) searches for near-optimal solutions within the trust region based on the prediction.
3. P REDICT
In this section, our goal is to train a graph neural network using supervised learning to predict the conditional distribution for MILP instances.
To this end, we introduce the conditional distribution learning.
On this basis, we present the training label in the form of a vector, i.e. marginal probabilities.
3.1. D ISTRIBUTION LEARNING
A probability distribution learning model outputs the conditional distribution on the entire solution space of an MILP instance M .
A higher conditional probability is expected when the corresponding solution is more likely to be optimal.
Nair et al.
(2020) proposed a method to construct the conditional distribution with objective values via energy functions, and for a solution x , the conditional probability p ( x ; M ) can be calculated by:
[Equation]
This implies that an infeasible solution is associated with a probability of 0 , while the optimal solution has the highest probability value.
It’s worth noting that each instance corresponds to one distribution.
For the collected dataset (cid:8)(cid:0) M i , L i (cid:1)(cid:9) N i =1 , L i ≡ (cid:8) x i,j (cid:9) N i j =1 denotes the set of N i feasible solutions to instance M i .
The probability of each solution in the dataset can be calculated by Equation (3).
In general, the distance between two distributions can be measured by Kullback-Leibler divergence.
Thus, the loss function for the supervised learning task is defined as:
[Equation]
where w i,j ≡
[Equation]
P θ (cid:0) x i,j ; M i (cid:1) denotes the prediction from the GNN denoted as F θ with learnable parameters θ .
The conditional distribution of an MILP problem can be approximated by a part of the entire solution space.
Consequently, the number of samples to be collected for training is significantly reduced.
3.1. WEIGHT - BASED SAMPLING
To better investigate the learning target and align labels with outputs, we propose to represent the label in a vector form.
With the learning task specified in Equation (4), a new challenge arises: acquiring solutions through high-dimensional sampling is computationally prohibitive.
A common technique is to decompose the high-dimensional distribution into lower-dimensional ones.
Given an instance M , let x d denote the d th element of a solution vector x .
In Nair et al.
, it is assumed that the variables are independent of each other, i.e.,
[Equation]
With this assumption, the high-dimensional sampling problem is decomposed into n 1dimensional sampling problems for each x d according to their probabilities p θ ( x d ; M ) .
Since p θ ( x d = 1; M ) = 1 − p θ ( x d = 0; M ) , we only need p θ ( x d = 1; M ) for d ∈ { 1 , 2 , ..., n } to represent the conditional probability P θ ( x ; M ) .
Then the conditional distribution mapping outputs a n − dimension vector ( p θ ( x 1 = 1; M ) , ..., p θ ( x n = 1; M )) .
Hence, the prediction of the
GNN model can be represented as F θ ( M ) ≡ (ˆ p 1 , ˆ p 2 , ..., ˆ p n ) , where ˆ p d ≡ p θ ( x d = 1; M ) for d ∈ { 1 , 2 , ..., n } .
Let S id ⊆ (cid:8) 1 , 2 , ..., N i (cid:9) denote the set of indices in L i with their d th component being 1 .
[Equation]
where p id is normalized by | L i | .
Given an MILP instance M , we can calculate a corresponding learning target in the form of vector, i.e, P ≡ ( p 1 , p 2 , ..., p q ) , where each component is obtained by applying Equation (6).
This equation calculates the marginal probability, where the weight w i,j is 1 if the variable holds a value of 1 in the corresponding solution and 0 otherwise.
We define such a learning target in the form of a vector as marginal probabilities .
Solutions of higher quality will be associated with larger weighting coefficients w ij and hence contribute more to the loss function.
For the loss function shown in Equation (4), based on the assumption in Equation (5) and the calculation of probabilities in Equation (4), we have:
[Equation]
This indicates that the multi-dimensional distribution learning loss L ( θ ) becomes a summation of each component’s probability learning loss.
Thus, with Equation (5), the distribution learning is converted to a marginal probabilities learning.
3. S EARCH
With marginal probabilities as inputs, we adopted a trust region like method to carry out a search algorithm.
In this section, we first introduce our observation that the distance between the solution obtained from a rounded learning target and the optimal solution can be very small.
Hence, we adopt a trust region like method to address aforementioned challenge ( II ) and present a proposition to manifest the superiority of our framework.
The complete framework is shown in Algorithm 1.
3.2. O BSERVATION
A variable’s marginal probability is closer to 1 if this variable takes a value of 1 in the optimal solution, and 0 otherwise.
Given an MILP instance M and its learning target P , we set the partial solution size parameter ( k 0 , k 1 ) to represent the numbers of 0 ’s and 1 ’s in a partial solution.
Let Idenote the set of indices of the k 0 smallest components of P , and I 1 denote the set of indices of the k 1 largest components of P .
If d ∈ I ≡
I 1 ∪ I 0 , we get a partial solution x I by:
[Equation]
Let x ∗ denote an optimal solution of M , empirically, we found x I is close to x ∗ I as discussed in
Appendix D. Explicitly, we measure the distance by ℓ 1 norm, and there still exists a small ∆ > 0 , such that ∥ x I − x ∗ I ∥ 1 < ∆ while ( k 0 + k 1 ) is a large number.
We speculate that, since the optimal solution has the largest weight as shown in equation (6), it is closer to the learning target than all other solutions.
As a result, we hypothesize that similar phenomena can be observed with a slightly larger ∆ and the same ( k 0 , k 1 ) when obtaining the set of indices I based on prediction F θ ( M ) .
With this observation, it is reasonable to accelerate the solving process for MILP problems by fixing variables in the partial solution.
Specifically, the sub-problem of an instance M using the fixing strategy with the partial solution x I can be formulated as:
[Equation]
where S ( x I ) ≡ { x ∈ R n : x I = x I } .
However, once x I ̸ = x ∗ I , the fixing strategy may lead to suboptimal solutions or even infeasible sub-problems, which can also be observed in Appendix C.
3.2. S EARCH WITHIN A NEIGHBORHOOD
Based on the observations and analysis above, we design a more practicable method.
Inspired by the trust region method, we use the partial solution as a starting point to establish a trust region and search for a trial step.
The trial step is then applied to the starting point to generate a new solution.
Specifically, given instance M , we acquire the set I via the prediction F θ ( M ) from a trained GNN, and get a partial solution ˆ x I by equation (7) to construct the trust region problem for a trial step d ∗ similar to problem (1), (2).
At last, output the point updated by trial step.
Such a trust region problem is equivalent to following:
[Equation]
where B (ˆ x, ∆) ≡ { x ∈ R n : ∥ ˆ x I − x I ∥ 1 ≤ ∆ } denotes a neighborhood constraint.
In order to reduce computational costs, we solve this problem only once to find a near-optimal solution.
We show that our proposed method always outperforms fixing-based methods in Proposition 1.
Proposition 1.
let z Fixing and z Search denote optimal values to problems (8) and (9) respectively.
z Search ≤ z Fixing , if they have same partial solution ˆ x I .
Proof.
Note that S (ˆ x I ) =
B (ˆ x I , 0) ⊂
B (ˆ x I , ∆) , it is obvious
[Equation]
i.e. z Search ≤ z Fixing .
□
This proposition demonstrates the advantage of our proposed search strategy over fixing strategy; that is, when fixing strategies may lead to suboptimal solutions or even infeasible sub-problems as a consequence of inappropriate fixing, applying such a trust region search approach can always add flexibility to the sub-problem.
Computational studies also provide empirical evidence in support of this proposition.
Algorithm 1 presents the details of our proposed search algorithm.
It takes the prediction F θ ( M ) as input, and acquires a partial solution x d and neighborhood constraints.
A complete solution x is then attained by solving the modified instance M ′ with neighborhood constraints appended.
The solving process is denoted by SOLV E ( M ′ ) , i.e. utilizing an MILP solver to address instance M ′ .
C OMPUTATIONAL S TUDIES
We conducted extensive experiments on four public datasets with fixed testing environments to ensure fair comparisons.
Benchmark Problems Four MILP benchmark datasets are considered in our computational studies.
Two of them come from the NeurIPS ML4CO 2021 competition Gasse et al.
(2022), including the
Balanced Item Placement (denoted by IP ) dataset and the Workload Appointment (denoted by WA ) dataset (Gasse et al., 2022).
We generated the remaining two datasets: Independent Set ( IS ) and
Combinatorial Auction ( CA ) using Ecole library (Prouvost et al., 2020) as Gasse et al.
(2019) did.
Note that the other two datasets from Gasse et al.
Set Covering and Capacitated Facility
Location , are not chosen since they can be easily solved by state-of-the-art MILP solvers, such as
Gurobi and SCIP.
Details of our selected datasets can be found in the Appendix F.
Parameter : Size { k 0 , k 1 } , radius of the neighborhood: ∆
Input : Instance M , Probability prediction F θ ( M )
Output : Solution x ∈ R n 1: Sort the components in F θ ( M ) from smallest to largest to obtain sets I
and I 1 .
2: for d = 1 : n do 3: if d ∈ I 0 ∪ I 1 then 4: create binary variable δ d 5: if d ∈ I
then 6: create constraint x d ≤ δ d 7: else 8: create constraint 1 − x d ≤ δ d 9: end if 10: end if 11: end for 12: create constraint (cid:80) d ∈ I 0 ∪ Iδ d ≤ ∆ 13: Let M ′ denote the instance M with new constraints and variables 14: Let x = SOLV E ( M ′ ) 15: return x
Graph neural networks A single layer perceptron embeds feature vectors so they have the same dimension of 64, and the layer normalization Ba et al.
(2016) is applied for a better performance of the network.
Then we adopted 2 half-convolution layers from Gasse et al.
(2019) to conduct information aggregation between nodes.
Finally, marginal probabilities are obtained by feeding the aggregated variable nodes into a 2-layer perceptron followed by a sigmoid activation function.
Training protocol Each dataset contains 400 instances, including 240 instances in the training set, 60 instances in the validation set, and 100 instances in the test set.
All numerical results are reported for the test set.
Our model is constructed with the PyTorch framework, and the training process runs on GPUs.
The loss function is specified in Equation (4) and (5) with a batch size of 8.
The ADAM optimizer Kingma & Ba (2014) is used for optimizing the loss function with a start learning rate of 0.003.
Evaluation metrics For each instance, we run an algorithm of interest and report its incumbent solution’s objective value as OBJ.
Then we run single-thread Gurobi for 3 , 600 seconds and denote as BKS the objective to the incumbent solution returned.
BKS is updated if it is worse than OBJ.
We define the absolute and relative primal gaps as: gap abs ≡ | OBJ − BKS | and gap rel ≡ | OBJ − BKS | / (cid:0) | BKS | + 10 − 10 (cid:1) , respectively and utilize them as performance metrics.
Clearly, a smaller primal gap indicates a stronger performance.
Evaluation Configurations All evaluations are performed under the same configuration.
The evaluation machine has two Intel(R)
Xeon(R)
Gold 5117 CPUs @
2.00GHz, 256GB ram and two Nvidia
V100 GPUs.
SCIP 8.0.1 Bestuzheva et al.
(2021), Gurobi 9.5.2 Gurobi Optimization, LLC (2022) and PyTorch 1.10.2 Paszke et al.
(2019) are utilized in our experiments.
The emphasis for Gurobi and SCIP is set to focus on finding better primal solutions.
The time limit for running each experiment is set to 1 , 000 seconds since a tail-off of solution qualities was often observed after that.
Data collection Details will be provided in the Appendix B.
R ESULTS AND D ISCUSSION
To investigate the benefits of applying our proposed predict-and-search framework, we conducted comprehensive computational studies that: (i) compare our framework with SCIP and Gurobi; (ii) compare our framework with Neural Diving framework (Nair et al., 2020).
Other numerical experiments including comparing against a modified version of confidence threshold neural diving (Yoon, 2022) along with implementation details can be found in the Appendix D.
5. C OMPARING AGAINST STATE - OF - THE - ART SOLVERS
In what follows, we utilize SCIP (Gurobi) as an MILP solver in our proposed framework and denote our approach as PS+SCIP ( PS+Gurobi ).
Figure 2 exhibits the progress of average gap rel as the solving process proceeds.
In Figure 2a, we notice a significant performance improvement of our framework (blue) upon default SCIP (green), and such an improvement is also observed for WA , CA and IS datasets as shown in 2b, 2c and 2d.
Compared with default Gurobi (black), our approach(red) still performs better, specially in the IS dataset.
We remark that, in Figure 2d, PS+Gurobi obtained optimal solutions to IS problems within 10 seconds.
The performance comparison in Figure 2 also indicates that our proposed framework can bring noticable performance improvement upon MILP solvers, regardless of the solver choice.
[Figure]
In Table
[Table]
we present objective values averaged across 100 instances at the time limit of 1 ,seconds.
Column “ gap abs ” provides the absolute primal gap at 1 , 000 seconds, and column “gain” presents the improvement of our method compared over an MILP solver.
For instance, Tableshows that BKS for IP dataset is 12 .
02 , and the absolute primal gaps of SCIP and PS+SCIP are 7 .
41 and 3 .
respectively.
Then gain is computed as (7 . 41 − 3 . 44) / 7 .
41 × 100% = 53 .
According to Table
[Table]
we can claim that our proposed framework outperforms SCIP and Gurobi with average improvements of 51 .
1% and 9 .
9% , respectively.
We notice that the improvement for Gurobi is not as significant as for SCIP since Gurobi is significantly more capable in terms of identifying high-quality solutions than SCIP
[Table]
[Table]
5. C OMPARING AGAINST N EURAL D IVING
Another interesting comparison should be conducted against the state-of-the art ML method for optimization: the Neural Diving framework with Selective Net.
However, since detailed settings and codes of the original work Nair et al.
(2020) are not publicly available, reproducing the exact same results is impractical.
To our best effort, a training protocol with fine parameter tuning and an evaluation process are established following algorithms provided in Nair et al.
Three of six tested benchmark datasets used in Nair et al.
(2020) are publicly available: Corlat , Neural Network
Verification , and MipLib .
Most Corlat instances can be solved by SCIP within a few seconds; MipLib contains instances with integer variables rather than binary variables, which is out of the scope of this work.
Hence, Neural Network Verification (denoted as NNV ) is chosen as the benchmark dataset for the comparison study.
It is noteworthy that, empirically, turning on the presolve option in
SCIP (Bestuzheva et al., 2021) causes false assertion of feasibility on many NNV instances.
Hence, in our experiments on the NNV dataset, the presolve option is turned off, which potentially hurts the performances of both SCIP itself and frameworks implemented with SCIP.
Under such circumstances, the best performance obtained is exhibited in Figure 3a.
Clearly, the
Neural Diving framework achieves significant improvement over default SCIP.
With such an imple-
[Figure]
Diving framework significantly.
mentation, we can start to compare our proposed framework against the Neural Diving approach.
Due to the limitation of computational power, we are not able to find suitable settings of parameters to train Neural Diving framework on WA and CA datasets.
Hence we conducted experiments only on IP and IS datasets.
As shown in Figure 3b and 3c, our predict-and-search framework produced at least three times smaller average relative primal gaps.
An interesting observation is that Neural
Diving framework failed to surpass SCIP on IS dataset where the optimality is hard to achieve, while our framework outperformed both SCIP and the implemented Neural Diving method.
C ONCLUSIONS
We propose a predict-and-search framework for tackling difficult MILP problems that are routinely solved.
A GNN model was trained under a supervised learning setting to map from bipartite graph representations of MILP problems to marginal probabilities.
We then design a trust region based algorithm to search for high-quality feasible solutions with the guidance of such a mapping.
Both theoretical and empirical supports are provided to illustrate the superiority of this framework over fixing-based strategies.
With extensive computational studies on publicly available MILP datasets, we demonstrate the effectiveness of our proposed framework in quickly identifying high-quality feasible solutions.
Overall, our proposed framework achieved 51 .
1% and 9 .
9% better primal gaps comparing to SCIP and Gurobi, respectively.
A CKNOWLEDGMENTS
This work is supported by the National Key R&D Program of China under grant 2022YFA1003900;
Huawei; Hetao Shenzhen-Hong Kong Science and Technology Innovation Cooperation Zone Project (No.HZQSWS-KCCYB-2022046); University Development Fund UDF01001491 from The Chi-
A H ALF CONVOLUTION
We use two interleaved half-convolutions Gasse et al.
(2019) to replace the graph convolution.
After that, the GNN we used can be formulated as:
[Equation]
where MLP ( k ) c , MLP ( k ) v and g ( · ) are 2-layer perceptrons with ReLU activation functions.
That is, a half-convolution is performed to promote each constraint node aggregating information from its relevant variable nodes; after that, another one is performed on each variable node to aggregate information from its relevant constraint nodes and variable nodes.
B D ATA COLLECTION
The training process requires bipartite graph representations of MILP problems as the input and marginal probabilities of variables as the label.
We first extract the bipartite graph by embedding variables and constraints as respective feature vectors (see Appendix E).
Then, we run a singlethread Gurobi with a time limit of 3,600 seconds on training sets to collect feasible solutions along with their objective values.
These solutions are thereafter weighted via energy functions as in Equation (3) to obtain marginal probabilities.
C C OMPARING OBJECTIVE VALUES IN DIFFERENT PARTIAL SOLUTIONS
We also scrutinize why fixing strategy could fail.
Variables in the optimal solution are randomly perturbed to simulate a real-world setting that a prediction is very likely to be inaccurate.
Figureexhibited a trend that, as we perturb more variables, the absolute primal gap (green) increases, and the percentage of infeasible sub-problems (red) increases.
The absolute gaps shown in Figure 4a indicate large performance drawbacks given that the optimal objective value is 685 .
Convincingly, we conclude that fixing approaches presumably produce sub-optimal solutions.
Besides, as shown in Figure 4b, randomly perturbing one variable can result in 20% of infeasible sub-problems.
That is, fixing strategy could lead to infeasible sub-problems even if relatively accurate predictions are provided.
[Figure]
D C OMPARING AGAINST A MODIFIED VERSION OF CONFIDENCE THRESHOLD NEURAL DIVING
In this part, we demonstrate our advantage over a fixing strategy by conducting numerical experiments.
In Yoon (2022)’s work, thresholds are chosen to determine how many variables to fix.
We modify this method so that the number of variables becomes a tunable hyper-parameter, which makes the procedure more controllable and flexible.
We directly use the learning target to define confidence scores, and we obtain partial solutions by setting different size parameters ( k 0 , k 1 ) as stated in Section 3.2.1.
ℓ 1 norm is utilized for measuring such distances.
We selected (700 , 0) , (750 , 0) , (800 , 0) , (850 , 0) , and (900 , 0) as size parameters and obtained their corresponding ℓ 1 distances as 0 . 00 , 0 . 04 , 1 . 20 , 35 . 26 , and 85 .
We observed that such distances can be small if only a small portion of variables are taken into consideration.
However, as we enlarge the number of involved variables, the distance increases dramatically.
Hence, the predict-and-search approach can involve larger set of variables than fixing strategy does while still retaining the optimality.
To support this argument, we compare the performance of our approach with that of a fixing strategy.
For simplicity, we denote the modified version of confidence threshold neural diving as Fixing in Figures.
Figure 5 shows the average relative primal gap achieved by different approaches, where both approaches use a fixed number of selected variables.
One can spot the dominance of our approach over the modified version of confidence threshold neural diving from Figure 5a; this implies that such a fixing strategy only leads to mediocre solutions, while the search method (red) achieves solutions with better qualities.
In Figure 5d, both approaches are capable of finding optimal solutions instantly, but the ones obtained by fixing method is far from optimal solutions to original problems.
We notice that in Figure 5b and 5c, our framework struggles to find good solution in the early solving phases, but produces equivalent or better solutions within 1 , 000 seconds comparing to the fixing method.
A possible reason is that our solution results in larger feasible regions comparing to the fixing strategy.
Conclusively, our framework always outperforms the fixing strategy.
[Figure]
E F EATURE DESCRIPTIONS FOR VARIABLE NODES , CONSTRAINT NODES AND EDGES
To encode MILP problems
[Figure]
we propose a set of features extracted from constraints, variables
[Figure]
and edges.
This set of features is relatively light-weighted and generalized; each feature is obtained either directly from the original MILP model or by conducting simple calculations.
Moreover, such extractions do not require pre-solving the MILP instance
[Figure]
which would save a significant amount of time for large and difficult MILP problems
[Figure]
[Table]
F S IZES OF BENCHMARK PROBLEMS
Table 3 exhibits dimensions of the largest instance of each tested benchmark dataset.
The numbers of constraints, variables, and binaries are presented.
[Table]
G P ARAMETRIC SETTINGS FOR EXPERIMENTS
For experiments where our predict-and-search framework is compared with SCIP , Gurobi , and fixing-based strategy, the settings for fixing-parameter ( k 0 , k 1 ) and the neighborhood parameter ∆ are listed in Table 4.
Based on the performance of the underlying solver, various settings of ( k 0 , k 1 ) are used to carry out experiments for each benchmark dataset shown in Table 4.
The radius of the search area ∆ is chosen respectively for different implementations ( PS+SCIP , PS+Gurobi
[Table]
and
Fixing+SCIP ) of our framework as shown in Table 4.
[Table]