Learning to compile relaxed decision diagrams by optimizing the bound
Abstract
Relaxed decision diagrams certify lower bounds for discrete optimization by merging states under a per-layer width cap. Bound quality depends on which states remain separate, a decision made by hand-designed ranking rules. We study learning this ranking for the traveling salesman problem with a drone. The natural approach ranks states by accumulated cost plus a learned cost-to-go fitted to backward values from a wider relaxed diagram. We show these targets are systematically biased: a relaxed node inherits the most optimistic completion of every state it represents, so its value reflects how much merging occurred rather than the quality of the state, and more data does not remove the bias. Exact targets do not close the gap either: the same policy trained directly on the bound beats exact-target imitation by points at the size where exact targets are computable and by at a larger one, on and of held-out instances. We therefore discard targets and optimize a -parameter ranking policy against the bound compilation produces, which needs no solved instances and preserves validity for every policy. Averaged over optimizer seeds, it improves over imitation by – gap points and over the hand-designed rule it corrects by –, on at least of test instances in every configuration from to customers, and by – over root distance; it reaches in one compilation what a model-free self-guided baseline needs about three times the arc cost to match. Frozen and applied to an independently defined distribution, it is not overtaken by root distance at five times its compilation budget in three of four configurations.
Then back it, or bet against it.
Related papers
Open the market on this paper to see 7 more related papers.