グラフ理論におけるtourの定義って非連結なtrailの集合ってのでおk?