実際最大マッチングの一般化になってるのか