有向图的同构

证明“图Ｇ与图Ｆ同构当且仅当它们有机合的ＶＣ算法”的结论,对于简单有向图依然成立。