>>883
基本だが I <-> Any <-> You 経路の探索には

I から辿れる全ての Any を全て辿るうちに You がいるかどうかを判定

ではなくて

I と You から辿れるそれぞれのノード集合の積が空集合かどうかを判定

します。