結果
問題 | No.1750 ラムドスウイルスの感染拡大-hard |
ユーザー |
![]() |
提出日時 | 2021-11-19 21:26:39 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 187 ms / 2,000 ms |
コード長 | 5,481 bytes |
コンパイル時間 | 1,880 ms |
コンパイル使用メモリ | 200,036 KB |
最終ジャッジ日時 | 2025-01-25 19:56:54 |
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 30 |
ソースコード
#include<bits/stdc++.h>using namespace std;#define ALL(x) begin(x),end(x)#define rep(i,n) for(int i=0;i<(n);i++)#define debug(v) cout<<#v<<":";for(auto x:v){cout<<x<<' ';}cout<<endl;#define mod 1000000007using ll=long long;const int INF=1000000000;const ll LINF=1001002003004005006ll;int dx[]={1,0,-1,0},dy[]={0,1,0,-1};// ll gcd(ll a,ll b){return b?gcd(b,a%b):a;}template<class T>bool chmax(T &a,const T &b){if(a<b){a=b;return true;}return false;}template<class T>bool chmin(T &a,const T &b){if(b<a){a=b;return true;}return false;}struct IOSetup{IOSetup(){cin.tie(0);ios::sync_with_stdio(0);cout<<fixed<<setprecision(12);}} iosetup;template<typename T>ostream &operator<<(ostream &os,const vector<T>&v){for(int i=0;i<(int)v.size();i++) os<<v[i]<<(i+1==(int)v.size()?"":" ");return os;}template<typename T>istream &operator>>(istream &is,vector<T>&v){for(T &x:v)is>>x;return is;}template<ll Mod>struct ModInt{long long x;ModInt():x(0){}ModInt(long long y):x(y>=0?y%Mod:(Mod-(-y)%Mod)%Mod){}ModInt &operator+=(const ModInt &p){if((x+=p.x)>=Mod) x-=Mod;return *this;}ModInt &operator-=(const ModInt &p){if((x+=Mod-p.x)>=Mod)x-=Mod;return *this;}ModInt &operator*=(const ModInt &p){x=(int)(1ll*x*p.x%Mod);return *this;}ModInt &operator/=(const ModInt &p){(*this)*=p.inverse();return *this;}ModInt operator-()const{return ModInt(-x);}ModInt operator+(const ModInt &p)const{return ModInt(*this)+=p;}ModInt operator-(const ModInt &p)const{return ModInt(*this)-=p;}ModInt operator*(const ModInt &p)const{return ModInt(*this)*=p;}ModInt operator/(const ModInt &p)const{return ModInt(*this)/=p;}bool operator==(const ModInt &p)const{return x==p.x;}bool operator!=(const ModInt &p)const{return x!=p.x;}ModInt inverse()const{int a=x,b=Mod,u=1,v=0,t;while(b>0){t=a/b;swap(a-=t*b,b);swap(u-=t*v,v);}return ModInt(u);}ModInt pow(long long n)const{ModInt ret(1),mul(x);while(n>0){if(n&1) ret*=mul;mul*=mul;n>>=1;}return ret;}friend ostream &operator<<(ostream &os,const ModInt &p){return os<<p.x;}friend istream &operator>>(istream &is,ModInt &a){long long t;is>>t;a=ModInt<Mod>(t);return (is);}static int get_mod(){return Mod;}};using mint=ModInt<998244353>;template<typename T>struct Matrix{vector<vector<T>> a;Matrix(){}Matrix(int n):a(n,vector<T>(n,0)){}Matrix(int h,int w):a(h,vector<T>(w,0)){}int h()const{return (int)a.size();}int w()const{return (int)a[0].size();}const vector<T> &operator[](int k)const{return a.at(k);// reference}vector<T> &operator[](int k){return a.at(k);}Matrix id(int n){Matrix ret(n);for(int i=0;i<n;i++) ret[i][i]=1;return ret;}Matrix &operator+=(const Matrix &rhs){assert(h()==rhs.h() and w()==rhs.w());for(int i=0;i<h();i++)for(int j=0;j<w();j++) (*this)[i][j]+=rhs[i][j];return (*this);}Matrix &operator-=(const Matrix &rhs){assert(h()==rhs.h() and w()==rhs.w());for(int i=0;i<h();i++)for(int j=0;j<w();j++) (*this)[i][j]-=rhs[i][j];return (*this);}Matrix &operator*=(const Matrix &rhs){assert(w()==rhs.h());vector<vector<T>> res(h(),vector<T>(rhs.w()));for(int i=0;i<h();i++)for(int j=0;j<rhs.w();j++)for(int k=0;k<w();k++)res[i][j]=res[i][j]+(*this)[i][k]*rhs[k][j];swap(a,res);return (*this);}Matrix operator+(const Matrix &rhs)const{return Matrix(*this)+=rhs;}Matrix operator-(const Matrix &rhs)const{return Matrix(*this)-=rhs;}Matrix operator*(const Matrix &rhs)const{return Matrix(*this)*=rhs;}Matrix pow(long long k){Matrix ret=Matrix::id(h());Matrix b=Matrix(*this);while(k){if(k&1) ret*=b;b*=b;k>>=1;}return ret;}T det(){assert(h()==w());Matrix x(*this);T ret=1;for(int i=0;i<w();i++){int idx=-1;for(int j=i;j<w();j++)if(x[j][i]!=0) idx=j;if(idx==-1) return 0;// 三角行列の対角成分の1つが0if(i!=idx){ret*=-1;swap(x[i],x[idx]);}T b=x[i][i];ret*=b;for(int j=0;j<w();j++) x[i][j]/=b;for(int j=i+1;j<w();j++){T t=x[j][i];for(int k=0;k<w();k++) x[j][k]-=x[i][k]*t;}}return ret;}};signed main(){int N,M; ll T;cin>>N>>M>>T;vector<vector<mint>> base(N,vector<mint>(N,0));rep(i,M){int u,v;cin>>u>>v;base[u][v]=1;base[v][u]=1;}vector<mint> ans(N,0);ans[0]=1;while(T){if(T&1){vector<mint> na(N,0);rep(i,N)rep(j,N) na[j]+=ans[i]*base[i][j];swap(ans,na);}vector<vector<mint>> nb(N,vector<mint>(N,0));rep(i,N)rep(j,N)rep(k,N){nb[i][j]+=base[i][k]*base[k][j];}swap(base,nb);T>>=1;}cout<<ans[0]<<endl;return 0;}