結果
| 問題 | No.1079 まお |
| ユーザー |
 もりを
|
| 提出日時 | 2020-06-12 23:19:52 |
| 言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 11,493 bytes |
| コンパイル時間 | 3,933 ms |
| コンパイル使用メモリ | 249,020 KB |
| 実行使用メモリ | 25,524 KB |
| 最終ジャッジ日時 | 2024-06-24 06:01:13 |
| 合計ジャッジ時間 | 9,843 ms |
|
ジャッジサーバーID （参考情報） |
judge5 / judge4 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | AC | 2 ms
10,624 KB |
| testcase_01 | AC | 2 ms
5,376 KB |
| testcase_02 | AC | 2 ms
5,376 KB |
| testcase_03 | AC | 2 ms
5,376 KB |
| testcase_04 | WA | - |
| testcase_05 | WA | - |
| testcase_06 | WA | - |
| testcase_07 | WA | - |
| testcase_08 | WA | - |
| testcase_09 | WA | - |
| testcase_10 | WA | - |
| testcase_11 | WA | - |
| testcase_12 | AC | 50 ms
13,288 KB |
| testcase_13 | AC | 53 ms
14,352 KB |
| testcase_14 | AC | 95 ms
20,028 KB |
| testcase_15 | AC | 90 ms
21,352 KB |
| testcase_16 | AC | 87 ms
22,664 KB |
| testcase_17 | WA | - |
| testcase_18 | WA | - |
| testcase_19 | WA | - |
| testcase_20 | WA | - |
| testcase_21 | WA | - |
| testcase_22 | AC | 124 ms
23,344 KB |
| testcase_23 | AC | 126 ms
23,340 KB |
| testcase_24 | AC | 130 ms
23,348 KB |
| testcase_25 | AC | 140 ms
23,344 KB |
| testcase_26 | AC | 140 ms
23,348 KB |
| testcase_27 | TLE | - |
| testcase_28 | -- | - |
| testcase_29 | -- | - |
| testcase_30 | -- | - |
| testcase_31 | -- | - |
ソースコード
#pragma GCC target ("avx")
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
// #pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
#include <bits/stdc++.h>
using namespace std;
// #define int long long
// #define endl '\n'
#pragma region TEMPLATE
/* TYPE */
typedef long long ll; typedef long double ld;
typedef pair<int, int> pii; typedef pair<ll, ll> pll;
typedef vector<pii> vpii; typedef vector<pll> vpll;
typedef vector<int> vi; typedef vector<ll> vl;
typedef vector<string> vst; typedef vector<bool> vb;
typedef vector<ld> vld; typedef vector<vector<int>> vvi;
template<typename T, typename Cmp = less<>> using prique = priority_queue<T, vector<T>, Cmp>;
template<typename T> using prique_r = prique<T, greater<>>;
/* CONSTANT */
#define ln '\n'
const int INF = 1 << 30; const ll INFF = 1LL << 60; const string ALPHABET = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
const int MOD = 1e9 + 7; const int MODD = 998244353; const string alphabet = "abcdefghijklmnopqrstuvwxyz";
const double EPS = 1e-9; const ld PI = 3.14159265358979323846264338327950288;
const int dx[] = { 1, 0, -1, 0, 1, -1, -1, 1, 0 };
const int dy[] = { 0, 1, 0, -1, -1, -1, 1, 1, 0 };
/* CONTAINER */
#define PB emplace_back
#define ALL(v) (v).begin(), (v).end()
#define RALL(v) (v).rbegin(), (v).rend()
#define SORT(v) sort(ALL(v))
#define RSORT(v) sort(RALL(v))
#define LESS(x, val) (lower_bound(x.begin(), x.end(), val) - x.begin())
#define LEQ(x, val) (upper_bound(x.begin(), x.end(), val) - x.begin())
#define GREATER(x, val) (int)(x).size() - LEQ((x), (val))
#define GEQ(x, val) (int)(x).size() - LESS((x), (val))
#define UNIQUE(v) sort(ALL(v)); (v).erase(unique(ALL(v)), (v).end())
template<typename T> vector<T> make_v(size_t a) { return vector<T>(a); }
template<typename T, typename... Ts> auto make_v(size_t a, Ts... ts) { return vector<decltype(make_v<T>(ts...))>(a, make_v<T>(ts...)); }
template<typename T, typename U, typename... V> enable_if_t<is_same<T, U>::value != 0> fill_v(U &u, const V... v) { u = U(v...); }
template<typename T, typename U, typename... V> enable_if_t<is_same<T, U>::value == 0> fill_v(U &u, const V... v) { for (auto &e : u) fill_v<T>(e, v...); }
/* LOOP */
#define _overload3(_1, _2, _3, name, ...) name
#define _REP(i, n) REPI(i, 0, n)
#define REPI(i, a, b) for (ll i = (ll)a; i < (ll)b; ++i)
#define REP(...) _overload3(__VA_ARGS__, REPI, _REP,)(__VA_ARGS__)
#define _RREP(i, n) RREPI(i, n, 0)
#define RREPI(i, a, b) for (ll i = (ll)a; i >= (ll)b; --i)
#define RREP(...) _overload3(__VA_ARGS__, RREPI, _RREP,)(__VA_ARGS__)
#define EACH(e, v) for (auto& e : v)
#define PERM(v) sort(ALL(v)); for (bool c##p = true; c##p; c##p = next_permutation(ALL(v)))
/* INPUT */
template<typename T> void SSS(T& t) { cin >> t; }
template<typename Head, typename... Tail> void SSS(Head&& head, Tail&&... tail) { cin >> head; SSS(tail...); }
#define SS(T, ...) T __VA_ARGS__; SSS(__VA_ARGS__);
#define SV(T, v, n) vector<T> v(n); for (auto& i : v) cin >> i;
#define SVV(T, v, n, m) vector<vector<T>> v(n, vector<T>(m)); for (auto& r : v) for (auto& i : r) cin >> i;
/* OUTPUT */
// Yes / No
inline int YES(bool x) { cout << (x ? "YES" : "NO") << endl; return 0; }
inline int Yes(bool x) { cout << (x ? "Yes" : "No") << endl; return 0; }
inline int yes(bool x) { cout << (x ? "yes" : "no") << endl; return 0; }
inline int yES(bool x) { cout << (x ? "yES" : "nO") << endl; return 0; }
inline int Yay(bool x) { cout << (x ? "Yay!" : ":(") << endl; return 0; }
// PROTOTYPE DECLARATION
template<typename T, typename U> ostream &operator<<(ostream &os, const pair<T, U> &j);
template<typename... T> ostream &operator<<(ostream &os, const tuple<T...> &t);
template<class C, enable_if_t<!is_same<C, string>::value, decltype(declval<const C &>().begin(), nullptr)> = nullptr> ostream& operator<<(ostream &os, const C &c);
template<typename T> ostream &operator<<(ostream &os, const stack<T> &j);
template<typename T> ostream &operator<<(ostream &os, const queue<T> &j);
template<typename T, typename C, typename Cmp> ostream &operator<<(ostream &os, const priority_queue<T, C, Cmp> &j);
// IMPLEMENTATION
template<typename T, typename U> ostream &operator<<(ostream &os, const pair<T, U> &j) { return os << '{' << j.first << ", " << j.second << '}'; }
template<size_t num = 0, typename... T> enable_if_t<num == sizeof...(T)> PRINT_TUPLE(ostream &os, const tuple<T...> &t) {}
template<size_t num = 0, typename... T> enable_if_t<num < sizeof...(T)> PRINT_TUPLE(ostream &os, const tuple<T...> &t) { os << get<num>(t); if (num + 1 < sizeof...(T)) os << ", "; PRINT_TUPLE<num + 1>(os, t); }
template<typename... T> ostream &operator<<(ostream &os, const tuple<T...> &t) { PRINT_TUPLE(os << '{', t); return os << '}'; }
template<class C, enable_if_t<!is_same<C, string>::value, decltype(declval<const C &>().begin(), nullptr)>> ostream& operator<<(ostream &os, const C &c) { os << '{'; for (auto it = begin(c); it != end(c); it++) { if (begin(c) != it) os << ", "; os << *it; } return os << '}'; }
template<typename T> ostream &operator<<(ostream &os, const stack<T> &j) { deque<T> d; for (auto c = j; !c.empty(); c.pop()) d.push_front(c.top()); return os << d; }
template<typename T> ostream &operator<<(ostream &os, const queue<T> &j) { deque<T> d; for (auto c = j; !c.empty(); c.pop()) d.push_back(c.front()); return os << d; }
template<typename T, typename C, typename Cmp> ostream &operator<<(ostream &os, const priority_queue<T, C, Cmp> &j) { deque<T> d; for (auto c = j; !c.empty(); c.pop()) d.push_front(c.top()); return os << d; }
// OUTPUT FUNCTION
template<typename T> int PV(T &v) { int sz = v.size(); for (int i = 0; i < sz; ++i) cout << v[i] << " \n"[i == sz - 1]; return 0; }
inline int print() { cout << endl; return 0; }
template<typename Head> int print(Head&& head){ cout << head; return print(); }
template<typename Head, typename... Tail> int print(Head&& head, Tail&&... tail) { cout << head << " "; return print(forward<Tail>(tail)...); }
#ifdef LOCAL
inline void dump() { cerr << endl; }
template<typename Head> void dump(Head&& head) { cerr << head; dump(); }
template<typename Head, typename... Tail> void dump(Head&& head, Tail&&... tail) { cerr << head << ", "; dump(forward<Tail>(tail)...); }
#define debug(...) do {cerr << __LINE__ << ":\t" << #__VA_ARGS__ << " = "; dump(__VA_ARGS__); } while (false)
#else
#define dump(...)
#define debug(...)
#endif
/* OTHER */
#define fi first
#define se second
#define MP make_pair
#define MT make_tuple
#define tmax(x, y, z) max((x), max((y), (z)))
#define tmin(x, y, z) min((x), min((y), (z)))
template<typename T, typename A, typename B> inline bool between(T x, A a, B b) { return ((a <= x) && (x < b)); }
template<typename A, typename B> inline bool chmax(A &a, const B &b) { if (a < b) { a = b; return true; } return false; }
template<typename A, typename B> inline bool chmin(A &a, const B &b) { if (a > b) { a = b; return true; } return false; }
inline ll gcd(ll a, ll b) { return b ? gcd(b, a % b) : a; }
inline ll lcm(ll a, ll b) { return a / gcd(a, b) * b; }
inline ll POW(ll a, ll b) { ll r = 1; do { if (b & 1) r *= a; a *= a; } while (b >>= 1); return r; }
struct abracadabra {
abracadabra() {
cin.tie(nullptr); ios::sync_with_stdio(false);
cout << fixed << setprecision(20);
cerr << fixed << setprecision(5);
};
} ABRACADABRA;
#pragma endregion
#pragma region datastructure sparse table
/**
* @brief Sparse Table
* @docs docs/datastructure/sparsetable.md
*/
template<typename T> struct SparseTable {
vector<vector<T>> st;
using F = function<T(T, T)>;
const F f;
SparseTable() {}
SparseTable(const vector<T> &v, const F f) : f(f) {
int b = 0, sz = v.size();
while ((1 << b) <= sz) ++b;
st.assign(b, vector<T>(1 << b));
for (int i = 0; i < sz; ++i) st[0][i] = v[i];
for (int i = 1; i < b; ++i) {
for (int j = 0; j + (1 << i) <= (1 << b); ++j) {
st[i][j] = f(st[i - 1][j], st[i - 1][j + (1 << (i - 1))]);
}
}
}
T query(const int l, const int r) const {
int b = 31 - __builtin_clz(r - l);
return f(st[b][l], st[b][r - (1 << b)]);
}
};
#pragma endregion
#pragma region datastructure cumulativesum1D
/**
* @brief 1次元累積和
* @docs docs/datastructure/cumulativesum/cumulativesum.md
*/
template<typename T> struct CumulativeSum {
int sz;
vector<T> data;
CumulativeSum() {}
CumulativeSum(const vector<T> &v, const T margin = 0)
: sz(v.size()), data(1, margin) {
for (int i = 0; i < sz; ++i) data.emplace_back(data[i] + v[i]);
}
T query(const int &l, const int &r) const {
if (l >= r) return 0;
return data[min<ll>(r, sz)] - data[max<ll>(l, 0)];
}
T operator[](const int &k) const {
return query(k, k + 1);
}
void print() {
for (int i = 0; i <= sz; ++i) cerr << data[i] << ' ';
cerr << endl;
}
};
#pragma endregion
map<int, vector<ll>> mp;
signed main() {
SS(int, N, K);
SV(int, A, N);
SparseTable<int> st(A, [](int a, int b){ return min(a, b); });
REP(i, N) mp[A[i]].emplace_back(i);
map<int, CumulativeSum<ll>> acc1, acc2;
EACH(e, mp) {
int num = e.first;
auto vv = e.second; // idx
vector<ll> v; // 階差
int sz = vv.size();
if (sz == 1) continue;
REP(i, sz - 1) v.emplace_back(vv[i + 1] - vv[i]);
// debug(v);
acc1[num] = CumulativeSum(v);
vector<ll> v2;
v2.emplace_back(v.front());
REP(i, 1, (int)v.size()) v2.emplace_back(v2.back() + v[i]);
// if (num == 8) print(v2);
acc2[num] = CumulativeSum(v2);
// acc1[num].print();
// acc2[num].print();
}
// [l, r]がvalidか
auto check = [&](int l, int r) -> bool {
assert(A[l] + A[r] == K);
int mn = st.query(l, r + 1);
auto v = mp[mn];
int cnt = LEQ(v, r) - LESS(v, l);
return cnt == 1;
};
ll res = 0;
REP(i, N) {
// if (i != 5) continue;
int num_l = A[i];
int num_r = K - A[i];
if (mp.count(num_r) == 0) continue;
auto& v_r = mp[num_r];
auto itr = lower_bound(v_r.begin(), v_r.end(), i);
if (itr == v_r.end()) continue;
int idx = itr - v_r.begin();
int frm = *itr; // 最左のA内のindex
int l = idx; // v_r内のindex
if (not check(i, v_r[l])) continue;
int r = v_r.size(); // v_rの外
while (r - l > 1) {
int m = (l + r) >> 1;
if (check(i, v_r[m])) l = m;
else r = m;
}
res += (l - idx + 1) * (frm - i + 1);
// debug(i, res, l - idx + 1);
int sz = v_r.size();
if (l == idx or sz == 1) continue;
auto& V = acc2[num_r].data;
res += V[l] - V[idx];
// debug(l, idx, acc1[num_r].query(0, idx));
// res += acc2[num_r].query(idx, sz);
// res -= acc2[num_r].query(l, sz);
res -= acc1[num_r].query(0, idx) * (l - idx);
// res += l - idx + 1;
// debug(l - idx + 1, l, idx);
// acc2[num_r].print();
// debug(v_r);
// break;
}
print(res);
}