Before revision:  The\pm  number of arithmetic operations needed to compute the next vertex in the path is polynomial in n, m and log k.
After revision:  The\pm number of arithmetic operations needed to compute the next vertex in the path is polynomial in n, m and \log k.