paper-with-me

홈 › Papers

Learning to Execute Graph Algorithms Exactly with Graph Neural Networks

2026-01-30 · Muhammad Fetrat Qharabagh, Artur Back de Luca, George Giapitzakis, Kimon Fountoulakis arxiv

Understanding what graph neural networks can learn, especially their ability to learn to execute algorithms, remains a central theoretical challenge. In this work, we prove exact learnability results for graph algorithms under bounded-degree and finite-precision constraints. Our approach follows a two-step process. First, we train an ensemble of multi-layer perceptrons (MLPs) to execute the local instructions of a single node. Second, during inference, we use the trained MLP ensemble as the update function within a graph neural network (GNN). Leveraging Neural Tangent Kernel (NTK) theory, we show that local instructions can be learned from a small training set, enabling the complete graph algorithm to be executed during inference without error and with high probability. To illustrate the learning power of our setting, we establish a rigorous learnability result for the LOCAL model of distributed computation. We further demonstrate positive learnability results for widely studied algorithms such as message flooding, breadth-first and depth-first search, and Bellman-Ford.

📄 PDF Abstract BibTeX arXiv:2601.23207

Code (0)

등록된 구현이 없습니다.

Tasks

Graph Neural Network

Similar Papers 제목 키워드 기반

APAN: Asynchronous Propagation Attention Network for Real-time Temporal Graph Embedding

2020-11-23 · Xuhong Wang, Ding Lyu, Mengjian Li, Yang Xia 외

Limited by the time complexity of querying k-hop neighbors in a graph database, most graph algorithms cannot be deployed online and execute millisecond-level inference. This problem dramatically limits the potential of a…

Fraud DetectionGraph Embedding

Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers

2026-08-04 · Sajjad Khan hf

A framework that persists execution state so a run can be interrupted, survive a crash, and continue must decide what a resume means for effects that already fired. Five widely deployed agent workflow frameworks answer d…

Semialgebraic Neural Networks: From roots to representations

2025-01-02 · S. David Mis, Matti Lassas, Maarten V. de Hoop

Many numerical algorithms in scientific computing -- particularly in areas like numerical linear algebra, PDE simulation, and inverse problems -- produce outputs that can be represented by semialgebraic functions; that i…

Approximate Implication with d-Separation

2021-05-30 · Batya Kenig

The graphical structure of Probabilistic Graphical Models (PGMs) encodes the conditional independence (CI) relations that hold in the modeled distribution. Graph algorithms, such as d-separation, use this structure to in…

BB_Evac: Fast Location-Sensitive Behavior-Based Building Evacuation

2020-02-19 · Subhra Mazumdar, Arindam Pal, Francesco Parisi, V. S. Subrahmanian

Past work on evacuation planning assumes that evacuees will follow instructions -- however, there is ample evidence that this is not the case. While some people will follow instructions, others will follow their own desi…