>>713
>交点が存在しないとすると対角線とホモトピーになる

意味不明。
グラフは写像ではないのでは?