タイプ Pe の難しい点

タイプ Pe のルートにはもともとループが１つ存在
→ループ除去の制約式を加えられない！