#include #include using namespace std; using namespace atcoder; using mint=modint998244353; mint Bostan_Mori(vector &A,vector &C,long long N){ int d=(int)(C.size()); vector Q(d+1); Q[0]=1; for(int i=1;i<=d;i++){ Q[i]=-C[i-1]; } vector P=convolution(Q,A); P.resize(d); int z=(int)internal::bit_ceil((unsigned int)(2*d+1)); mint iz=mint(z).inv(); mint w=mint(3).pow(998244352/z); mint iw=w.inv(); mint W[z/2]; W[0]=1; for(int i=1;i>= 1; } return j; }; while(N>0){ Q.resize(z/2); vector Q_minus=Q; for(int i=1;i<=d;i+=2){ Q_minus[i]*=-1; Q[i]*=-1; } internal::butterfly(Q_minus); mint res=1; for(mint &i : Q){ i*=res; res*=w; } internal::butterfly(Q); Q_minus.insert(Q_minus.end(),Q.begin(),Q.end()); for(int i=0;i P_sub=P; internal::butterfly(P); res=1; for(mint &i : P_sub){ i*=res; res*=w; } internal::butterfly(P_sub); P.insert(P.end(),P_sub.begin(),P_sub.end()); for(int i=0;i struct matrix{ int H,W; vector> table; matrix(int h,int w) : H(h),W(w){ table.resize(h,vector(w)); } int size(){ return H; } matrix pow(long long N){ assert(H==W); assert(0<=N); matrix x=*this; matrix r(H,H); for(int i=0;i>=1; } return r; } vector& operator[](int index){ assert(index A(6); A[0]=1; A[1]=1; A[2]=2; A[3]=4; A[4]=8; A[5]=16; vector c(6,mint(1)); for(;k--;){ int C; scanf("%d",&C); vector> P(6,vector(6)); //P[i][j]:X=iからスタートして,X=N+j(ピッタリ)で終わるサイコロの振り方であって,常にX \not \equiv C (mod N)である場合 for(int i=0;i<6;i++){ for(int j=0;j<6;j++){ if(i==C){ P[i][j]=0; continue; } if(j==C){ P[i][j]=0; continue; } if(i Q(6,6); for(int i=0;i<6;i++){ for(int j=0;j<6;j++){ Q[i][j]=P[j][i]; } } Q=Q.pow(M-2);//to do:M=1の場合に場合分けして書く matrix R(6,1); for(int i=0;i<6;i++){ R[i][0]=P[0][i]; } Q*=R; vector S(6); for(int i=0;i<6;i++){ if(Q[i][0]==0){ continue; } for(int j=0;j<6;j++){ //iからN+jに動く //N~N+jの間のCについては無視 if(i=0;i--){ for(int j=i-1;j>=0;j--){ S[i]-=S[j]; } ans+=S[i]; } printf("%d\n",ans.val()); } }