sorted_interval_list.h

Go to the documentation of this file.

// Copyright 2010-2022 Google LLC
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
 
#ifndef OR_TOOLS_UTIL_SORTED_INTERVAL_LIST_H_
#define OR_TOOLS_UTIL_SORTED_INTERVAL_LIST_H_
 
#include <iterator>
#include <ostream>
#include <set>
#include <string>
#include <utility>
#include <vector>
 
#include "absl/container/inlined_vector.h"
#include "absl/types/span.h"
#include "ortools/base/integral_types.h"
#include "ortools/base/logging.h"
 
namespace operations_research {
 
struct ClosedInterval {
  ClosedInterval() {}
  ClosedInterval(int64_t s, int64_t e) : start(s), end(e) {
    DLOG_IF(DFATAL, s > e) << "Invalid ClosedInterval(" << s << ", " << e
                           << ")";
  }
 
  std::string DebugString() const;
  bool operator==(const ClosedInterval& other) const {
    return start == other.start && end == other.end;
  }
 
  // Because we mainly manipulate vector of disjoint intervals, we only need to
  // sort by the start. We do not care about the order in which interval with
  // the same start appear since they will always be merged into one interval.
  bool operator<(const ClosedInterval& other) const {
    return start < other.start;
  }
 
  int64_t start = 0;  // Inclusive.
  int64_t end = 0;    // Inclusive.
};
 
std::ostream& operator<<(std::ostream& out, const ClosedInterval& interval);
std::ostream& operator<<(std::ostream& out,
                         const std::vector<ClosedInterval>& intervals);
 
bool IntervalsAreSortedAndNonAdjacent(
    absl::Span<const ClosedInterval> intervals);
 
class Domain {
 public:
  Domain() {}
 
#if !defined(SWIG)
  Domain(const Domain& other) : intervals_(other.intervals_) {}
 
  Domain& operator=(const Domain& other) {
    intervals_ = other.intervals_;
    return *this;
  }
 
  Domain(Domain&& other) : intervals_(std::move(other.intervals_)) {}
 
  Domain& operator=(Domain&& other) {
    intervals_ = std::move(other.intervals_);
    return *this;
  }
#endif  // !defined(SWIG)
 
  explicit Domain(int64_t value);
 
  Domain(int64_t left, int64_t right);
 
  static Domain AllValues();
 
  static Domain FromValues(std::vector<int64_t> values);
 
  static Domain FromIntervals(absl::Span<const ClosedInterval> intervals);
 
  static Domain FromFlatSpanOfIntervals(
      absl::Span<const int64_t> flat_intervals);
 
  static Domain FromVectorIntervals(
      const std::vector<std::vector<int64_t> >& intervals);
 
  static Domain FromFlatIntervals(const std::vector<int64_t>& flat_intervals);
 
  std::vector<int64_t> FlattenedIntervals() const;
 
#if !defined(SWIG)
  class DomainIterator {
   public:
    explicit DomainIterator(
        const absl::InlinedVector<ClosedInterval, 1>& intervals)
        : value_(intervals.empty() ? int64_t{0} : intervals.front().start),
          it_(intervals.begin()),
          end_(intervals.end()) {}
 
    int64_t operator*() const { return value_; }
 
    void operator++() {
      if (value_ == it_->end) {
        ++it_;
        if (it_ != end_) value_ = it_->start;
      } else {
        ++value_;
      }
    }
 
    bool operator!=(
        absl::InlinedVector<ClosedInterval, 1>::const_iterator end) const {
      return it_ != end;
    }
 
   private:
    int64_t value_;
    absl::InlinedVector<ClosedInterval, 1>::const_iterator it_;
    absl::InlinedVector<ClosedInterval, 1>::const_iterator end_;
  };
  struct DomainIteratorBeginEnd {
    DomainIterator begin() const { return DomainIterator(intervals); }
    absl::InlinedVector<ClosedInterval, 1>::const_iterator end() const {
      return intervals.end();
    }
    const absl::InlinedVector<ClosedInterval, 1>& intervals;
  };
  struct DomainIteratorBeginEndWithOwnership {
    DomainIterator begin() const { return DomainIterator(intervals); }
    absl::InlinedVector<ClosedInterval, 1>::const_iterator end() const {
      return intervals.end();
    }
    absl::InlinedVector<ClosedInterval, 1> intervals;
  };
  DomainIteratorBeginEnd Values() const& { return {this->intervals_}; }
  DomainIteratorBeginEndWithOwnership Values() const&& {
    return {std::move(this->intervals_)};
  }
#endif  // !defined(SWIG)
 
  bool IsEmpty() const;
 
  int64_t Size() const;
 
  int64_t Min() const;
 
  int64_t Max() const;
 
  int64_t SmallestValue() const;
 
  int64_t ValueAtOrBefore(int64_t input) const;
  int64_t ValueAtOrAfter(int64_t input) const;
 
  bool IsFixed() const;
 
  int64_t FixedValue() const;
 
  bool Contains(int64_t value) const;
 
  bool IsIncludedIn(const Domain& domain) const;
 
  Domain Complement() const;
 
  Domain Negation() const;
 
  Domain IntersectionWith(const Domain& domain) const;
 
  Domain UnionWith(const Domain& domain) const;
 
  Domain AdditionWith(const Domain& domain) const;
 
  Domain MultiplicationBy(int64_t coeff, bool* exact = nullptr) const;
 
  Domain RelaxIfTooComplex() const;
 
  Domain ContinuousMultiplicationBy(int64_t coeff) const;
 
  Domain ContinuousMultiplicationBy(const Domain& domain) const;
 
  Domain DivisionBy(int64_t coeff) const;
 
  Domain InverseMultiplicationBy(const int64_t coeff) const;
 
  Domain PositiveModuloBySuperset(const Domain& modulo) const;
 
  Domain PositiveDivisionBySuperset(const Domain& divisor) const;
 
  Domain SquareSuperset() const;
 
  Domain SimplifyUsingImpliedDomain(const Domain& implied_domain) const;
 
  std::string ToString() const;
 
  bool operator<(const Domain& other) const;
 
  bool operator==(const Domain& other) const {
    return intervals_ == other.intervals_;
  }
 
  bool operator!=(const Domain& other) const {
    return intervals_ != other.intervals_;
  }
 
  int NumIntervals() const { return intervals_.size(); }
  ClosedInterval front() const { return intervals_.front(); }
  ClosedInterval back() const { return intervals_.back(); }
  ClosedInterval operator[](int i) const { return intervals_[i]; }
  absl::InlinedVector<ClosedInterval, 1>::const_iterator begin() const {
    return intervals_.begin();
  }
  absl::InlinedVector<ClosedInterval, 1>::const_iterator end() const {
    return intervals_.end();
  }
 
  // Deprecated.
  //
  // TODO(user): remove, this makes a copy and is of a different type that our
  // internal InlinedVector() anyway.
  std::vector<ClosedInterval> intervals() const {
    return {intervals_.begin(), intervals_.end()};
  }
 
 private:
  // Same as Negation() but modify the current domain.
  void NegateInPlace();
 
  // Some functions relax the domain when its "complexity" (i.e NumIntervals())
  // become too large.
  static constexpr int kDomainComplexityLimit = 100;
 
  // Invariant: will always satisfy IntervalsAreSortedAndNonAdjacent().
  //
  // Note that we use InlinedVector for the common case of single internal
  // interval. This provide a good performance boost when working with a
  // std::vector<Domain>.
  absl::InlinedVector<ClosedInterval, 1> intervals_;
};
 
std::ostream& operator<<(std::ostream& out, const Domain& domain);
 
// Returns the sum of smallest k values in the domain.
int64_t SumOfKMinValueInDomain(const Domain& domain, int k);
 
// Returns the sum of largest k values in the domain.
int64_t SumOfKMaxValueInDomain(const Domain& domain, int k);
 
// TODO(user): Templatize the class on the type of the bounds.
class SortedDisjointIntervalList {
 public:
  struct IntervalComparator {
    bool operator()(const ClosedInterval& a, const ClosedInterval& b) const {
      return a.start != b.start ? a.start < b.start : a.end < b.end;
    }
  };
  typedef std::set<ClosedInterval, IntervalComparator> IntervalSet;
  typedef IntervalSet::iterator Iterator;
  typedef IntervalSet::const_iterator ConstIterator;
 
  SortedDisjointIntervalList();
  explicit SortedDisjointIntervalList(
      const std::vector<ClosedInterval>& intervals);
 
  // TODO(user): Explain why we favored this API to the more natural
  // input std::vector<ClosedInterval> or std::vector<std::pair<int, int>>.
  SortedDisjointIntervalList(const std::vector<int64_t>& starts,
                             const std::vector<int64_t>& ends);
  SortedDisjointIntervalList(const std::vector<int>& starts,
                             const std::vector<int>& ends);
 
  SortedDisjointIntervalList BuildComplementOnInterval(int64_t start,
                                                       int64_t end);
 
  Iterator InsertInterval(int64_t start, int64_t end);
 
  Iterator GrowRightByOne(int64_t value, int64_t* newly_covered);
 
  void InsertIntervals(const std::vector<int64_t>& starts,
                       const std::vector<int64_t>& ends);
  void InsertIntervals(const std::vector<int>& starts,
                       const std::vector<int>& ends);
 
  int NumIntervals() const { return intervals_.size(); }
 
  Iterator FirstIntervalGreaterOrEqual(int64_t value) const;
  Iterator LastIntervalLessOrEqual(int64_t value) const;
 
  std::string DebugString() const;
 
  ConstIterator begin() const { return intervals_.begin(); }
  ConstIterator end() const { return intervals_.end(); }
 
  const ClosedInterval& last() const { return *intervals_.rbegin(); }
 
  void clear() { intervals_.clear(); }
  void swap(SortedDisjointIntervalList& other) {
    intervals_.swap(other.intervals_);
  }
 
 private:
  template <class T>
  void InsertAll(const std::vector<T>& starts, const std::vector<T>& ends);
 
  IntervalSet intervals_;
};
 
}  // namespace operations_research
 
#endif  // OR_TOOLS_UTIL_SORTED_INTERVAL_LIST_H_