The random exploration graph for optimal exploration of unknown environments. (5th January 2017)