Tree exploration in dual-memory model

12/26/2021
by   Dominik Bojko, et al.
0

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 entering to a node, do not receive as input the edge via which they entered. In such a model, deterministic memoryless exploration is infeasible, hence the agent needs to be allowed to use some memory. The memory can be located at the agent or at each node. The existing lower bounds show that if the memory is either only at the agent or only at the nodes, then the exploration needs superlinear time. We show that tree exploration in dual-memory model, with constant memory at the agent and logarithmic at each node is possible in linear time when one of two additional features is present: fixed initial state of the memory at each node (so called clean memory) or a single movable token. We present two algorithms working in linear time for arbitrary trees in these two models. On the other hand, in our lower bound we show that if the agent has a single bit of memory and one bit is present at each node, then exploration may require quadratic time on paths, if the initial memory at nodes could be set arbitrarily (so called dirty memory). This shows that having clean node memory or a token allows linear exploration of trees in the model with two types of memory, but having neither of those features may lead to quadratic exploration time even on a simple path.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/18/2020

Self-stabilizing Graph Exploration by a Single Agent

In this paper, we give two self-stabilizing algorithms that solve graph ...
research
09/05/2022

Deciding a Graph Property by a Single Mobile Agent: One-Bit Memory Suffices

We investigate the computational power of the deterministic single-agent...
research
02/25/2021

Graph Exploration by Energy-Sharing Mobile Agents

We consider the problem of collective exploration of a known n-node edge...
research
11/01/2022

Computational Power of a Single Oblivious Mobile Agent in Two-Edge-Connected Graphs

We investigated the computational power of a single mobile agent in an n...
research
03/18/2023

Explorable families of graphs

Graph exploration is one of the fundamental tasks performed by a mobile ...
research
12/04/2008

Linear-Time Algorithms for Geometric Graphs with Sublinearly Many Edge Crossings

We provide linear-time algorithms for geometric graphs with sublinearly ...
research
11/04/2020

Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism

We present implications from the known conjectures like APSP, 3SUM and E...

Please sign up or login with your details

Forgot password? Click here to reset