あれ？
でもGがツリーで
x1→>x3, x2>x3, 以下xn>x(n+1)
だとツリーかつx>z,y>zだけど1〜3位は順位は確定してないけどトップ3確定てるよ
最も早い3頭の馬を決める
というのはその3頭の順位は確定する必要ないのでは？