#537154 (C++17) No.1188 レベルX門松列

提出ソース

結果

問題	No.1188 レベルX門松列
ユーザー	first_vil
提出日時	2020-08-22 14:01:24
言語	C++17 (gcc 13.2.0 + boost 1.83.0)
結果	AC
実行時間	111 ms / 2,000 ms
コード長	6,271 bytes
コンパイル時間	2,926 ms
コンパイル使用メモリ	226,732 KB
実行使用メモリ	10,648 KB
最終ジャッジ日時	2023-08-05 11:11:35
合計ジャッジ時間	5,408 ms
ジャッジサーバーID （参考情報）	judge14 / judge13

このコードへのチャレンジ（β）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	89 ms 9,688 KB
testcase_01	AC	89 ms 8,072 KB
testcase_02	AC	78 ms 8,084 KB
testcase_03	AC	108 ms 8,352 KB
testcase_04	AC	86 ms 8,368 KB
testcase_05	AC	1 ms 4,376 KB
testcase_06	AC	85 ms 10,648 KB
testcase_07	AC	93 ms 8,352 KB
testcase_08	AC	94 ms 8,368 KB
testcase_09	AC	2 ms 4,376 KB
testcase_10	AC	2 ms 4,376 KB
testcase_11	AC	8 ms 4,380 KB
testcase_12	AC	9 ms 4,376 KB
testcase_13	AC	9 ms 4,380 KB
testcase_14	AC	62 ms 5,960 KB
testcase_15	AC	111 ms 8,308 KB
testcase_16	AC	3 ms 4,380 KB
testcase_17	AC	84 ms 8,016 KB
testcase_18	AC	1 ms 4,376 KB
testcase_19	AC	78 ms 8,004 KB
testcase_20	AC	1 ms 4,380 KB
testcase_21	AC	1 ms 4,380 KB
testcase_22	AC	2 ms 4,380 KB
testcase_23	AC	2 ms 4,380 KB

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

ソースコード

raw source code

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ld = long double;
using VI = vector<int>;
using VL = vector<ll>;
using VS = vector<string>;
template<class T> using PQ = priority_queue<T, vector<T>, greater<T>>;
#define FOR(i,a,n) for(int i=(a);i<(n);++i)
#define eFOR(i,a,n) for(int i=(a);i<=(n);++i)
#define rFOR(i,a,n) for(int i=(n)-1;i>=(a);--i)
#define erFOR(i,a,n) for(int i=(n);i>=(a);--i)
#define each(i, a) for(auto &i : a)
#define SORT(a) sort(a.begin(),a.end())
#define rSORT(a) sort(a.rbegin(),a.rend())
#define fSORT(a,f) sort(a.begin(),a.end(),f)
#define all(a) a.begin(),a.end()
#define out(y,x) ((y)<0||h<=(y)||(x)<0||w<=(x))
#define tp(a,i) get<i>(a)
#define line cout << "-----------------------------\n" 
#define ENDL(i,n) ((i) == (n) - 1 ? "\n" : " ")
#define stop system("pause")
constexpr ll INF = 1000000000;
constexpr ll LLINF = 1LL << 60;
constexpr ll mod = 1000000007;
constexpr ll MOD = 998244353;
constexpr ld eps = 1e-10;
constexpr ld pi = 3.1415926535897932;
template<class T>inline bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; }return false; }
template<class T>inline bool chmin(T& a, const T& b) { if (a > b) { a = b; return true; }return false; }
inline void init() { cin.tie(nullptr); cout.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(15); }
template<class T>inline istream& operator>>(istream& is, vector<T>& v) { for (auto& a : v)is >> a; return is; }
template<class T>inline istream& operator>>(istream& is, deque<T>& v) { for (auto& a : v)is >> a; return is; }
template<class T, class U>inline istream& operator>>(istream& is, pair<T, U>& p) { is >> p.first >> p.second; return is; }
template<class T>inline vector<T> vec(size_t a) { return vector<T>(a); }
template<class T>inline vector<T> defvec(T def, size_t a) { return vector<T>(a, def); }
template<class T, class... Ts>inline auto vec(size_t a, Ts... ts) { return vector<decltype(vec<T>(ts...))>(a, vec<T>(ts...)); }
template<class T, class... Ts>inline auto defvec(T def, size_t a, Ts... ts) { return vector<decltype(defvec<T>(def, ts...))>(a, defvec<T>(def, ts...)); }
template<class T>inline void print(const T& a) { cout << a << "\n"; }
template<class T, class... Ts>inline void print(const T& a, const Ts&... ts) { cout << a << " "; print(ts...); }
template<class T>inline void print(const vector<T>& v) { for (int i = 0; i < v.size(); ++i)cout << v[i] << (i == v.size() - 1 ? "\n" : " "); }
template<class T>inline void print(const vector<vector<T>>& v) { for (auto& a : v)print(a); }
inline string reversed(const string& s) { string t = s; reverse(all(t)); return t; }

template<class T> class segtree {
	using F1 = function<T(T, T)>;
	using F2 = function<void(T&, T)>;
	using F3 = function<bool(T, T)>;
	T unit;
	F1 f1;
	F2 f2;
	F3 f3; bool s3 = false;

	int n, real_n;
	vector<T> dat;
	vector<pair<int, int>> range;
public:
	segtree() {}
	segtree(const int& _n, const F1& _f1, const F2& _f2, const T _unit)
		: real_n(_n), f1(_f1), f2(_f2), unit(_unit) {
		init1();
	}
	segtree(const int& _n, const F1& _f1, const F2& _f2, const F3& _f3, const T _unit)
		: real_n(_n), f1(_f1), f2(_f2), f3(_f3), unit(_unit), s3(true) {
		init1(), init2();
	}
	segtree(const vector<T>& _dat, const F1& _f1, const F2& _f2, const T _unit)
		: real_n(_dat.size()), f1(_f1), f2(_f2), unit(_unit) {
		init1();
		FOR(i, 0, real_n)dat[i + n] = _dat[i];
		init2(true);
	}
	segtree(const vector<T>& _dat, const F1& _f1, const F2& _f2, const F3& _f3, const T _unit)
		: real_n(_dat.size()), f1(_f1), f2(_f2), f3(_f3), unit(_unit), s3(true) {
		init1();
		FOR(i, 0, real_n)dat[i + n] = _dat[i];
		init2(true);
	}
	inline void init1() {
		n = 1;
		while (n < real_n)n <<= 1;
		dat.assign(n << 1, unit);
		if (s3)range.assign(n << 1, { 0,0 });
	}
	inline void init2(bool with_array = false) {
		if (s3)FOR(i, 0, n)range[n + i] = make_pair(i, i + 1);
		rFOR(i, 1, n) {
			if (with_array)dat[i] = f1(dat[i << 1], dat[i << 1 | 1]);
			if (s3)range[i] = make_pair(range[i << 1].first, range[i << 1 | 1].second);
		}
	}
	inline void update(int i, T a) {
		i += n;
		f2(dat[i], a);
		while (1 < i) {
			i >>= 1;
			dat[i] = f1(dat[i << 1], dat[i << 1 | 1]);
		}
	}
	inline T value(int l, int r) {
		T ret = unit;
		for (l += n, r += n; l < r; l >>= 1, r >>= 1) {
			if (l & 1)ret = f1(ret, dat[l++]);
			if (r & 1)ret = f1(ret, dat[--r]);
		}
		return ret;
	}
	inline int binary_search(T a) {
		assert(s3);
		if (!f3(dat[1], a))return real_n;
		int idx = 2;
		T cur = unit;
		for (; idx < n << 1; idx <<= 1) {
			if (!f3(f1(cur, dat[idx]), a)) {
				cur = f1(cur, dat[idx++]);
			}
		}
		return min((idx >> 1) - n, real_n);
	}
	inline int binary_search(int l, int r, T a) {
		assert(s3);
		T cur = unit;
		int ret = l;
		for (int idx = n + l; idx < n << 1 && ret < r;) {
			if (range[idx].second <= r && !f3(f1(cur, dat[idx]), a)) {
				cur = f1(cur, dat[idx]);
				ret = range[idx++].second;
				if (!(idx & 1))idx >>= 1;
			}
			else idx <<= 1;
		}
		return ret;
	}
	inline T operator[](int i) { return dat[i + n]; }
};

int main() {
    init();

    int n; cin >> n;
    VI a(n); cin >> a;

	segtree<int> lin(n,
		[](int x, int y) {return max(x, y); },
		[](int& x, int y) {chmax(x, y); }, 0),
		lde = lin, rin = lin, rde = lin;
	queue<tuple<char, int, int>> wait;
	vector<pair<int, int>> idx(n);
	FOR(i, 0, n)idx[i] = make_pair(a[i], i);
	SORT(idx);
	FOR(i, 0, n) {
		wait.emplace('L', idx[i].second, lin.value(0, idx[i].second) + 1);
		wait.emplace('R', idx[i].second, rin.value(idx[i].second, n) + 1);
		if (i == n - 1 || idx[i].first != idx[i + 1].first) {
			while (!wait.empty()) {
				auto [c, j, v] = wait.front();
				wait.pop();
				if (c == 'L')lin.update(j, v);
				else rin.update(j, v);
			}
		}
	}
	rSORT(idx);
	FOR(i, 0, n) {
		wait.emplace('L', idx[i].second, lde.value(0, idx[i].second) + 1);
		wait.emplace('R', idx[i].second, rde.value(idx[i].second, n) + 1);
		if (i == n - 1 || idx[i].first != idx[i + 1].first) {
			while (!wait.empty()) {
				auto [c, j, v] = wait.front();
				wait.pop();
				if (c == 'L')lde.update(j, v);
				else rde.update(j, v);
			}
		}
	}

	int ans = 0;
	FOR(i, 0, n) {
		chmax(ans, min(lin[i], rin[i]) - 1);
		chmax(ans, min(lde[i], rde[i]) - 1);
	}
	print(ans);

    return 0;
}

yukicoder

結果

テストケース

ソースコード