English
Related papers

Related papers: Semi-Synchronous Exploration in Dynamic Graphs

200 papers

In collective tree exploration, a team of $k$ mobile agents is tasked to go through all edges of an unknown tree as fast as possible. An edge of the tree is revealed to the team when one agent becomes adjacent to that edge. The agents start…

Data Structures and Algorithms · Computer Science 2023-11-01 Romain Cosson

We study the problem of online tree exploration by a deterministic mobile agent. Our main objective is to establish what features of the model of the mobile agent and the environment allow linear exploration time. We study agents that, upon…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-28 Dominik Bojko , Karol Gotfryd , Dariusz R. Kowalski , Dominik Pajak

This work studies a dynamic, adversarial resource allocation problem in environments modeled as graphs. A blue team of defender robots are deployed in the environment to protect the nodes from a red team of attacker robots. We formulate the…

Systems and Control · Electrical Eng. & Systems 2021-12-21 Daigo Shishika , Yue Guan , Michael Dorothy , Vijay Kumar

Graph databases in many applications---semantic web, transport or biological networks among others---are not only large, but also frequently modified. Evaluating graph queries in this dynamic context is a challenging task, as those queries…

Logic in Computer Science · Computer Science 2015-12-18 Pablo Muñoz , Nils Vortmeier , Thomas Zeume

A cyber security problem in a networked system formulated as a resilient graph problem based on a game-theoretic approach is considered. The connectivity of the underlying graph of the network system is reduced by an attacker who removes…

Systems and Control · Electrical Eng. & Systems 2023-03-14 Yurid Nugraha , Ahmet Cetinkaya , Tomohisa Hayakawa , Hideaki Ishii , Quanyan Zhu

The k-core of a graph is its maximal subgraph with minimum degree at least k, and the core value of a vertex u is the largest k for which u is contained in the k-core of the graph. Among cohesive subgraphs, k-core and its variants have…

Data Structures and Algorithms · Computer Science 2025-10-14 Yan S. Couto , Cristina G. Fernandes

We study frequency allocation in wireless networks. A wireless network is modeled by an undirected graph, with vertices corresponding to cells. In each vertex we have a certain number of requests, and each of those requests must be assigned…

Data Structures and Algorithms · Computer Science 2011-02-17 Marek Chrobak , Łukasz Jeż , Jiří Sgall

A temporal graph is a dynamic graph where every edge is assigned a set of integer time labels that indicate at which discrete time step the edge is available. In this paper, we study how changes of the time labels, corresponding to delays…

Data Structures and Algorithms · Computer Science 2020-11-13 Argyrios Deligkas , Igor Potapov

We consider the task of topology discovery of sparse random graphs using end-to-end random measurements (e.g., delay) between a subset of nodes, referred to as the participants. The rest of the nodes are hidden, and do not provide any…

Social and Information Networks · Computer Science 2012-03-06 Animashree Anandkumar , Avinatan Hassidim , Jonathan Kelner

We consider the Dynamic Map Visitation Problem (DMVP), in which a team of agents must visit a collection of critical locations as quickly as possible, in an environment that may change rapidly and unpredictably during the agents'…

Computational Complexity · Computer Science 2014-07-29 Eric Aaron , Danny Krizanc , Elliot Meyerson

In this paper, we present the benefits of exploring different topologies with equal connectivity measure, or iso-connectivity topologies, in relation to the multiagent system dynamics. The level of global information sharing ability among…

Optimization and Control · Mathematics 2016-06-14 Rajdeep Dutta , Daniel Pack

A long-standing open question is which graph class is the most general one permitting constant-time constant-factor approximations for dominating sets. The approximation ratio has been bounded by increasingly general parameters such as…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-08-26 Christoph Lenzen , Sophie Wenning

We focus on adversarial patrolling games on arbitrary graphs, where the Defender can control a mobile resource, the targets are alarmed by an alarm system, and the Attacker can observe the actions of the mobile resource of the Defender and…

Artificial Intelligence · Computer Science 2018-06-20 Giuseppe De Nittis , Nicola Gatti

A fundamental algorithmic problem at the heart of static analysis is Dyck reachability. The input is a graph where the edges are labeled with different types of opening and closing parentheses, and the reachability information is computed…

Programming Languages · Computer Science 2019-10-02 Krishnendu Chatterjee , Bhavya Choudhary , Andreas Pavlogiannis

Several mobile agents, modelled as deterministic automata, navigate in an infinite line in synchronous rounds. All agents start in the same round. In each round, an agent can move to one of the two neighboring nodes, or stay idle. Agents…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-08 Younan Gao , Andrzej Pelc

In this article, we study algorithms for dynamic networks with asynchronous start, i.e., each node may start running the algorithm in a different round. Inactive nodes transmit only heartbeats, which contain no information but can be…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-06-27 Bernadette Charron-Bost , Shlomo Moran

While a natural fit for modeling and understanding mobile networks, time-varying graphs remain poorly understood. Indeed, many of the usual concepts of static graphs have no obvious counterpart in time-varying ones. In this paper, we…

Networking and Internet Architecture · Computer Science 2012-08-01 John Whitbeck , Marcelo Dias de Amorim , Vania Conan , Jean-Loup Guillaume

Temporal graphs are a class of graphs defined by a constant set of vertices and a changing set of edges, each of which is known as a timestep. These graphs are well motivated in modelling real-world networks, where connections may change…

Data Structures and Algorithms · Computer Science 2025-05-21 Duncan Adamson

In the rendezvous problem, two computing entities (called \emph{agents}) located at different vertices in a graph have to meet at the same vertex. In this paper, we consider the synchronous \emph{neighborhood rendezvous problem}, where the…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-14 Ryota Eguchi , Naoki Kitamura , Taisuke Izumi

We study the m-Eternal Domination problem, which is the following two-player game between a defender and an attacker on a graph: initially, the defender positions k guards on vertices of the graph; the game then proceeds in turns between…

Discrete Mathematics · Computer Science 2025-07-15 Tiziana Calamoneri , Federico Corò , Neeldhara Misra , Saraswati G. Nanoti , Giacomo Paesani