Submission #289200

# Submission time Handle Problem Language Result Execution time Memory
289200 2020-09-02T13:01:06 Z TadijaSebez Fibonacci representations (CEOI18_fib) C++11
65 / 100
4000 ms 163204 KB
#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int,int>
#define pb push_back
const int mod=1e9+7;
const int inf=1e9+1000;
int add(int x,int y){x+=y;return x>=mod?x-mod:x;}
int mul(int x,int y){return (ll)x*y%mod;}
#define matrix vector<vector<int>>
matrix operator * (matrix a,matrix b){
	matrix ans(2,vector<int>(2,0));
	for(int i=0;i<2;++i)
		for(int j=0;j<2;++j){
			ll o=0;
			for(int k=0;k<2;++k){
				o+=(ll)a[i][k]*b[k][j];
			}
			ans[i][j]=o%mod;
		}
	return ans;
}
matrix pow(matrix x,int k){
	matrix ans(2,vector<int>(2,0));
	ans[0][0]=ans[1][1]=1;
	for(;k;k>>=1,x=x*x)if(k&1)ans=ans*x;
	return ans;
}
matrix build(int sz){
	return {{1,1},{(sz-1)/2,sz/2}};
}
const int N=100050;
matrix po[N];
int root;
matrix idx;
mt19937 rng(time(0));
/*namespace Treap{
	const int M=N*20;
	int ls[M],rs[M],tsz,pri[M];
	pii key[M];
	matrix sum[M],my[M];
	void pull(int c){sum[c]=sum[rs[c]]*my[c]*sum[ls[c]];}
	int Make(pii a,matrix x){tsz++;assert(tsz<M);my[tsz]=sum[tsz]=x;key[tsz]=a;pri[tsz]=rng();return tsz;}
	void rot_l(int&c){int a=rs[c],b=ls[a];rs[c]=b;ls[a]=c;pull(c);pull(a);c=a;}
	void rot_r(int&c){int a=ls[c],b=rs[a];ls[c]=b;rs[a]=c;pull(c);pull(a);c=a;}
	void Ins(int&c,pii a,matrix x){
		if(!c)c=Make(a,x);
		else if(key[c]==a)my[c]=x,pull(c);
		else if(key[c]<a){
			Ins(rs[c],a,x);
			if(pri[rs[c]]>pri[c])rot_l(c);
			else pull(c);
		}else{
			Ins(ls[c],a,x);
			if(pri[ls[c]]>pri[c])rot_r(c);
			else pull(c);
		}
	}
}*/
matrix make(pii p,int dist){
	return po[(p.second-p.first)/2-1]*build(dist);
}
set<pii> seg;
bool sol;
int tme;
vector<pii> all;
vector<pair<pii,matrix>> I[N];
int p2;
vector<matrix> st;
void Cng(pii p,matrix m){
	if(!sol){
		I[tme].pb({p,m});
		all.pb(p);
	}else{
		int i=lower_bound(all.begin(),all.end(),p)-all.begin()+p2;
		st[i]=m;
		for(i>>=1;i;i>>=1)st[i]=st[i<<1|1]*st[i<<1];
	}
}
void Ins(pii p){
	seg.insert(p);
	auto it=seg.find(p);
	if(it==seg.begin())Cng(p,make(p,p.first+1));
	else Cng(p,make(p,p.first+1-(prev(it)->second-1)));
	if(next(it)!=seg.end())Cng(*next(it),make(*next(it),next(it)->first+1-(p.second-1)));
}
void Rem(pii p){
	auto it=seg.find(p);
	int l=0;
	if(it!=seg.begin())l=prev(it)->second-1;
	Cng(p,idx);
	if(next(it)!=seg.end())Cng(*next(it),make(*next(it),next(it)->first+1-l));
	seg.erase(it);
}
void Add(int x){
	auto it=seg.upper_bound({x,inf});
	if(it==seg.begin()||prev(it)->second<x){
		int l=x-1,r=x+1;
		if(it!=seg.begin()&&prev(it)->second==x-1)l=prev(it)->first,Rem(*prev(it));
		if(it!=seg.end()&&it->first==x+1)r=it->second,Rem(*it);
		Ins({l,r});
	}else{
		it--;
		if(x%2==it->first%2){
			int l,r;tie(l,r)=*it;
			Rem(*it);
			if(l<min(x,r-2))Ins({l,min(x,r-2)});
			Add(r+(x==r));
		}else{
			int l,r;tie(l,r)=*it;
			Rem(*it);
			if(l+1<x)Ins({l+1,x});
			if(l>0)Add(max(1,l-1));
			Add(r);
		}
	}
}
int Solve(){
	matrix m=st[1];
	return add(m[0][0],m[1][0]);
}
int main(){
	idx={{1,0},{0,1}};
	//Treap::sum[0]=idx;
	po[0]=idx;
	po[1]=build(2);
	for(int i=2;i<N;i++)po[i]=po[i-1]*po[1];
	int n;
	scanf("%i",&n);
	sol=0;
	for(int i=1;i<=n;i++){
		int a;
		tme=i;
		scanf("%i",&a);
		Add(a);
		//printf("%i\n",Solve());
	}
	sort(all.begin(),all.end());
	all.erase(unique(all.begin(),all.end()),all.end());
	p2=1;while(p2<all.size())p2*=2;
	st.assign(p2*2,idx);
	sol=1;
	seg.clear();
	for(int i=1;i<=n;i++){
		for(auto p:I[i])Cng(p.first,p.second);
		printf("%i\n",Solve());
	}
	return 0;
}

Compilation message

fib.cpp: In function 'int main()':
fib.cpp:141:15: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  141 |  p2=1;while(p2<all.size())p2*=2;
      |             ~~^~~~~~~~~~~
fib.cpp:130:7: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
  130 |  scanf("%i",&n);
      |  ~~~~~^~~~~~~~~
fib.cpp:135:8: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
  135 |   scanf("%i",&a);
      |   ~~~~~^~~~~~~~~
# Verdict Execution time Memory Grader output
1 Correct 61 ms 17656 KB Output is correct
2 Correct 81 ms 17528 KB Output is correct
3 Correct 69 ms 17528 KB Output is correct
4 Correct 78 ms 17528 KB Output is correct
5 Correct 55 ms 17528 KB Output is correct
6 Correct 50 ms 17528 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 61 ms 17656 KB Output is correct
2 Correct 81 ms 17528 KB Output is correct
3 Correct 69 ms 17528 KB Output is correct
4 Correct 78 ms 17528 KB Output is correct
5 Correct 55 ms 17528 KB Output is correct
6 Correct 50 ms 17528 KB Output is correct
7 Correct 52 ms 17664 KB Output is correct
8 Correct 55 ms 17656 KB Output is correct
9 Correct 53 ms 17676 KB Output is correct
10 Correct 57 ms 17632 KB Output is correct
11 Correct 62 ms 17692 KB Output is correct
12 Correct 53 ms 17656 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 52 ms 17528 KB Output is correct
2 Correct 56 ms 17656 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 61 ms 17656 KB Output is correct
2 Correct 81 ms 17528 KB Output is correct
3 Correct 69 ms 17528 KB Output is correct
4 Correct 78 ms 17528 KB Output is correct
5 Correct 55 ms 17528 KB Output is correct
6 Correct 50 ms 17528 KB Output is correct
7 Correct 52 ms 17664 KB Output is correct
8 Correct 55 ms 17656 KB Output is correct
9 Correct 53 ms 17676 KB Output is correct
10 Correct 57 ms 17632 KB Output is correct
11 Correct 62 ms 17692 KB Output is correct
12 Correct 53 ms 17656 KB Output is correct
13 Correct 52 ms 17528 KB Output is correct
14 Correct 56 ms 17656 KB Output is correct
15 Correct 56 ms 17656 KB Output is correct
16 Correct 63 ms 17912 KB Output is correct
17 Correct 52 ms 17660 KB Output is correct
18 Correct 56 ms 17656 KB Output is correct
19 Correct 55 ms 17656 KB Output is correct
20 Correct 58 ms 17856 KB Output is correct
21 Correct 58 ms 17788 KB Output is correct
22 Correct 57 ms 17752 KB Output is correct
23 Correct 57 ms 17760 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 66 ms 17648 KB Output is correct
2 Correct 2603 ms 96700 KB Output is correct
3 Correct 3015 ms 102396 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 61 ms 17656 KB Output is correct
2 Correct 81 ms 17528 KB Output is correct
3 Correct 69 ms 17528 KB Output is correct
4 Correct 78 ms 17528 KB Output is correct
5 Correct 55 ms 17528 KB Output is correct
6 Correct 50 ms 17528 KB Output is correct
7 Correct 52 ms 17664 KB Output is correct
8 Correct 55 ms 17656 KB Output is correct
9 Correct 53 ms 17676 KB Output is correct
10 Correct 57 ms 17632 KB Output is correct
11 Correct 62 ms 17692 KB Output is correct
12 Correct 53 ms 17656 KB Output is correct
13 Correct 52 ms 17528 KB Output is correct
14 Correct 56 ms 17656 KB Output is correct
15 Correct 56 ms 17656 KB Output is correct
16 Correct 63 ms 17912 KB Output is correct
17 Correct 52 ms 17660 KB Output is correct
18 Correct 56 ms 17656 KB Output is correct
19 Correct 55 ms 17656 KB Output is correct
20 Correct 58 ms 17856 KB Output is correct
21 Correct 58 ms 17788 KB Output is correct
22 Correct 57 ms 17752 KB Output is correct
23 Correct 57 ms 17760 KB Output is correct
24 Correct 66 ms 17648 KB Output is correct
25 Correct 2603 ms 96700 KB Output is correct
26 Correct 3015 ms 102396 KB Output is correct
27 Correct 696 ms 39444 KB Output is correct
28 Correct 1200 ms 57204 KB Output is correct
29 Correct 1487 ms 65520 KB Output is correct
30 Correct 1435 ms 59440 KB Output is correct
31 Execution timed out 4106 ms 163204 KB Time limit exceeded
32 Halted 0 ms 0 KB -