Finite Undirected Graphs Exploration by a Mobile Agent
Since any environment can be represented as a graph, the problem of graph exploration remains highly relevant. This paper investigates the exploration of finite, connected, simple, and undirected graphs by a mobile agent. A new graph exploration method is proposed, along with an algorithm that enables the mobile agent to traverse the graph, read and modify labels of its elements, and incrementally reconstruct the graph structure in its memory. The algorithm is based on the depth-first search approach and uses an implicit node numbering technique. It is proven that t