May 2023· Advances in Neural Information Processing Systems 36· Vol abs/2305.17010· 59 citations· ⚡ 8 influential· 67 references
Computer ScienceMathematics
TL;DR
This paper designs Markov decision processes (MDPs) for different combinatorial problems and proposes to train conditional GFlowNets to sample from the solution space and demonstrates that GFlowNet policies can efficiently find high-quality solutions.
Abstract
Combinatorial optimization (CO) problems are often NP-hard and thus out of reach for exact algorithms, making them a tempting domain to apply machine learning methods. The highly structured constraints in these problems can hinder either optimization or sampling directly in the solution space. On the other hand, GFlowNets have recently emerged as a powerful machinery to efficiently sample from composite unnormalized densities sequentially and have the potential to amortize such solution-searching processes in CO, as well as generate diverse solution candidates. In this paper, we design Markov decision processes (MDPs) for different combinatorial problems and propose to train conditional GFlowNets to sample from the solution space. Efficient training techniques are also developed to benefit long-range credit assignment. Through extensive experiments on a variety of different CO tasks with synthetic and realistic data, we demonstrate that GFlowNet policies can efficiently find high-quality solutions. Our implementation is open-sourced at https://github.com/zdhNarsil/GFlowNet-CombOpt.
This paper finds that solutions produced at the early search stage of MILP solvers are often structurally close to the solutions found after full-budget search, and proposes a new solver-informed paradigm that shifts the learning target from variable assignment to early-to-final consistency.
Guanli Li, Chengrui Gao, Chenguang Wang et al.· 0 citations
A preliminary comparison with the A ∗ -based algorithms indicates that they are outperformed by the ILP-based approaches on graphs exceeding ten nodes, and a dataset of optimal edit paths across widely used datasets from the TUDataset is released.
Andrea D'Ascenzo, Julian Meffert, Petra Mutzel et al.· 0 citations
An automatic pipeline that is problem-agnostic to all problems in the MiniZinc format is built, finding that algorithm selection achieves a 39.6% average problem-weighted win rate against a one-shot Gurobi baseline, more than doubling the best single configuration (19.3%).
Hai Xia, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider· 0 citations
A novel dataset of 70 underexplored graph construction problems that require finding Ramsey-good graphs with special properties, which shows that LLMs achieve only 37.70% accuracy on the hard-tier problems in this dataset, with Gemma-4-31B achieving the highest performance out of the five.
The Structure-Aware Hierarchical Solution Prediction (SHSP) framework is proposed that replaces the parallel marginal decoding of one-shot methods with a novel hierarchical conditional decoding mechanism and significantly outperforms existing one-shot prediction baselines.
Zhe-Rong Zhang, Guanli Li, Chengrui Gao et al.· 0 citations
This work proposes an end-to-end approach for handcrafted Feature-Free SAT Solver Selection, called F2S3, which effectively captures the structural complexity of graph data, eliminates the need for handcrafted features, and improves feature representation in the low-dimensional space.
Yitao Zhang, Xiao Yang, Yong Lai et al.· Proceedings of the 32nd ACM...· 0 citations