sからgの頂点数k+1のウォークが存在するかO(n)で判定