Fast algorithm for centralized multi-agent maze exploration