なーんだ！

非対称グラフ単一化って、オートマトンの模倣構成問題だったのだ。

メモリを気にしなければ、ノード間の対応（模倣辺）を全部覚えておいて、ダイクストラ法を使えばいい。メモリを使わないように、覚えておかなくていい（後で使わない）記録を削除しようとすると難しくなる。

中間結果は（使わなくても）全部覚えておくようにするなら、非対称グラフ単一化も簡単だ。