結果

問題 No.1483 Many Graph in Namori
ユーザー vjudge1
提出日時 2025-01-03 17:28:17
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 113 ms / 2,000 ms
コード長 2,886 bytes
コンパイル時間 2,229 ms
コンパイル使用メモリ 200,948 KB
最終ジャッジ日時 2025-02-26 17:27:42
ジャッジサーバーID
（参考情報） 		judge1 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 56
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In function ‘int main()’:
main.cpp:91:14: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
   91 |         scanf("%d%d",&n,&m);
      |         ~~~~~^~~~~~~~~~~~~~
main.cpp:94:22: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
   94 |                 scanf("%d%d",&x,&y);
      |                 ~~~~~^~~~~~~~~~~~~~

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
const int N=1e5+5,P=998244353;
int n,m,a,b,st[N],tp,rg[N],cr,ans;
int f[N][3][2],F[3][2],g[3][2],G[3][2],va[N][2];
bool vis[N],ir[N];
vector<int>e[N];
int ksm(int x,int y){
	int res=1;
	for(;y;y>>=1,x=1ll*x*x%P)if(y&1)res=1ll*res*x%P;
	return res;
}
inline void Add(int &x,int y){
	if((x+=y)>=P)x-=P;
}
bool findr(int x,int y){
	vis[x]=true,st[++tp]=x;
	for(auto v:e[x])if(v!=y){
		if(!vis[v]){
			if(findr(v,x))return true;
		}else{
			do{
				rg[cr++]=st[tp--];
			}while(st[tp+1]!=v);
			return true;
		}
	}
	--tp;
	return false;
}
void dfs(int x,int y){
	f[x][0][0]=f[x][0][1]=1;
	for(auto v:e[x])if(v!=y&&!ir[v]){
		dfs(v,x);
		for(int i=0;i<3;++i)for(int j=0;j<2;++j)
			for(int k=0;k<3;++k)for(int l=0;l+j<2;++l)
				Add(F[min(2,i+1)][j+l],1ll*f[x][i][j]*f[v][k][l]%P*(k<1?a:b)%P);
		for(int i=0;i<3;++i)for(int j=0;j<2;++j)Add(f[x][i][j],F[i][j]),F[i][j]=0;
	}
	if(!ir[x])for(int i=0;i<3;++i)Add(ans,1ll*(i<2?a:b)*f[x][i][1]%P);
}
void calc1(){
	int g0=1,g1=0;
	for(int i=0;i<cr;++i){
		int x=rg[i],f0=0,f1=0;
		for(int j=0;j<3;++j)Add(f0,f[x][j][0]),Add(f1,f[x][j][1]);
		g1=(1ll*g1*f0+1ll*f1*g0)%P;
		g0=1ll*g0*f0%P;
	}
	Add(ans,1ll*g1*ksm(b,cr)%P);
}
void calc2(){
	for(int o=0;o<cr;++o){
		int x=rg[o];
		for(int i=0;i<3;++i)for(int j=0;j<2;++j)G[i][j]=f[x][i][j];
		for(int i=0;i<3;++i)for(int j=0;j<2;++j)
			for(int k=0;k<3;++k)for(int l=0;l+j<2;++l)
				Add(G[min(2,i+1)][j+l],1ll*f[x][i][j]*g[k][l]%P*(k<1?a:b)%P);
		for(int i=0;i<3;++i)for(int j=0;j<2;++j)g[i][j]=G[i][j],G[i][j]=0;
		for(int i=0;i<3;++i)Add(ans,1ll*(i<2?a:b)*g[i][1]%P);
	}
}
void calc3(){
	int ia=ksm(a,P-2);
	ia=1ll*ia*ia%P;
	memset(G,0,sizeof(G));
	memset(g,0,sizeof(g));
	g[0][0]=1;
	for(int o=0;o<cr-1;++o){
		int x=rg[o];
		for(int i=0;i<3;++i)for(int j=0;j<2;++j)
			for(int k=0;k<3;++k)for(int l=0;l+j<2;++l)
				Add(G[min(2,i+1)][j+l],1ll*f[x][i][j]*g[k][l]%P*(k<1?a:b)%P);
		for(int i=0;i<3;++i)for(int j=0;j<2;++j)g[i][j]=G[i][j],G[i][j]=0;
		for(int i=0;i<3;++i)for(int j=0;j<2;++j)Add(va[o][j],1ll*(i<2?a:b)*g[i][j]%P);
		if(o)Add(va[o][0],va[o-1][0]),Add(va[o][1],va[o-1][1]);
	}
	memset(G,0,sizeof(G));
	memset(g,0,sizeof(g));
	g[0][0]=1;
	for(int o=cr-1;o;--o){
		int x=rg[o];
		for(int i=0;i<3;++i)for(int j=0;j<2;++j)
			for(int k=0;k<3;++k)for(int l=0;l+j<2;++l)
				Add(G[min(2,i+1)][j+l],1ll*f[x][i][j]*g[k][l]%P*(k<1?a:b)%P);
		for(int i=0;i<3;++i)for(int j=0;j<2;++j)g[i][j]=G[i][j],G[i][j]=0;
		for(int i=0;i<3;++i)for(int j=0;j<2;++j)Add(ans,1ll*(i<2?a:b)*g[i][j]%P*va[o-1][j^1]%P*ia%P);
	}
}
int main(){
	scanf("%d%d",&n,&m);
	b=ksm(1+P-m,P-2),a=1ll*m*b%P;
	for(int i=1,x,y;i<=n;++i){
		scanf("%d%d",&x,&y);
		e[x].push_back(y),e[y].push_back(x);
	}
	findr(1,0);
	for(int i=0;i<cr;++i)ir[rg[i]]=true;
	for(int i=0;i<cr;++i)dfs(rg[i],0);
	calc1();
	calc2();
	calc3();
	ans=1ll*ans*ksm(P+1-m,n)%P;
	printf("%d\n",ans);
	return 0;
}
0