無向グラフが与えられ、最大マッチングの大きさを求める。