🤖 AI Summary
Neural models for NP-hard graph combinatorial optimization suffer from suboptimal solution quality and poor out-of-distribution generalization. Method: We propose a neural-search co-design framework: (i) parameterized structural analysis identifies tractable and intractable substructures; (ii) a lightweight neural model generates only exploratory guidance signals (e.g., node priorities or pruning suggestions), which steer structure-aware exact search algorithms toward high-yield regions. This decouples learning from solving, eliminating end-to-end fitting bias while preserving neural efficiency and combinatorial algorithmic guarantees. Contribution/Results: Experiments across multiple graph optimization tasks show solutions approaching those of commercial solvers (e.g., Gurobi) in quality, with significantly stronger out-of-distribution generalization than purely neural approaches. The framework is broadly applicable, interpretable, and bridges the gap between data-driven heuristics and rigorous combinatorial optimization.
📝 Abstract
Neural models have shown promise in solving NP-hard graph combinatorial optimization (CO) problems. Once trained, they offer fast inference and reasonably high-quality solutions for in-distribution testing instances, but they generally fall short in terms of absolute solution quality compared to classical search-based algorithms that are admittedly slower but offer optimality guarantee once search finishes.
We propose a novel framework that combines the inference efficiency and exploratory power of neural models with the solution quality guarantee of search-based algorithms. In particular, we use parameterized algorithms (PAs) as the search component. PAs are dedicated to identifying easy instances of generally NP-hard problems, and allow for practically efficient search by exploiting structural simplicity (of the identified easy instances). Under our framework, we use parameterized analysis to identify the structurally hard parts of a CO instance. The neural model handles the hard parts by generating advisory signals based on its data-driven understanding. The PA-based search component then integrates the advisory signals to systematically and efficiently searches through the remaining structurally easy parts. Notably, our framework is agnostic to the choice of neural model and produces strictly better solutions than neural solvers alone.
We examine our framework on multiple CO tasks. Empirical results show that it achieves superior solution quality, competitive with that of commercial solvers. Furthermore, by using the neural model only for exploratory advisory signals, our framework exhibits improved out-of-distribution generalization, addressing a key limitation of existing neural CO solvers.