Submission #15495

#TimeUsernameProblemLanguageResultExecution timeMemory
15495gs13068쿼터너리 컴퓨터 (kriii3_Z)C++98
126 / 126
807 ms1092 KiB
#include<cstdio> int a[22],n,m; int d[22]; int t[22]; int r[22]; int chk[22]; int eff[22][22]; int w[444]; int x[444]; int y[444]; int z[444]; void dfs(int p) { if(p==n) { int i; for(i=0;i<n;i++)t[i]=d[i]; for(i=0;i<m;i++) { if(w[i]==0)t[x[i]]=(t[y[i]]+t[z[i]])%4; if(w[i]==1)t[x[i]]=t[y[i]]^t[z[i]]; if(w[i]==2)t[x[i]]=(t[y[i]]+z[i])%4; if(w[i]==3)t[x[i]]=t[y[i]]^z[i]; } for(i=0;i<n;i++)r[i]=(r[i]+t[i])%4; return; } for(d[p]=0;d[p]<4;d[p]++)if(d[p]!=a[p])dfs(p+1); } void dfs2(int p,int q) { if(p==n) { int i,j,k; for(i=0;i<n;i++)for(j=0;j<n;j++)eff[i][j]=0; for(i=0;i<n;i++) { t[i]=d[i]; eff[i][i]=1; } for(i=0;i<m;i++) { if(w[i]==0) { t[x[i]]=(t[y[i]]+t[z[i]])%4; for(j=0;j<n;j++)eff[x[i]][j]=eff[y[i]][j]^eff[z[i]][j]; } if(w[i]==1) { t[x[i]]=t[y[i]]^t[z[i]]; for(j=0;j<n;j++)eff[x[i]][j]=eff[y[i]][j]^eff[z[i]][j]; } if(w[i]==2) { t[x[i]]=(t[y[i]]+z[i])%4; for(j=0;j<n;j++)eff[x[i]][j]=eff[y[i]][j]; } if(w[i]==3) { t[x[i]]=t[y[i]]^z[i]; for(j=0;j<n;j++)eff[x[i]][j]=eff[y[i]][j]; } } for(i=0;i<n;i++) { r[i]=(r[i]+t[i]*q)%4; for(j=0;j<n;j++)if(eff[i][j]&&d[j]!=a[j]&&(d[j]^2)!=a[j])break; if(j<n)r[i]=(r[i]+q)%4; } return; } for(d[p]=0;d[p]<2;d[p]++) { if(d[p]==a[p])d[p]^=2; dfs2(p+1,q*((d[p]!=a[p])+((d[p]^2)!=a[p]))); if(d[p]>=2)d[p]^=2; } } int main() { int i; scanf("%d%d",&n,&m); for(i=0;i<n;i++)scanf("%d",&a[i]); for(i=0;i<m;i++)scanf("%d%d%d%d",&w[i],&x[i],&y[i],&z[i]); dfs2(0,1); for(i=0;i<n;i++)printf("%d ",r[i]); }
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...