Submission #751717

# Submission time Handle Problem Language Result Execution time Memory
751717 2023-06-01T10:15:24 Z Zflop Sails (IOI07_sails) C++14
100 / 100
886 ms 21052 KB
#include <bits/stdc++.h>
using namespace std;
 
#include <ext/pb_ds/assoc_container.hpp>
using namespace __gnu_pbds;
 
/*
ID: 10002181
LANG: C++
TASK: lamps
*/
 
using str = string; // yay python!
using ld = long double; // or double, if TL is tight
using ll = long long;
using int64 = ll;
using db = double;
using ull = unsigned long long;
 
#define ch() getchar()
#define pc(x) putchar(x)
#define tcT template<class T
#define tcTU tcT, class U
tcT> using V = vector<T>;
tcT, size_t SZ> using AR = array<T,SZ>;
using vi = V<int>;
using vb = V<bool>;
using vpi = V<pair<int,int>>;
using vvi = V<vi>;
using vl = V<ll>;
using vd = V<ld>;
using vstr = V<str>;
 
#define all(x) begin(x), end(x)
#define sor(x) sort(all(x))
#define rev(x) reverse(all(x))
#define sz(x) (int)(x).size()
#define rall(x) x.rbegin(), x.rend()
#define AR array
 
// loops
#define F0R(i, a, b) for (int i=a; i<b;++i)
#define FOR(i, a) for (int i=0; i<a;++i)
#define FORn(i, a) for (int i=1; i<=a;++i)
#define ROF(i,a) for(int i=a-1; i >= 0;--i)
#define R0F(i,a,b) for(int i=a; i > b;--i)
#define ROFn(i,a) for(int i=a; i > 0;--i)
#define rep(a) FOR(_, a)
#define trav(i,x) for(auto& i:x)
 
// pairs
#define mp make_pair
#define pi pair <int, int>
#define f first
#define s second
 
// vectors
#define lb lower_bound
#define ub upper_bound
#define SUM(v) accumulate(all(v), 0LL)
#define MN(v) *min_element(all(v))
#define MX(v) *max_element(all(v))
#define UNIQUE(a) (a).erase(unique((a).begin(),(a).end()),(a).end())
#define eb emplace_back
#define ft front()
#define bk back()
#define ins insert
#define pf push_front
#define pb push_back
#define emt empty()
#define rsz resize
 
#define pob pop_back()
#define pof pop_front()
 
#define ts to_string
 
#define setIO()  ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL)
 
ll MOD = 1e9+7;
const ll MAX = 100000000000;
const ll INF = 1e18; // not too close to LLONG_MAX
const ld PI = acos((ld)-1);
 
#ifdef _DEBUG
    freopen("input.txt", "r", stdin);
    freopen("output.txt", "w", stdout);
#endif
 
const int dx[4] = {1,0,-1,0}, dy[4] = {0,1,0,-1}; // for every grid problem!!
 
tcT> bool ckmin(T& a, const T& b) {
	return b < a ? a = b, 1 : 0; } // set a = min(a,b)
tcT> bool ckmax(T& a, const T& b) {
	return a < b ? a = b, 1 : 0; }
 
tcTU> T fstTrue(T lo, T hi, U f) {
	hi ++; assert(lo <= hi); // assuming f is increasing
	while (lo < hi) { // find first index such that f is true
		T mid = lo+(hi-lo)/2;
		f(mid) ? hi = mid : lo = mid+1;
	}
	return lo;
}
tcTU> T lstTrue(T lo, T hi, U f) {
	lo --; assert(lo <= hi); // assuming f is decreasing
	while (lo < hi) { // find first index such that f is true
		T mid = lo+(hi-lo+1)/2;
		f(mid) ? lo = mid : hi = mid-1;
	}
	return lo;
}
 
//INPUT
#define tcTUU tcT, class ...U
tcT> void re(complex<T>& c);
tcTU> void re(pair<T,U>& p);
tcT> void re(V<T>& v);
tcT, size_t SZ> void re(AR<T,SZ>& a);
 
tcT> void re(T& x) { cin >> x; }
void re(db& d) { str t; re(t); d = stod(t); }
void re(ld& d) { str t; re(t); d = stold(t); }
tcTUU> void re(T& t, U&... u) { re(t); re(u...); }
 
tcT> void re(complex<T>& c) { T a,b; re(a,b); c = {a,b}; }
tcTU> void re(pair<T,U>& p) { re(p.f,p.s); }
tcT> void re(V<T>& x) { trav(a,x) re(a); }
tcT> void rv(int n, V<T>& x) { x.rsz(n); re(x); }
 
//OUTPUT
namespace output {
	tcT> void PS(V<T>& x) { FOR(i,sz(x)) cout << x[i] << " \n"[i + 1 == sz(x)];}
	tcT> void W(pair<T,T>& x) { cout << x.f << ' ' << x.s << '\n'; }
	tcT> void PS(bool ok) { if(ok) cout << "YES\n"; else cout << "NO\n"; }
    template<class T1, class T2> void pr(const pair<T1,T2>& x);
    tcT, size_t SZ> void pr(const array<T,SZ>& x);
    tcT> void pr(const vector<T>& x);
    tcT> void pr(const set<T>& x);
    template<class T1, class T2> void pr(const map<T1,T2>& x);
 
    tcT> void pr(const T& x) { cout << x; }
    template<class Arg, class... Args> void pr(const Arg& first, const Args&... rest) {
        pr(first); pr(rest...);
    }
 
    template<class T1, class T2> void pr(const pair<T1,T2>& x) {
        pr("{",x.f,", ",x.s,"}");
    }
    tcT> void prContain(const T& x) {
        pr("{");
        bool fst = 1; trav(a,x) pr(!fst?", ":"",a), fst = 0;
        pr("}");
    }
    tcT, size_t SZ> void pr(const array<T,SZ>& x) { prContain(x); }
    tcT> void pr(const vector<T>& x) { prContain(x); }
    tcT> void pr(const set<T>& x) { prContain(x); }
    template<class T1, class T2> void pr(const map<T1,T2>& x) { prContain(x); }
 
    void ps() { pr("\n"); } // print w/ spaces
    template<class Arg> void ps(const Arg& first) { pr(first,"\n"); }
    template<class Arg, class... Args> void ps(const Arg& first, const Args&... rest) {
        pr(first," "); ps(rest...);
    }
}
 
using namespace output;
 
template<class T,class V> void add(T& a, const V& b) {
	a = (a + b) % MOD;
	}
template<class T,class V> void sub(T& a, const V& b) {
	a = (a - b + MOD) % MOD;
	}
template<class T,class V> void mult(T& a, const V& b) {
	a = a * b % MOD;
	}
 
void setF(string fileName = "") {
	ios_base::sync_with_stdio(0); cin.tie(0);
	if((int)fileName.size()) {
		freopen((fileName+".in").c_str(), "r", stdin);
		freopen((fileName+".out").c_str(), "w", stdout);
	}
}
 
 
vb bb;
vi SIEVE(int N){ // sieve in O(N logN)
	vi pr;
	bb.rsz(N);
	bb[0] = bb[1] = true;
	vi g(N);
	F0R(i,2,N){
		if(!bb[i]){
			pr.pb(i);
			for (int j = i + i; j < N; j += i) bb[j] = true;
			}
		}
	return pr;
	}
 
 
 
template<class T> using ordset = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
 
struct edge{
	int a;
	int b;
	int w;
	};
 
ll POW(ll x, ll y,ll mod){
    ll res = 1LL;
    x %= mod;
    while(y){
        if (y & 1LL)
            res *= x;
        res %= mod;
        x = (x*x) % mod;
        y >>= 1LL;
    }
    return res;
}
 
ll fact(ll x) { if(x) return x * fact(x - 1ll); return 1; }
 
vl fc;
void F(int N,ll MOD){
	fc.rsz(N + 1);
	fc[0] = 1;
	FORn(i,N) fc[i] = fc[i - 1] * i * 1ll % MOD;
	}
 
vl inv;
void I(int N,ll MOD){
	inv.rsz(N + 1);
	inv[N] = POW(fc[N],MOD - 2,MOD);
	for (int i = N; i ;--i) inv[i - 1] = inv[i] * 1ll * i % MOD;
	}
 
ll Cr(ll N,ll K,ll mod){
	if(K < 0) return 0;
	if(K > N) return 0;
	return fc[N] * 1ll * inv[K] % mod * inv[N - K] % mod;
	}
ll Ar(ll N,ll K,ll mod){
	return fc[N] * inv[N - K] % mod;
	}
ll iv(int k,ll MOD){
  return POW(k,MOD-2,MOD);
}
 
/*
 scanf("%lld", &testInteger);
 printf("%lld", testInteger);
 
 ____ ____ ____ ____ ____  ____
||f |||l |||o |||p |||p ||||y ||
||__|||__|||__|||__|||__||||__||
|/__\|/__\|/__\|/__\|/__\||/__\|
 
**/
const int MH = (int)1e5 * 2 + 1;
template <class T> class SEG {
  private:
    int n;
    V<T>prop,val;
    vb b;
 
  public:
    void init(int N){
        n = N;
        prop = val = V<T>(6 * N + 4);
        b = vb(6 * N + 4);
        }
    
    T cum(T a,T b){
        return a + b;
        }
    void lazy(int node,int dad,int l,int r){
		b[node] = true;
		prop[node] += prop[dad];
		val[node] += prop[dad] * (r - l + 1);
		}
    void propagate(int x,int l,int r){
        if(!b[x]) return;
        b[x] = false;
        int mid = (l + r) / 2;
        lazy(2 * x,x,l,mid);
        lazy(2 * x + 1,x,mid + 1,r);
        prop[x] = 0;
        }
    void add(int l,int r,T v,int lx,int rx,int x){
        if(l <= lx && r >= rx){
            prop[x] += v;
            val[x] += v * (rx - lx + 1);
            b[x] = true;
            return;
            }
        if(l > rx || r < lx) return;
        propagate(x,lx,rx);
        int mid = (lx + rx) / 2;
        add(l,r,v,lx,mid,2 * x);
        add(l,r,v,mid + 1,rx,2 * x + 1);
        val[x] = cum(val[2 * x],val[2 * x + 1]);
        }
    
    void add(int l,int r,T v){
		if(l > r) return;
        add(l,r,v,1,n,1);
        }
    
    T get(int a,int b,int l,int r,int x){
        if(a > r || b < l) return 0;                         
        if(a <= l && r <= b) return val[x];
        propagate(x,l,r);
        int mid = (l + r) / 2;
        return cum(get(a,b,l,mid,2 * x),get(a,b,mid + 1,r,2 * x + 1));
        }
    
    T get(int a,int b){
        return get(a,b,1,n,1);
        }
    
};
void solve(){
	int N; cin >> N;
	SEG<ll> C;
	C.init(MH);
	vpi A(N); re(A);
	sor(A);
	FOR(j,N){
		int h = A[j].f;
		int c = A[j].s;
		int x = C.get(h - c + 1,h - c + 1);
		int fst_val = lstTrue(1,h,[&] (int a) { return C.get(a,a) >= x; } );
		int lst_val = lstTrue(1,fst_val,[&] (int a) { return C.get(a,a) > x; }) + 1;
		int len = fst_val - (h - c + 1) + 1;
		C.add(fst_val + 1,h,1);
		C.add(lst_val,lst_val + len - 1,1);
		}
	ll ans = 0;
	FOR(i,MH) {
		ll v = C.get(i,i);
		ans += v * (v - 1) / 2;
		}
	ps(ans);
	}
main(){
	setIO();
	solve();
	}

// look out for out of bounds arrays
// And more importantly, is y a vowel? Damian:1
// <3 :L ._. <_<
// You have no idea how high I can fly
// code is my poetry

Compilation message

sails.cpp:350:1: warning: ISO C++ forbids declaration of 'main' with no type [-Wreturn-type]
  350 | main(){
      | ^~~~
sails.cpp: In function 'void setF(std::string)':
sails.cpp:182:10: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
  182 |   freopen((fileName+".in").c_str(), "r", stdin);
      |   ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
sails.cpp:183:10: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
  183 |   freopen((fileName+".out").c_str(), "w", stdout);
      |   ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# Verdict Execution time Memory Grader output
1 Correct 34 ms 19252 KB Output is correct
2 Correct 35 ms 19156 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 38 ms 19156 KB Output is correct
2 Correct 40 ms 19156 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 44 ms 19156 KB Output is correct
2 Correct 34 ms 19156 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 37 ms 19156 KB Output is correct
2 Correct 38 ms 19264 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 44 ms 19188 KB Output is correct
2 Correct 43 ms 19276 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 98 ms 19308 KB Output is correct
2 Correct 168 ms 19780 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 160 ms 19540 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 401 ms 19668 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 720 ms 19836 KB Output is correct
2 Correct 620 ms 20744 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 629 ms 19924 KB Output is correct
2 Correct 510 ms 20720 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 886 ms 20032 KB Output is correct
2 Correct 587 ms 21052 KB Output is correct