結果
問題 | No.1079 まお |
ユーザー |
👑 ![]() |
提出日時 | 2020-06-12 22:57:28 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 1,108 ms / 2,000 ms |
コード長 | 3,794 bytes |
コンパイル時間 | 2,482 ms |
コンパイル使用メモリ | 220,652 KB |
最終ジャッジ日時 | 2025-01-11 02:53:23 |
ジャッジサーバーID (参考情報) |
judge3 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 2 |
other | AC * 30 |
ソースコード
//#define _GLIBCXX_DEBUG#include<bits/stdc++.h>using namespace std;#define endl '\n'#define lfs cout<<fixed<<setprecision(10)#define ALL(a) (a).begin(),(a).end()#define ALLR(a) (a).rbegin(),(a).rend()#define spa << " " <<#define fi first#define se second#define MP make_pair#define MT make_tuple#define PB push_back#define EB emplace_back#define rep(i,n,m) for(ll i = (n); i < (ll)(m); i++)#define rrep(i,n,m) for(ll i = (ll)(m) - 1; i >= (ll)(n); i--)using ll = long long;using ld = long double;const ll MOD1 = 1e9+7;const ll MOD9 = 998244353;const ll INF = 1e18;using P = pair<ll, ll>;template<typename T1, typename T2>bool chmin(T1 &a,T2 b){if(a>b){a=b;return true;}else return false;}template<typename T1, typename T2>bool chmax(T1 &a,T2 b){if(a<b){a=b;return true;}else return false;}ll median(ll a,ll b, ll c){return a+b+c-max({a,b,c})-min({a,b,c});}void ans1(bool x){if(x) cout<<"Yes"<<endl;else cout<<"No"<<endl;}void ans2(bool x){if(x) cout<<"YES"<<endl;else cout<<"NO"<<endl;}void ans3(bool x){if(x) cout<<"Yay!"<<endl;else cout<<":("<<endl;}template<typename T1,typename T2>void ans(bool x,T1 y,T2 z){if(x)cout<<y<<endl;else cout<<z<<endl;}template<typename T>void debug(vector<vector<T>>&v,ll h,ll w){for(ll i=0;i<h;i++){cout<<v[i][0];for(ll j=1;j<w;j++)cout spa v[i][j];cout<<endl;}};void debug(vector<string>&v,ll h,ll w){for(ll i=0;i<h;i++){for(ll j=0;j<w;j++)cout<<v[i][j];cout<<endl;}};template<typename T>void debug(vector<T>&v,ll n){if(n!=0)cout<<v[0];for(ll i=1;i<n;i++)cout spa v[i];cout<<endl;};template<typename T>vector<vector<T>>vec(ll x, ll y, T w){vector<vector<T>>v(x,vector<T>(y,w));return v;}ll gcd(ll x,ll y){ll r;while(y!=0&&(r=x%y)!=0){x=y;y=r;}return y==0?x:y;}vector<ll>dx={1,-1,0,0,1,1,-1,-1};vector<ll>dy={0,0,1,-1,1,-1,1,-1};template<typename T>vector<T> make_v(size_t a,T b){return vector<T>(a,b);}template<typename... Ts>auto make_v(size_t a,Ts... ts){return vector<decltype(make_v(ts...))>(a,make_v(ts...));}template<typename T1, typename T2>ostream &operator<<(ostream &os, const pair<T1, T2>&p){return os << p.first << " " << p.second;}//mt19937 mt(chrono::steady_clock::now().time_since_epoch().count());ll ret=0;void solve(ll l,ll r,ll k,vector<ll>&a){if(r-l==1){if(a[l]*2==k)ret++;return;}ll m=(l+r)/2;map<ll,vector<ll>>mp;map<ll,vector<P>>cum;map<ll,vector<P>>cum2;P mi=MP(INF,INF);rrep(i,l,m){if(mi.fi>a[i])mi=MP(a[i],1);else if(mi.fi==a[i])mi.se++;mp[a[i]].EB(mi.fi);if(!cum.count(a[i]))cum[a[i]].EB(0,0);if(!cum2.count(a[i]))cum2[a[i]].EB(0,0);auto k=cum[a[i]].back();cum[a[i]].EB(k.fi+m-i,k.se+1);k=cum2[a[i]].back();cum2[a[i]].EB(k.fi+(m-i)*(mi.se==1),k.se+(mi.se==1));}/*for(auto z:cum2){cout<<z.fi spa z.se.size()<<endl;debug(z.se,z.se.size());}*/mi=MP(INF,INF);rep(i,m,r){if(mi.fi>a[i])mi=MP(a[i],1);else if(mi.fi==a[i])mi.se++;//cout<<i spa mi spa l spa r spa k-a[i] spa mp.count(k-a[i])<<endl;if(!mp.count(k-a[i]))continue;ll idx=lower_bound(ALL(mp[k-a[i]]),mi.fi,greater<ll>())-mp[k-a[i]].begin();//cout<<a[i] spa l spa m spa r spa i spa mi spa idx spa ret<<endl;if(mi.se==1)ret+=cum[k-a[i]][idx].fi+(i-m+1)*cum[k-a[i]][idx].se;idx=upper_bound(ALL(mp[k-a[i]]),mi.fi,greater<ll>())-mp[k-a[i]].begin();auto p1=cum2[k-a[i]][(ll)mp[k-a[i]].size()];auto p2=cum2[k-a[i]][idx];//cout<<ret spa p1 spa p2<<endl;ret+=p1.fi-p2.fi+(p1.se-p2.se)*(i-m+1);}solve(l,m,k,a);solve(m,r,k,a);}int main(){cin.tie(nullptr);ios_base::sync_with_stdio(false);ll res=0,buf=0;bool judge = true;ll n,k;cin>>n>>k;vector<ll>a(n);rep(i,0,n)cin>>a[i];solve(0,n,k,a);cout<<ret<<endl;return 0;}