グラフ同型写像に沿ってツリー分解を前進させる

グラフ同型写像に沿ってツリー分解を前進させることができるのは、収縮写像に限られることを示す。