제출 #955518

#제출 시각아이디문제언어결과실행 시간메모리
955518StefanSebez디지털 회로 (IOI22_circuit)C++17
34 / 100
3033 ms19732 KiB
#include "circuit.h" #include<bits/stdc++.h> #include <vector> using namespace std; #define pb push_back #define fi first #define se second #define ll long long const int N=1e5+500; const ll mod=1000002022; ll Puta(ll a,ll b){a%=mod,b%=mod;ll x=a*b;x%=mod;return x;} ll Plus(ll a,ll b){a%=mod,b%=mod;ll x=a+b;x%=mod;return x;} vector<int>E[2*N+500]; int a[N+500],n,m,P[2*N+500]; ll res[N+500],dp[2*N+500][2],F[2*N+500],F1[2*N+500]; bool stepen2; void DFSsetup(int u){ if(E[u].empty()) return; F[u]=E[u].size(); for(auto i:E[u]){ DFSsetup(i); F[u]=Puta(F[u],F[i]); } for(auto i:E[u]){ F1[i]=1; for(auto j:E[u]){ if(j!=i) F1[i]=Puta(F1[i],F[j]); } } } void DFS(int u){ if(E[u].empty()) return; for(auto i:E[u]) DFS(i); dp[u][1]=0; for(auto i:E[u]) dp[u][1]=Plus(dp[u][1],Puta(dp[i][1],F1[i])); //printf("%i: %lld %lld\n",u,dp[u][1],F[u]); /*int mask=0; while(mask< (1<<(E[u].size()))){ ll temp1=1,sum=0; for(int i=0,temp=mask;i<E[u].size();i++,temp/=2){ temp1=Puta(temp1,dp[E[u][i]][temp%2]);sum+=temp%2; } if(mask!=0) dp[u][1]=Plus(dp[u][1],Puta(sum,temp1)); dp[u][0]=Plus(dp[u][0],Puta(E[u].size()-sum,temp1)); mask++; }*/ //dp[u][0]=F[u]-dp[u][1]; } void Update1(int v){ dp[v][1]=1-dp[v][1]; dp[v][0]=1-dp[v][0]; int u=P[v]; while(u!=-1){ dp[u][1]=0; for(auto i:E[u]) dp[u][1]=Plus(dp[u][1],Puta(dp[i][1],F1[i])); /*dp[u][1]=dp[u][0]=0; int mask=0; while(mask< (1<<(E[u].size()))){ ll temp1=1,sum=0; for(int i=0,temp=mask;i<E[u].size();i++,temp/=2){ temp1=Puta(temp1,dp[E[u][i]][temp%2]);sum+=temp%2; } if(mask!=0) dp[u][1]=Plus(dp[u][1],Puta(sum,temp1)); dp[u][0]=Plus(dp[u][0],Puta(E[u].size()-sum,temp1)); mask++; }*/ u=P[u]; } } int nc,root,lc[2*N],rc[2*N],sum[2*N],lazy[2*N]; void update(int &c,int ss,int se,int qval){ if(!c) c=++nc; if(qval==0) return; sum[c]=se-ss+1-sum[c]; lazy[c]++;lazy[c]%=2; } void push(int &c,int ss,int se){ int mid=(ss+se)/2; update(lc[c],ss,mid,lazy[c]); update(rc[c],mid+1,se,lazy[c]); lazy[c]=0; } void Update(int &c,int ss,int se,int qs,int qe){ if(!c) c=++nc; if(qs<=ss && se<=qe){ update(c,ss,se,1); //printf("%i %i %i: %i\n",c,ss,se,sum[c]); return; } if(qe<ss || se<qs) return; int mid=(ss+se)/2; push(c,ss,se); Update(lc[c],ss,mid,qs,qe);Update(rc[c],mid+1,se,qs,qe); sum[c]=sum[lc[c]]+sum[rc[c]]; //printf("%i %i %i: %i\n",c,ss,se,sum[c]); } int Get(int c,int ss,int se,int qs,int qe){ //printf("%i %i %i: %i\n",c,ss,se,sum[c]); if(qs<=ss && se<=qe) return sum[c]; if(qe<ss || se<qs) return 0; int mid=(ss+se)/2; push(c,ss,se); return Get(lc[c],ss,mid,qs,qe)+Get(rc[c],mid+1,se,qs,qe); } void init(int N1, int M1, std::vector<int> P1, std::vector<int> A) { n=N1,m=M1; for(int i=0;i<P1.size();i++) P[i]=P1[i]; for(int i=0;i<P1.size();i++){ E[P[i]].pb(i); } for(int i=0;i<m;i++){ dp[n+i][1]=A[i],dp[n+i][0]=1-A[i]; a[i]=A[i]; F[n+i]=1; } DFSsetup(0); DFS(0); int temp=m,ct=0;while(temp>0) ct+=temp%2,temp/=2;if(ct==1) stepen2=true; if(!stepen2) return; for(int i=n;i<n+m;i++) dp[i][1]=0; DFS(0); res[0]=dp[0][1]; for(int i=0;i<m;i++){ Update1(n+i); res[i+1]=dp[0][1]; //for(int j=0;j<n+m;j++) printf("%i %i: %i\n",i+1,j,dp[j][1]); } //for(int i=0;i<=m;i++) printf("%i ",res[i]); //printf("\n"); for(int i=0;i<m;i++) if(a[i]==1) Update(root,0,m-1,i,i); } int count_ways(int L, int R) { if(stepen2){ Update(root,0,m-1,L-n,R-n); return res[Get(root,0,m-1,0,m-1)]; } /*if(n==1){ int ct=0; for(int i=L;i<=R;i++) a[i-1]=1-a[i-1]; for(int i=0;i<=m-1;i++) ct+=a[i]; return ct; }*/ for(int i=L;i<=R;i++) Update1(i); //DFS(0); /*for(int i=0;i<=n+m-1;i++){ printf("%i: %i %i\n",i,dp[i][0],dp[i][1]); }*/ return dp[0][1]; }

컴파일 시 표준 에러 (stderr) 메시지

circuit.cpp: In function 'void init(int, int, std::vector<int>, std::vector<int>)':
circuit.cpp:107:15: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  107 |  for(int i=0;i<P1.size();i++) P[i]=P1[i];
      |              ~^~~~~~~~~~
circuit.cpp:108:15: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  108 |  for(int i=0;i<P1.size();i++){
      |              ~^~~~~~~~~~
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...