这个祖先的含义是包含自己的，就是说可能出现路径头尾相同（x==y）的情况