>>776
それなら graph reduction の実装を調べた方が良いと思います。