必要条件から探索範囲を絞る