suffix_array.hpp

Go to the documentation of this file.

// Andrew Naplavkov
 
#ifndef STEP20_SUFFIX_ARRAY_HPP
#define STEP20_SUFFIX_ARRAY_HPP
 
#include "to.hpp"
#include <functional>
#include <span>
#include <string>
 
namespace step20 {
 
 
template <class Char,
          std::unsigned_integral Size = std::size_t,
          class Compare = std::less<>>
class suffix_array {
public:
    using value_type = Char;
    using size_type = Size;
    const Char* data() const { return str_.data(); }
    Size size() const { return str_.size(); }
    Size operator[](Size n) const { return pos_[n]; }  
    const Compare& comp() const { return comp_; }
    virtual ~suffix_array() = default;
 
    explicit suffix_array(std::basic_string<Char> str, const Compare& comp = {})
        : str_(std::move(str)), pos_(size()), comp_(comp)
    {
        auto sufs = std::vector<suffix>(size());
        auto gen = [i = Size{}]() mutable { return suffix{i++, {}}; };
        auto ch = [&](auto& suf) { return str_[suf.pos]; };
        auto comp_ch = [&](auto& l, auto& r) { return comp_(ch(l), ch(r)); };
        auto comp_rank = [](auto& l, auto& r) { return l.rank < r.rank; };
        std::ranges::generate(sufs, gen);
        fill_first_rank(sufs, comp_ch);
        for (Size offset = 1; !sorted(sufs); offset *= 2) {
            fill_second_rank(sufs, offset);
            fill_first_rank(sufs, comp_rank);
        }
        std::ranges::transform(sufs, pos_.begin(), &suffix::pos);
    }
 
    template <std::ranges::input_range R>
    explicit suffix_array(R&& r, const Compare& comp = {})
        : suffix_array(to<std::basic_string>(std::forward<R>(r)), comp)
    {
    }
 
 
    std::span<const Size> find(std::ranges::input_range auto&& str) const
    {
        auto result = std::span{pos_};
        auto first = std::ranges::begin(str);
        auto last = std::ranges::end(str);
        auto i = Size{};
        auto ch = [&](Size n) { return n < str_.size() ? str_[n] : *first; };
        auto comp = [&](Size l, Size r) { return comp_(ch(l + i), ch(r + i)); };
        for (; first != last; ++first, ++i)
            result = std::ranges::equal_range(result, size(), comp);
        return result;
    }
 
private:
    std::basic_string<Char> str_;
    std::vector<Size> pos_;
    Compare comp_;
 
    struct suffix {
        Size pos;
        std::pair<Size, Size> rank;
 
        friend void fill_first_rank(std::vector<suffix>& sufs, auto comp)
        {
            std::ranges::sort(sufs, comp);
            Size acc = 1;
            for (Size i = 1; i < sufs.size(); ++i) {
                bool diff = comp(sufs[i - 1], sufs[i]);
                sufs[i - 1].rank.first = acc;
                acc += diff;
            }
            if (!sufs.empty())
                sufs.back().rank.first = acc;
        }
 
        friend void fill_second_rank(std::vector<suffix>& sufs, Size offset)
        {
            auto ranks = std::vector<Size>(sufs.size());
            auto at = [&](Size n) { return n < ranks.size() ? ranks[n] : 0; };
            for (auto& suf : sufs)
                ranks[suf.pos] = suf.rank.first;
            for (auto& suf : sufs)
                suf.rank.second = at(suf.pos + offset);
        }
 
        friend bool sorted(const std::vector<suffix>& sufs)
        {
            return sufs.empty() || sufs.back().rank.first == sufs.size();
        }
    };
};
 
template <std::ranges::input_range R, class Compare = std::less<>>
suffix_array(R, Compare = {})
    -> suffix_array<std::ranges::range_value_t<R>, std::size_t, Compare>;
 
 
template <class Char,
          std::unsigned_integral Size = std::size_t,
          class Compare = std::less<>>
class enhanced_suffix_array : public suffix_array<Char, Size, Compare> {
    std::vector<Size> lcp_;
 
public:
    std::span<const Size> lcp_array() const { return lcp_; }
 
    explicit enhanced_suffix_array(suffix_array<Char, Size, Compare>&& arr)
        : suffix_array<Char, Size, Compare>(std::move(arr)), lcp_(this->size())
    {
        const auto& me = *this;
        auto inv = std::vector<Size>(me.size());
        for (Size i = 0; i < me.size(); ++i)
            inv[me[i]] = i;
        auto first = me.data();
        auto last = first + me.size();
        auto eq = equivalence_fn(me.comp());
        for (Size i = 0, lcp = 0; i < me.size(); ++i, lcp -= !!lcp) {
            Size cur = inv[i];
            if (Size next = cur + 1; next < me.size()) {
                auto diff = std::mismatch(
                    first + i + lcp, last, first + me[next] + lcp, last, eq);
                lcp = diff.first - (first + i);
            }
            else
                lcp = 0;
            lcp_[cur] = lcp;
        }
    }
 
    template <std::ranges::input_range R>
    explicit enhanced_suffix_array(R&& r, const Compare& comp = {})
        : enhanced_suffix_array(
              suffix_array<Char, Size, Compare>(std::forward<R>(r), comp))
    {
    }
};
 
template <std::ranges::input_range R, class Compare = std::less<>>
enhanced_suffix_array(R, Compare = {})
    -> enhanced_suffix_array<std::ranges::range_value_t<R>,
                             std::size_t,
                             Compare>;
 
}  // namespace step20
 
#endif  // STEP20_SUFFIX_ARRAY_HPP