#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 using namespace std; // #define int long long // #define endl '\n' #pragma region TEMPLATE /* TYPE */ typedef long long ll; typedef long double ld; typedef pair pii; typedef pair pll; typedef vector vpii; typedef vector vpll; typedef vector vi; typedef vector vl; typedef vector vst; typedef vector vb; typedef vector vld; typedef vector> vvi; template> using prique = priority_queue, Cmp>; template using prique_r = prique>; /* 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 vector make_v(size_t a) { return vector(a); } template auto make_v(size_t a, Ts... ts) { return vector(ts...))>(a, make_v(ts...)); } template enable_if_t::value != 0> fill_v(U &u, const V... v) { u = U(v...); } template enable_if_t::value == 0> fill_v(U &u, const V... v) { for (auto &e : u) fill_v(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 void SSS(T& t) { cin >> t; } template 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 v(n); for (auto& i : v) cin >> i; #define SVV(T, v, n, m) vector> v(n, vector(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 ostream &operator<<(ostream &os, const pair &j); template ostream &operator<<(ostream &os, const tuple &t); template::value, decltype(declval().begin(), nullptr)> = nullptr> ostream& operator<<(ostream &os, const C &c); template ostream &operator<<(ostream &os, const stack &j); template ostream &operator<<(ostream &os, const queue &j); template ostream &operator<<(ostream &os, const priority_queue &j); // IMPLEMENTATION template ostream &operator<<(ostream &os, const pair &j) { return os << '{' << j.first << ", " << j.second << '}'; } template enable_if_t PRINT_TUPLE(ostream &os, const tuple &t) {} template enable_if_t PRINT_TUPLE(ostream &os, const tuple &t) { os << get(t); if (num + 1 < sizeof...(T)) os << ", "; PRINT_TUPLE(os, t); } template ostream &operator<<(ostream &os, const tuple &t) { PRINT_TUPLE(os << '{', t); return os << '}'; } template::value, decltype(declval().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 ostream &operator<<(ostream &os, const stack &j) { deque d; for (auto c = j; !c.empty(); c.pop()) d.push_front(c.top()); return os << d; } template ostream &operator<<(ostream &os, const queue &j) { deque d; for (auto c = j; !c.empty(); c.pop()) d.push_back(c.front()); return os << d; } template ostream &operator<<(ostream &os, const priority_queue &j) { deque d; for (auto c = j; !c.empty(); c.pop()) d.push_front(c.top()); return os << d; } // OUTPUT FUNCTION template 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 int print(Head&& head){ cout << head; return print(); } template int print(Head&& head, Tail&&... tail) { cout << head << " "; return print(forward(tail)...); } #ifdef LOCAL inline void dump() { cerr << endl; } template void dump(Head&& head) { cerr << head; dump(); } template void dump(Head&& head, Tail&&... tail) { cerr << head << ", "; dump(forward(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 inline bool between(T x, A a, B b) { return ((a <= x) && (x < b)); } template inline bool chmax(A &a, const B &b) { if (a < b) { a = b; return true; } return false; } template 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 struct SparseTable { vector> st; using F = function; const F f; SparseTable() {} SparseTable(const vector &v, const F f) : f(f) { int b = 0, sz = v.size(); while ((1 << b) <= sz) ++b; st.assign(b, vector(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 struct CumulativeSum { int sz; vector data; CumulativeSum() {} CumulativeSum(const vector &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(r, sz)] - data[max(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> mp; signed main() { SS(int, N, K); SV(int, A, N); SparseTable st(A, [](int a, int b){ return min(a, b); }); REP(i, N) mp[A[i]].emplace_back(i); map> acc1, acc2; EACH(e, mp) { int num = e.first; auto vv = e.second; // idx vector 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 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); }