結果

問題 No.1709 Indistinguishable by MEX
ユーザー kabipoyokabipoyo
提出日時 2021-12-02 20:43:04
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 144 ms / 2,000 ms
コード長 1,595 bytes
コンパイル時間 4,049 ms
コンパイル使用メモリ 257,752 KB
最終ジャッジ日時 2025-01-26 02:52:28
ジャッジサーバーID
（参考情報） 		judge2 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 26
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
typedef int64_t lint;
#define rep(i, n) for(int i=0; i<n; i++)
#define repx(i, l, n) for(int i=l; i<n; i++)
#define all(v) v.begin(), v.end()
#define show(x) cout << #x << ": " << x << endl;
#define list(x) cout << #x << ": " << x << "  ";
#define pb push_back
using vi = vector<lint>;
using vvi = vector<vector<lint>>;
template<class T> inline void vin(vector<T>& v) { rep(i, v.size()) cin >> v.at(i); }
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }
template<class T> inline void drop(T x) { cout << x << endl; exit(0); }
template<class T> void vout(vector<T> v) { rep(i, v.size()) { cout << v.at(i) << ' '; } cout << endl; }
constexpr lint LINF = LLONG_MAX/2;
using mint = modint998244353;
using vm = vector<mint>;

int main() {
	lint N;
	cin >> N;
	vi v(N), w(N, LINF);
	vin(v);

	lint a=0, b=0, c=0, x, y, z;
	w[0] = v[0]; w[N-1] = v[N-1];
	set<lint> s;
	s.insert(v[0]);
	s.insert(v[N-1]);
	repx(i, 1, N) {
		w[i] = w[i-1];
		if (chmin(w[i], v[i])) s.insert(v[i]);
		if (!w[i]) { c = i; break; }
	}
	repx(i, 1, N) {
		w[N-1-i] = w[N-i];
		if (chmin(w[N-1-i], v[N-1-i])) s.insert(v[N-1-i]);
		if (!w[N-1-i]) break;
	}
	w.pb(LINF);
	reverse(all(w));
	w.pb(LINF);
	reverse(all(w));
	a = c+1;
	b = c+1;
	mint ans = 1;
	rep(i, N) {
		if (s.count(i)) continue;
		while(w[a] < i) a--;
		while(w[b] < i) b++;
		ans *= b-a-1-i;
	}
	std::cout << ans.val() << '\n';
}
0