English
Related papers

Related papers: Local Certification of Graphs with Bounded Genus

200 papers

Let G = (V,E) be an n-vertex graph and M_d a d-vertex graph, for some constant d. Is M_d a subgraph of G? We consider this problem in a model where all n processes are connected to all other processes, and each message contains up to O(log…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-11-06 Danny Dolev , Christoph Lenzen , Shir Peled

In this work, we give a unifying view of locality in four settings: distributed algorithms, sequential greedy algorithms, dynamic algorithms, and online algorithms. We introduce a new model of computing, called the online-LOCAL model: the…

Data Structures and Algorithms · Computer Science 2022-11-15 Amirreza Akbari , Navid Eslami , Henrik Lievonen , Darya Melnyk , Joona Särkijärvi , Jukka Suomela

We present a novel distributed algorithm for counting all four-node induced subgraphs in a big graph. These counts, called the $4$-profile, describe a graph's connectivity properties and have found several uses ranging from bioinformatics…

Social and Information Networks · Computer Science 2016-04-05 Ethan R. Elenberg , Karthikeyan Shanmugam , Michael Borokhovich , Alexandros G. Dimakis

Verifying graph algorithms has long been considered challenging in separation logic, mainly due to structural sharing between graph subcomponents. We show that these challenges can be effectively addressed by representing graphs as a…

Logic in Computer Science · Computer Science 2025-07-10 Marcos Grandury , Aleksandar Nanevski , Alexander Gryzlov

Local certification is a mechanism for certifying to the nodes of a network that a certain property holds. In this framework, nodes are assigned labels, called certificates, which are supposed to prove that the property holds. The nodes…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-20 Laurent Feuilloley , Josef Erik Sedláček , Martin Slávik

We present a deterministic distributed algorithm that computes a $(2\Delta-1)$-edge-coloring, or even list-edge-coloring, in any $n$-node graph with maximum degree $\Delta$, in $O(\log^7 \Delta \log n)$ rounds. This answers one of the…

Data Structures and Algorithms · Computer Science 2017-04-11 Manuela Fischer , Mohsen Ghaffari , Fabian Kuhn

A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. The class of $H$-induced-minor-free graphs generalizes the class of $H$-minor-free graphs, but unlike…

Data Structures and Algorithms · Computer Science 2023-08-10 Tuukka Korhonen , Daniel Lokshtanov

We present a new approach to randomized distributed graph coloring that is simpler and more efficient than previous ones. In particular, it allows us to tackle the $(\operatorname{deg}+1)$-list-coloring (D1LC) problem, where each node $v$…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-02 Magnús M. Halldórsson , Fabian Kuhn , Alexandre Nolin , Tigran Tonoyan

The combinatorial refinement techniques have proven to be an efficient approach to isomorphism testing for particular classes of graphs. If the number of refinement rounds is small, this puts the corresponding isomorphism problem in a…

Combinatorics · Mathematics 2024-09-17 Laurence Kluge

In the real world a graph is often fragmented and distributed across different sites. This highlights the need for evaluating queries on distributed graphs. This paper proposes distributed evaluation algorithms for three classes of queries:…

Databases · Computer Science 2012-08-02 Wenfei Fan , Xin Wang , Yinghui Wu

Traditional graph-based semi-supervised learning (SSL) approaches, even though widely applied, are not suited for massive data and large label scenarios since they scale linearly with the number of edges $|E|$ and distinct labels $m$. To…

Machine Learning · Computer Science 2016-05-17 Sujith Ravi , Qiming Diao

We study the {edge-coloring} problem in the message-passing model of distributed computing. This is one of the most fundamental and well-studied problems in this area. Currently, the best-known deterministic algorithms for (2Delta…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-03-17 Leonid Barenboim , Michael Elkin

Inspired by the increasing interest in self-organizing social opportunistic networks, we investigate the problem of distributed detection of unknown communities in dynamic random graphs. As a formal framework, we consider the dynamic…

Social and Information Networks · Computer Science 2014-07-10 Andrea Clementi , Miriam di Ianni , Giorgio Gambosi , Emanuele Natale , Riccardo Silvestri

Coloring unit-disk graphs efficiently is an important problem in the global and distributed setting, with applications in radio channel assignment problems when the communication relies on omni-directional antennas of the same power. In…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-01-23 Louis Esperet , Sébastien Julliot , Arnaud de Mesmay

We provide a new constant factor approximation algorithm for the (connected) distance-$r$ dominating set problem on graph classes of bounded expansion. Classes of bounded expansion include many familiar classes of sparse graphs such as…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-06-08 Saeed Akhoondian Amiri , Patrice Ossona de Mendez , Roman Rabinovich , Sebastian Siebertz

We study graph classes modeled by families of non-crossing (NC) connected sets. Two classic graph classes in this context are disk graphs and proper interval graphs. We focus on the cases when the sets are paths and the host is a tree…

Discrete Mathematics · Computer Science 2020-08-18 Steven Chaplick

In the context of communication complexity, we explore protocols for graph coloring, focusing on the vertex and edge coloring problems in $n$-vertex graphs $G$ with a maximum degree $\Delta$. We consider a scenario where the edges of $G$…

Data Structures and Algorithms · Computer Science 2025-05-12 Yi-Jun Chang , Gopinath Mishra , Hung Thuan Nguyen , Farrel D Salim

In this paper, we study distributed graph algorithms in networks in which the nodes have a limited communication capacity. Many distributed systems are built on top of an underlying networking infrastructure, for example by using a virtual…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-26 John Augustine , Mohsen Ghaffari , Robert Gmyr , Kristian Hinnenthal , Fabian Kuhn , Jason Li , Christian Scheideler

Any graph with maximum degree $\Delta$ admits a proper vertex coloring with $\Delta + 1$ colors that can be found via a simple sequential greedy algorithm in linear time and space. But can one find such a coloring via a sublinear algorithm?…

Data Structures and Algorithms · Computer Science 2019-01-08 Sepehr Assadi , Yu Chen , Sanjeev Khanna

We unify several seemingly different graph and digraph classes under one umbrella. These classes are all broadly speaking different generalizations of interval graphs, and include, in addition to interval graphs, also adjusted interval…

Discrete Mathematics · Computer Science 2018-06-28 Pavol Hell , Jing Huang , Ross M. McConnell , Arash Rafiey
‹ Prev 1 4 5 6 7 8 10 Next ›