Search papers, labs, and topics across Lattice.
This paper introduces GraphBU, a novel graph-native generator for creating mixed-integer linear programming (MILP) instances that maintains the structural integrity required by solvers and learned policies. By utilizing local subproblems and their interfaces as basic units, GraphBU effectively couples nodes into master constraints while ensuring compatibility and feasibility during instance generation. The results show that instances generated by GraphBU achieve high graph-statistical similarity (0.934) and feasibility rates (96.7%), while also enhancing downstream Predict-and-Search training by approximately 8.0%.
GraphBU achieves a remarkable 96.7% feasibility rate while preserving structural integrity, revolutionizing how MILP instances are generated for solver development.
Mixed-integer linear programming (MILP) instances used for solver development are hard to obtain when models come from private or application-specific pipelines. A generator must keep the structure that solvers and learned policies rely on. Existing general generators usually choose their generation unit from a formulation template, summary statistics, local graph edits, or blocks found after recombination. These units do not explicitly record how a local part of the MILP is coupled to the rest of the instance. We propose GraphBU, a graph-native generator whose basic unit is a local subproblem plus its interface. The method promotes coupling nodes into master constraints or boundary variables and uses the resulting block units for compatibility-checked replacement. The analysis focuses on the properties needed by this construction: promotion separates interfaces, replacement can preserve feasibility under an interface-slack condition, and the graph construction is invariant to row-column permutations. On MILP instances generation, this unit keeps graph statistics close to the source family, preserves feasibility on most datasets, and improves downstream Predict-and-Search training. Genrated by GraphBU, The average graph-statistical similarity was approximately 0.934, the average feasibility was approximately 96.7%, and the average increase in the main index of downstream PS was approximately 8.0%.
