18/11/15 20:01:01.26 fMjWRK3Z.net
G をグラフとする。
M^* を G の最大マッチングとする。
M を G のマッチングとする。
このとき、 G には、 M に関する、点を共有しない |M^*| - |M| 個の単純な増加パスが存在することを示せ。
18/11/15 20:01:01.26 fMjWRK3Z.net
G をグラフとする。
M^* を G の最大マッチングとする。
M を G のマッチングとする。
このとき、 G には、 M に関する、点を共有しない |M^*| - |M| 個の単純な増加パスが存在することを示せ。