Zero-Memory Graph Exploration with Unknown Inports

We study a very restrictive graph exploration problem. In our model, an agent without persistent memory is placed on a vertex of a graph and only sees the adjacent vertices. The goal is to visit every vertex of the graph, return to the start vertex, and terminate. The agent does not know through which edge it entered a vertex. The agent may color the current vertex and can see the colors of the neighboring vertices in an arbitrary order. The agent may not recolor a vertex. We investigate the number of colors necessary and sufficient to explore all graphs. We prove that n-1 colors are necessary and sufficient for exploration in general, 3 colors are necessary and sufficient if only trees are to be explored, and min(2k-3,n-1) colors are necessary and min(2k-1,n-1) colors are sufficient on graphs of size n and circumference k, where the circumference is the length of a longest cycle. This only holds if an algorithm has to explore all graphs and not merely certain graph classes. We give an example for a graph class where each graph can be explored with 4 colors, although the graphs have maximal circumference. Moreover, we prove that recoloring vertices is very powerful by designing an algorithm with recoloring that uses only 7 colors and explores all graphs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/09/2018

Tight bounds for undirected graph exploration with pebbles and multiple agents

We study the problem of deterministically exploring an undirected and in...
research
05/03/2021

Upper bounds on the average number of colors in the non-equivalent colorings of a graph

A coloring of a graph is an assignment of colors to its vertices such th...
research
03/19/2018

Swapping Colored Tokens on Graphs

We investigate the computational complexity of the following problem. We...
research
01/17/2021

Simultaneous Embedding of Colored Graphs

A set of colored graphs are compatible, if for every color i, the number...
research
03/08/2023

Graph parameters, implicit representations and factorial properties

How to efficiently represent a graph in computer memory is a fundamental...
research
09/15/2021

A Characterization of Individualization-Refinement Trees

Individualization-Refinement (IR) algorithms form the standard method an...
research
12/06/2019

Topology-Preserving Terrain Simplification

We give necessary and sufficient criteria for elementary operations in a...

Please sign up or login with your details

Forgot password? Click here to reset