#953752 (C++17) No.2697 Range LIS Query

提出ソース

結果

問題	No.2697 Range LIS Query
ユーザー	KowerKoint2010
提出日時	2024-02-23 10:48:51
言語	C++17 (gcc 12.3.0 + boost 1.83.0)
結果	TLE
実行時間	-
コード長	7,718 bytes
コンパイル時間	2,603 ms
コンパイル使用メモリ	224,048 KB
実行使用メモリ	19,448 KB
最終ジャッジ日時	2024-09-29 05:00:16
合計ジャッジ時間	14,753 ms
ジャッジサーバーID （参考情報）	judge3 / judge5

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 6,820 KB
testcase_01	AC	2 ms 6,820 KB
testcase_02	AC	2 ms 6,820 KB
testcase_03	AC	4 ms 6,816 KB
testcase_04	AC	4 ms 6,820 KB
testcase_05	AC	5 ms 6,816 KB
testcase_06	AC	95 ms 9,728 KB
testcase_07	AC	119 ms 12,628 KB
testcase_08	AC	96 ms 9,856 KB
testcase_09	TLE	-
testcase_10	--	-
testcase_11	--	-
testcase_12	--	-
testcase_13	--	-
testcase_14	--	-
testcase_15	--	-
testcase_16	--	-
testcase_17	--	-

権限があれば一括ダウンロードができます

ソースコード

raw source code

#line 2 "/home/kowerkoint/workspace/CompPro-Make/library/KowerKoint/stl-expansion.hpp"
#include <bits/stdc++.h>

template <typename T1, typename T2>
std::istream& operator>>(std::istream& is, std::pair<T1, T2>& p) {
    is >> p.first >> p.second;
    return is;
}
template <typename T, size_t N>
std::istream& operator>>(std::istream& is, std::array<T, N>& a) {
    for (size_t i = 0; i < N; ++i) {
        is >> a[i];
    }
    return is;
}
template <typename T>
std::istream& operator>>(std::istream& is, std::vector<T>& v) {
    for (auto& e : v) is >> e;
    return is;
}
template <typename T1, typename T2>
std::ostream& operator<<(std::ostream& os, const std::pair<T1, T2>& p) {
    os << p.first << " " << p.second;
    return os;
}
template <typename T, size_t N>
std::ostream& operator<<(std::ostream& os, const std::array<T, N>& a) {
    for (size_t i = 0; i < N; ++i) {
        os << a[i] << (i + 1 == a.size() ? "" : " ");
    }
    return os;
}
template <typename T>
std::ostream& operator<<(std::ostream& os, const std::vector<T>& v) {
    for (size_t i = 0; i < v.size(); ++i) {
        os << v[i] << (i + 1 == v.size() ? "" : " ");
    }
    return os;
}
#line 3 "/home/kowerkoint/workspace/CompPro-Make/library/KowerKoint/base.hpp"
using namespace std;

#define REP(i, n) for(int i = 0; i < (int)(n); i++)
#define FOR(i, a, b) for(ll i = a; i < (ll)(b); i++)
#define ALL(a) (a).begin(),(a).end()
#define RALL(a) (a).rbegin(),(a).rend()
#define END(...) { print(__VA_ARGS__); return; }

using VI = vector<int>;
using VVI = vector<VI>;
using VVVI = vector<VVI>;
using ll = long long;
using VL = vector<ll>;
using VVL = vector<VL>;
using VVVL = vector<VVL>;
using ull = unsigned long long;
using VUL = vector<ull>;
using VVUL = vector<VUL>;
using VVVUL = vector<VVUL>;
using VD = vector<double>;
using VVD = vector<VD>;
using VVVD = vector<VVD>;
using VS = vector<string>;
using VVS = vector<VS>;
using VVVS = vector<VVS>;
using VC = vector<char>;
using VVC = vector<VC>;
using VVVC = vector<VVC>;
using P = pair<int, int>;
using VP = vector<P>;
using VVP = vector<VP>;
using VVVP = vector<VVP>;
using LP = pair<ll, ll>;
using VLP = vector<LP>;
using VVLP = vector<VLP>;
using VVVLP = vector<VVLP>;

template <typename T>
using PQ = priority_queue<T>;
template <typename T>
using GPQ = priority_queue<T, vector<T>, greater<T>>;

constexpr int INF = 1001001001;
constexpr ll LINF = 1001001001001001001ll;
constexpr int DX[] = {1, 0, -1, 0};
constexpr int DY[] = {0, 1, 0, -1};

void print() { cout << '\n'; }
template<typename T>
void print(const T &t) { cout << t << '\n'; }
template<typename Head, typename... Tail>
void print(const Head &head, const Tail &... tail) {
    cout << head << ' ';
    print(tail...);
}

#ifdef DEBUG
void dbg() { cerr << '\n'; }
template<typename T>
void dbg(const T &t) { cerr << t << '\n'; }
template<typename Head, typename... Tail>
void dbg(const Head &head, const Tail &... tail) {
    cerr << head << ' ';
    dbg(tail...);
}
#else
template<typename... Args>
void dbg(const Args &... args) {}
#endif

template<typename T>
vector<vector<T>> split(typename vector<T>::const_iterator begin, typename vector<T>::const_iterator end, T val) {
    vector<vector<T>> res;
    vector<T> cur;
    for(auto it = begin; it != end; it++) {
        if(*it == val) {
            res.push_back(cur);
            cur.clear();
        } else cur.push_back(*it);
    }
    res.push_back(cur);
    return res;
}

vector<string> split(typename string::const_iterator begin, typename string::const_iterator end, char val) {
    vector<string> res;
    string cur = "";
    for(auto it = begin; it != end; it++) {
        if(*it == val) {
            res.push_back(cur);
            cur.clear();
        } else cur.push_back(*it);
    }
    res.push_back(cur);
    return res;
}

template< typename T1, typename T2 >
inline bool chmax(T1 &a, T2 b) { return a < b && (a = b, true); }

template< typename T1, typename T2 >
inline bool chmin(T1 &a, T2 b) { return a > b && (a = b, true); }

template <typename T>
pair<VI, vector<T>> compress(const vector<T> &a) {
    int n = a.size();
    vector<T> x;
    REP(i, n) x.push_back(a[i]);
    sort(ALL(x)); x.erase(unique(ALL(x)), x.end());
    VI res(n);
    REP(i, n) res[i] = lower_bound(ALL(x), a[i]) - x.begin();
    return make_pair(res, x);
}

template <typename It>
auto rle(It begin, It end) {
    vector<pair<typename It::value_type, int>> res;
    if(begin == end) return res;
    auto pre = *begin;
    int num = 1;
    for(auto it = begin + 1; it != end; it++) {
        if(pre != *it) {
            res.emplace_back(pre, num);
            pre = *it;
            num = 1;
        } else num++;
    }
    res.emplace_back(pre, num);
    return res;
}

template <typename It>
vector<pair<typename It::value_type, int>> rle_sort(It begin, It end) {
    vector<typename It::value_type> cloned(begin, end);
    sort(ALL(cloned));
    auto e = rle(ALL(cloned));
    sort(ALL(e), [](const auto& l, const auto& r) { return l.second < r.second; });
    return e;
}

template <typename T>
pair<vector<T>, vector<T>> factorial(int n) {
    vector<T> res(n+1), rev(n+1);
    res[0] = 1;
    REP(i, n) res[i+1] = res[i] * (i+1);
    rev[n] = 1 / res[n];
    for(int i = n; i > 0; i--) {
        rev[i-1] = rev[i] * i;
    }
    return make_pair(res, rev);
}
#line 2 "main.cpp"

void solve(){
    int n; cin >> n;
    VI a(n); cin >> a;
    set<tuple<int, int, int>> a_rle; // st, ed, val
    REP(i, n) a_rle.emplace(i, i+1, a[i]);
    auto get_sub_rle = [&](int l, int r) {
        vector<tuple<int, int, int>> res;
        auto it = a_rle.lower_bound({l, 0, 0});
        if(it != a_rle.begin() && l < get<1>(*prev(it))) {
            auto p = prev(it);
            auto [pl, pr, px] = *p;
            res.emplace_back(l, min(r, pr), px);
        }
        while(it != a_rle.end() && get<1>(*it) <= r) {
            res.emplace_back(get<0>(*it), get<1>(*it), get<2>(*it));
            it++;
        }
        if(it != a_rle.end() && get<0>(*it) < r) {
            res.emplace_back(get<0>(*it), r, get<2>(*it));
        }
        return res;
    };
    int q; cin >> q;
    while(q--) {
        int t, l, r; cin >> t >> l >> r; l--;
        if(t == 1) {
            auto sub_rle = get_sub_rle(l, r);
            /* dbg("==="); */
            /* for(auto [st, ed, val] : sub_rle) { */
            /*     dbg(st, ed, val); */
            /* } */
            array<int, 4> dp{0};
            for(auto [st, ed, val] : sub_rle) {
                dp[val-1] = *max_element(dp.begin(), dp.begin() + val) + ed - st;
            }
            print(*max_element(ALL(dp)));
        } else {
            int x; cin >> x;
            auto it = a_rle.lower_bound({l, 0, 0});
            if(it != a_rle.begin() && l < get<1>(*prev(it))) {
                auto p = prev(it);
                auto [pl, pr, px] = *p;
                a_rle.erase(p);
                a_rle.emplace(pl, l, px);
                if(r < pr) a_rle.emplace(r, pr, px);
            }
            while(it != a_rle.end() && get<1>(*it) <= r) {
                it = a_rle.erase(it);
            }
            if(it != a_rle.end() && get<0>(*it) < r) {
                auto [pl, pr, px] = *it;
                a_rle.erase(it);
                a_rle.emplace(r, pr, px);
            }
            a_rle.emplace(l, r, x);
            /* dbg("==="); */
            /* for(auto [st, ed, val] : a_rle) { */
            /*     dbg(st, ed, val); */
            /* } */
        }
    }
}

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout << fixed << setprecision(10);
    int t = 1;
    // cin >> t;
    for(int case_id = 1; case_id <= t; case_id++) solve();
    return 0;
}

yukicoder

結果

テストケース

ソースコード