Search papers, labs, and topics across Lattice.
The paper introduces Construct-and-Refine (CaR), a novel framework for efficiently handling hard constraints in neural routing solvers by explicitly learning feasibility refinement. CaR employs a joint training framework to guide the construction module towards generating diverse, high-quality solutions amenable to lightweight improvement. The framework also introduces a construction-improvement-shared representation to enable knowledge sharing across paradigms.
Neural routing solvers can now efficiently tackle hard constraints thanks to Construct-and-Refine (CaR), which slashes the refinement steps needed by 500x while boosting solution quality.
Neural solvers have achieved impressive progress in addressing simple routing problems, particularly excelling in computational efficiency. However, their advantages under complex constraints remain nascent, for which current constraint-handling schemes via feasibility masking or implicit feasibility awareness can be inefficient or inapplicable for hard constraints. In this paper, we present Construct-and-Refine (CaR), the first general and efficient constraint-handling framework for neural routing solvers based on explicit learning-based feasibility refinement. Unlike prior construction-search hybrids that target reducing optimality gaps through heavy improvements yet still struggle with hard constraints, CaR achieves efficient constraint handling by designing a joint training framework that guides the construction module to generate diverse and high-quality solutions well-suited for a lightweight improvement process, e.g., 10 steps versus 5k steps in prior work. Moreover, CaR presents the first use of construction-improvement-shared representation, enabling potential knowledge sharing across paradigms by unifying the encoder, especially in more complex constrained scenarios. We evaluate CaR on typical hard routing constraints to showcase its broader applicability. Results demonstrate that CaR achieves superior feasibility, solution quality, and efficiency compared to both classical and neural state-of-the-art solvers.