Tackling GNARLy Problems: Graph Neural Algorithmic Reasoning Reimagined through Reinforcement Learning
About
Neural algorithmic reasoning (NAR) is a paradigm that trains neural networks to execute classic algorithms by supervised learning. Despite its successes, important limitations remain: inability to construct valid solutions without post-processing and to reason about multiple correct ones, poor performance on combinatorial NP-hard problems, and inapplicability to problems for which strong algorithms are not yet known. To address these limitations, we reframe the problem of learning algorithm trajectories as a Markov decision process, which imposes structure on the solution construction procedure and unlocks the powerful tools of imitation and reinforcement learning (RL). We propose the GNARL framework, encompassing the methodology to translate problem formulations from NAR to RL and a learning architecture suitable for a wide range of graph-based problems. We achieve very high graph accuracy results on several CLRS-30 problems, performance matching or exceeding much narrower NAR approaches for NP-hard problems and, remarkably, applicability even when lacking an expert algorithm.
Related benchmarks
| Task | Dataset | Result | Rank | |
|---|---|---|---|---|
| Traveling Salesman Problem | TSP-200 | Optimality Gap6.4 | 46 | |
| Traveling Salesperson Problem | TSP (test) | Inference Time (Total)0.798 | 12 | |
| Algorithmic Reasoning | CLRS-30 (out-of-distribution) | DFS Correctness100 | 6 | |
| Traveling Salesperson Problem | TSP 40 nodes | Optimality Gap2.2 | 5 | |
| Traveling Salesperson Problem | TSP 60 nodes | Relative Gap (%)3.6 | 5 | |
| Traveling Salesperson Problem | TSP 80 nodes | Gap to Optimal (%)3.9 | 5 | |
| Traveling Salesperson Problem | TSP 100 nodes | Relative Gap (%)4.4 | 5 | |
| Traveling Salesperson Problem | TSP 1000 nodes | Deviation from Optimal (%)11.8 | 5 | |
| Minimum Vertex Cover | MVC size 16 | J/Japprox Ratio0.9398 | 4 | |
| Minimum Vertex Cover | MVC size 32 | J/J Approximation Ratio0.942 | 4 |