以下のパターンを扱う

• グラフから新しくグラフを作る
• 題材はグラフとは直接関係ないが、グラフを考えると見通しがよい

頂点倍化

問題例

• ABC311 D - Grid Ice Floor

ダイクストラ法 にも頂点倍化の話は記載している

頂点倍化には、別世界のグラフをもう1つ作るみたいな考え方とそうではない考え方がある（ABC410 D - XOR Shortest Walk みたいな）

この2パターンがありそう？

• グラフに状態を付与する
• 頂点に状態を付与する

論理式

論理式を頂点、「ならば」の矢印を有向辺だと思ったグラフを考える