paper-with-me

홈 › Papers

One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction

2022-08-22 · Jan Tönshoff, Berke Kisin, Jakob Lindner, Martin Grohe

We propose a universal Graph Neural Network architecture which can be trained as an end-2-end search heuristic for any Constraint Satisfaction Problem (CSP). Our architecture can be trained unsupervised with policy gradient descent to generate problem specific heuristics for any CSP in a purely data driven manner. The approach is based on a novel graph representation for CSPs that is both generic and compact and enables us to process every possible CSP instance with one GNN, regardless of constraint arity, relations or domain size. Unlike previous RL-based methods, we operate on a global search action space and allow our GNN to modify any number of variables in every step of the stochastic search. This enables our method to properly leverage the inherent parallelism of GNNs. We perform a thorough empirical evaluation where we learn heuristics for well known and important CSPs from random data, including graph coloring, MaxCut, 3-SAT and MAX-k-SAT. Our approach outperforms prior approaches for neural combinatorial optimization by a substantial margin. It can compete with, and even improve upon, conventional search heuristics on test instances that are several orders of magnitude larger and structurally more complex than those seen during training.

📄 PDF Abstract BibTeX arXiv:2208.10227

Code (1)

toenshoff/runcsp-pytorch 공식 구현 pytorch

Tasks

Combinatorial OptimizationGraph Neural Network

Methods 이 논문이 사용한 방법론

Graph Neural Network 설명 없음
Test 설명 없음

Similar Papers 제목 키워드 기반

Correlation Heuristics for Constraint Programming

2018-05-06 · Ruiwei Wang, Wei Xia, Roland H. C. Yap

Effective general-purpose search strategies are an important component in Constraint Programming. We introduce a new idea, namely, using correlations between variables to guide search. Variable correlations are measured …

Heuristic Learning with Graph Neural Networks: A Unified Framework for Link Prediction

2024-06-12 · Juzheng Zhang, Lanning Wei, Zhen Xu, Quanming Yao

Link prediction is a fundamental task in graph learning, inherently shaped by the topology of the graph. While traditional heuristics are grounded in graph topology, they encounter challenges in generalizing across diver…

Graph LearningGraph Neural NetworkLink Prediction

Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems

2014-01-18 · Gilles Pesant, Claude-Guy Quimper, Alessandro Zanarini

Designing a search heuristic for constraint programming that is reliable across problem domains has been an important research topic in recent years. This paper concentrates on one family of candidates: counting-based se…

Scheduling

The FastMap Algorithm for Shortest Path Computations

2017-06-08 · Liron Cohen, Tansel Uras, Shiva Jahangiri, Aliyah Arunasalam 외

We present a new preprocessing algorithm for embedding the nodes of a given edge-weighted undirected graph into a Euclidean space. The Euclidean distance between any two nodes in this space approximates the length of the…

Discovering Locally Maximal Bipartite Subgraphs

2022-11-18 · Dominik Dürrschnabel, Tom Hanika, Gerd Stumme

Induced bipartite subgraphs of maximal vertex cardinality are an essential concept for the analysis of graphs. Yet, discovering them in large graphs is known to be computationally hard. Therefore, we consider in this wor…