個数の条件を外した緩和問題の解は元の問題の解の上界になるんで、それで
貪欲法の探索範囲を絞ることができる。正式には何と言うんだったか忘れたが。