Search papers, labs, and topics across Lattice.
This paper introduces Neural Certificate Pricing (NCP), a novel approach to combinatorial optimization that leverages unsupervised learning to predict certificate-level dual prices, facilitating efficient verification of structural feasibility. By employing a structured recovery layer, NCP enables the construction of primal marginals without the need for exhaustive enumeration of candidates, thus addressing the exponential search challenge inherent in CO problems. Experimental results demonstrate that NCP significantly outperforms existing neural baselines in various CO problem classes, achieving superior performance with reduced computational demands and enhanced out-of-distribution generalization.
NCP achieves state-of-the-art performance in combinatorial optimization while drastically cutting computation time, redefining efficiency in solving complex problems.
Combinatorial optimization (CO) problems are difficult because certifiable discrete structure induces exponential search. One needs to search over the set exponentially many candidates to certify optimality, however, the structural feasibility of a path, packing, or cover can be verified in polynomial time once supplied. In this study, we introduce Neural Certificate Pricing (NCP) that exploits this asymmetry under an unsupervised learning framework. A neural network is trained to predict certificate-level dual prices, while a structured recovery layer constructs the induced primal marginal. NCP can be viewed as amortized separation: instead of enumerating violated inequalities, it learns the residual prices through which their aggregate effect enters recovery. When the certificate-consistency condition holds, the recovered marginal is globally feasible, and a local theory shows that first-order errors in the predicted price induce only second-order loss in objective value. Across three classes of CO problems, NCP either outperforms state-of-the-art neural baselines by large margins or matches them at a fraction of the computation time, and shows stronger out-of-distribution generalization.
