Monte-Carlo graph search from first principles