English
Related papers

Related papers: Local Certification of Graphs with Bounded Genus

200 papers

In 2004, Klavins et al. introduced the use of graph grammars to describe -- and to program -- systems of self-assembly. We show that these graph grammars can be embedded in a graph rewriting characterization of distributed systems that was…

Formal Languages and Automata Theory · Computer Science 2011-07-21 Aaron Sterling

This work considers the distributed computation of the one-to-one vertex correspondences between two undirected and connected graphs, which is called \textit{graph matching}, over multi-agent networks. Given two \textit{isomorphic} and…

Optimization and Control · Mathematics 2020-02-21 Quoc Van Tran , Zhiyong Sun , Brian D. O. Anderson , Hyo-Sung Ahn

Identifying the connected components of a graph, apart from being a fundamental problem with countless applications, is a key primitive for many other algorithms. In this paper, we consider this problem in parallel settings. Particularly,…

Data Structures and Algorithms · Computer Science 2020-03-13 Soheil Behnezhad , Laxman Dhulipala , Hossein Esfandiari , Jakub Łącki , Vahab Mirrokni

We consider constrained variants of graph homomorphisms such as embeddings, monomorphisms, full homomorphisms, surjective homomorpshims, and locally constrained homomorphisms. We also introduce a new variation on this theme which derives…

Combinatorics · Mathematics 2014-04-23 Yangjing Long

We introduce a new class of auto-encoders for directed graphs, motivated by a direct extension of the Weisfeiler-Leman algorithm to pairs of node labels. The proposed model learns pairs of interpretable latent representations for the nodes…

Machine Learning · Computer Science 2022-02-28 Georgios Kollias , Vasileios Kalantzis , Tsuyoshi Idé , Aurélie Lozano , Naoki Abe

Federated graph learning (FedGL) is an emerging federated learning (FL) framework that extends FL to learn graph data from diverse sources. FL for non-graph data has shown to be vulnerable to backdoor attacks, which inject a shared backdoor…

Cryptography and Security · Computer Science 2024-07-15 Yuxin Yang , Qiang Li , Jinyuan Jia , Yuan Hong , Binghui Wang

We show that the dominating set problem admits a constant factor approximation in a constant number of rounds in the LOCAL model of distributed computing on graph classes with bounded expansion. This generalizes a result of Czygrinow et al.…

Discrete Mathematics · Computer Science 2022-07-07 Ozan Heydt , Simeon Kublenz , Patrice Ossona de Mendez , Sebastian Siebertz , Alexandre Vigny

Recent advancements in graph-based analysis and solutions of instantly decodable network coding (IDNC) trigger the interest to extend them to more complicated opportunistic network coding (ONC) scenarios, with limited increase in…

Information Theory · Computer Science 2015-05-12 Sameh Sorour , Neda Aboutorab , Parastoo Sadeghi , Tareq Y. Al-Naffouri , Mohamed-Slim Alouini

We revisit the framework of interactive proofs for distribution testing, first introduced by Chiesa and Gur (ITCS 2018), which has recently experienced a surge in interest, accompanied by notable progress (e.g., Herman and Rothblum, STOC…

Computational Complexity · Computer Science 2025-12-01 Ari Biswas , Mark Bun , Clément Canonne , Satchit Sivakumar

We develop a new approach for distributed distance computation in planar graphs that is based on a variant of the metric compression problem recently introduced by Abboud et al. [SODA'18]. One of our key technical contributions is in…

Data Structures and Algorithms · Computer Science 2019-12-30 Jason Li , Merav Parter

This paper is centered on the complexity of graph problems in the well-studied LOCAL model of distributed computing, introduced by Linial [FOCS '87]. It is widely known that for many of the classic distributed graph problems (including…

Data Structures and Algorithms · Computer Science 2017-10-31 Mohsen Ghaffari , Fabian Kuhn , Yannic Maus

Bidimensionality is the most common technique to design subexponential-time parameterized algorithms on special classes of graphs, particularly planar graphs. The core engine behind it is a combinatorial lemma of Robertson, Seymour and…

Data Structures and Algorithms · Computer Science 2019-03-05 Fedor V. Fomin , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Meirav Zehavi

Modeling distributed computing in a way enabling the use of formal methods is a challenge that has been approached from different angles, among which two techniques emerged at the turn of the century: protocol complexes, and directed…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-03-21 Pierre Fraigniaud , Ami Paz

The population protocol model is a computational model for passive mobile agents. We address the leader election problem, which determines a unique leader on arbitrary communication graphs starting from any configuration. Unfortunately,…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-10 Haruki Kanaya , Ryota Eguchi , Taisho Sasada , Michiko Inoue

Let $N$ local decision makers in a sensor network communicate with their neighbors to reach a decision \emph{consensus}. Communication is local, among neighboring sensors only, through noiseless or noisy links. We study the design of the…

Information Theory · Computer Science 2007-07-13 Soummya Kar , Saeed Aldosari , José M. F. Moura

Node classification in attributed graphs is an important task in multiple practical settings, but it can often be difficult or expensive to obtain labels. Active learning can improve the achieved classification performance for a given…

Machine Learning · Computer Science 2020-07-13 Florence Regol , Soumyasundar Pal , Yingxue Zhang , Mark Coates

Graph data widely exist in many high-impact applications. Inspired by the success of deep learning in grid-structured data, graph neural network models have been proposed to learn powerful node-level or graph-level representation. However,…

Machine Learning · Computer Science 2019-06-07 Jun Wu , Jingrui He , Jiejun Xu

Fault detection has a long tradition: the necessity to provide the most accurate diagnosis possible for a process plant criticality is somehow intrinsic in its functioning. Continuous monitoring is a possible way for early detection.…

Systems and Control · Electrical Eng. & Systems 2024-01-22 Martina Teruzzi , Nicola Demo , Gianluigi Rozza

We investigate the generalizability of learned binary relations: functions that map pairs of instances to a logical indicator. This problem has application in numerous areas of machine learning, such as ranking, entity resolution and link…

Machine Learning · Computer Science 2013-06-04 Ben London , Bert Huang , Lise Getoor

We study the complexity of local graph centrality estimation, with the goal of approximating the centrality score of a given target node while exploring only a sublinear number of nodes/arcs of the graph and performing a sublinear number of…

Data Structures and Algorithms · Computer Science 2018-08-07 Marco Bressan , Enoch Peserico , Luca Pretto