Submission #931255


Source Code Expand

#include <bits/stdc++.h>
using namespace std;

#define FOR(i,a,b) for(int i=a;i<b;i++)
#define REP(i,b) FOR(i,0,b)
#define MP make_pair
#define PB push_back
#define REACH cerr<<"reached line "<<__LINE__<<endl
#define DBG(x) cerr<<"line "<<__LINE__<<" "<<#x<<":"<<x<<endl

using uint=unsigned int;
using ll=long long;
using pii=pair<int,int>;
using vi=vector<int>;
using ld=long double;

template<class T,class U>
ostream& operator<<(ostream& os,const pair<T,U>& p){
	os<<"("<<p.first<<","<<p.second<<")";
	return os;
}

template<class T>
ostream& operator <<(ostream& os,const vector<T>& v){
	os<<"[";
	REP(i,(int)v.size()){
		if(i)os<<",";
		os<<v[i];
	}
	os<<"]";
	return os;
}

int read(){
	int i;
	scanf("%d",&i);
	return i;
}

ll readLL(){
	ll i;
	scanf("%lld",&i);
	return i;
}

string readString(){
	static char buf[3341919];
	scanf("%s",buf);
	return string(buf);
}

char* readCharArray(){
	static char buf[3341919];
	static int bufUsed=0;
	char* ret=buf+bufUsed;
	scanf("%s",ret);
	bufUsed+=strlen(ret)+1;
	return ret;
}

template<class T,class U>
void chmax(T& a,U b){
	if(a<b)
		a=b;
}

template<class T,class U>
void chmin(T& a,U b){
	if(a>b)
		a=b;
}

const int mod=1000000007;
template<class T,class U>
void add(T& a,U b){
	a=((ll)a+b)%mod;
}

template<>
void add(int& a,int b){
	a+=b;
	if(a>=mod)a-=mod;
}

template<class T,class U>
void sub(T& a,U b){
	a=((ll)a-b%mod+mod)%mod;
}

template<>
void sub(int& a,int b){
	a-=b;
	if(a<0)a+=mod;
}

template<class T,class U>
void mult(T& a,U b){
	a=((ll)a*b)%mod;
}

ll modPow(ll a,ll p){
	ll s=1;
	REP(i,30){
		if((p>>i)&1)
			mult(s,a);
		mult(a,a);
	}
	return s;
}

ll modInv(ll a){
	return modPow(a,mod-2);
}

struct UnionFind{
	vi group;
	vector<vi> member;
	void Init(int n){
		group.resize(n);
		REP(i,n)
			group[i]=i;
		member.assign(n,vi());
		REP(i,n)
			member[i].PB(i);
	}
	bool Same(int a,int b){
		return group[a]==group[b];
	}
	void Unite(int a,int b){
		a=group[a],b=group[b];
		if(a==b)
			return;
		if(member[a].size()<member[b].size())
			swap(a,b);
		for(auto v:member[b]){
			group[v]=a;
			member[a].PB(v);
		}
	}
} uf;

struct Edge{
	int from,to,idx;
};

int main(){
	vector<ll> fact({1});
	FOR(i,1,114154)
		fact.PB(fact.back()*i%mod);
	auto comb=[&](int a,int b){
		return fact[a]*modInv(fact[b])%mod*modInv(fact[a-b])%mod;
	};
	int n=read(),m=read(),k=read();
	vector<vector<Edge>> g(n);
	REP(i,m){
		int a=read()-1,b=read()-1;
		g[a].PB(Edge{a,b,i});
		g[b].PB(Edge{b,a,i});
	}
	vi dep(n,0);
	vector<Edge> parEdge(n);
	vector<bool> vis(n,false);
	function<void(int,Edge,int)> dfs;
	dfs=[&](int v,Edge pe,int d){
		if(vis[v])
			return;
		vis[v]=true;
		parEdge[v]=pe;
		dep[v]=d;
		for(auto e:g[v])
			dfs(e.to,e,d+1);
	};
	REP(i,n)
		dfs(i,Edge{-1,-1,-1},0);
	vi covs(m,0);
	REP(i,n)
		for(auto e:g[i])if(dep[i]+1<dep[e.to]){
			int x=e.to;
			while(x!=i){
				covs[parEdge[x].idx]++;
				x=parEdge[x].from;
			}
		}
	uf.Init(m);
	vi simpleCycle,compCycle;
	int freeEdge=m;
	REP(i,n)
		for(auto e:g[i])if(dep[i]+1<dep[e.to]){
			vector<Edge> tmp({e});
			bool p=false;
			int x=e.to;
			while(x!=i){
				tmp.PB(parEdge[x]);
				if(covs[parEdge[x].idx]>=2)
					p=true;
				x=parEdge[x].from;
			}
			if(!p){
				freeEdge-=tmp.size();
				simpleCycle.PB(tmp.size());
			}else{
				for(auto f:tmp)
					uf.Unite(tmp.front().idx,f.idx);
			}
		}
	REP(i,m)if(uf.group[i]==i&&(int)uf.member[i].size()>1){
		compCycle.PB(uf.member[i].size());
		freeEdge-=uf.member[i].size();
	}
	auto calc1=[&](int s){
		ll ret=0;
		FOR(t,1,s+1)
			add(ret,modPow(k,__gcd(s,t)));
		return ret*modInv(s)%mod;
	};
	auto calc2=[&](int s){
		return comb(s+k-1,s);
	};
	ll ans=1;
	for(auto v:simpleCycle)
		mult(ans,calc1(v));
	for(auto v:compCycle)
		mult(ans,calc2(v));
	mult(ans,modPow(k,freeEdge));
	cout<<ans<<endl;
}

Submission Info

Submission Time
Task F - Painting Graphs with AtCoDeer
User maroonrk
Language C++14 (GCC 5.4.1)
Score 1300
Code Size 4010 Byte
Status AC
Exec Time 5 ms
Memory 1400 KB

Compile Error

./Main.cpp: In function ‘int read()’:
./Main.cpp:36:16: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result]
  scanf("%d",&i);
                ^
./Main.cpp: In function ‘ll readLL()’:
./Main.cpp:42:18: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result]
  scanf("%lld",&i);
                  ^
./Main.cpp: In function ‘std::string readString()’:
./Main.cpp:48:17: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result]
  scanf("%s",buf);
                 ^
./Main.cpp: In function ‘char* readCharArray()’:
./Main.cpp:56:17: warning: ignoring return value of ‘int scanf(const char*, ...)’, declared with attribute warn_unused_result [-Wunused-result]
  scanf("%s",ret);
                 ^

Judge Result

Set Name Sample All
Score / Max Score 0 / 0 1300 / 1300
Status
AC × 3
AC × 64
Set Name Test Cases
Sample 0_000.txt, 0_001.txt, 0_002.txt
All 0_000.txt, 0_001.txt, 0_002.txt, 1_003.txt, 1_004.txt, 1_005.txt, 1_006.txt, 1_007.txt, 1_008.txt, 1_009.txt, 1_010.txt, 1_011.txt, 1_012.txt, 1_013.txt, 1_014.txt, 1_015.txt, 1_016.txt, 1_017.txt, 1_018.txt, 1_019.txt, 1_020.txt, 1_021.txt, 1_022.txt, 1_023.txt, 1_024.txt, 1_025.txt, 1_026.txt, 1_027.txt, 1_028.txt, 1_029.txt, 1_030.txt, 1_031.txt, 1_032.txt, 1_033.txt, 1_034.txt, 1_035.txt, 1_036.txt, 1_037.txt, 1_038.txt, 1_039.txt, 1_040.txt, 1_041.txt, 1_042.txt, 1_043.txt, 1_044.txt, 1_045.txt, 1_046.txt, 1_047.txt, 1_048.txt, 1_049.txt, 1_050.txt, 1_051.txt, 1_052.txt, 1_053.txt, 1_054.txt, 1_055.txt, 1_056.txt, 1_057.txt, 1_058.txt, 1_059.txt, 1_060.txt, 1_061.txt, 1_062.txt, 1_063.txt
Case Name Status Exec Time Memory
0_000.txt AC 5 ms 1400 KB
0_001.txt AC 5 ms 1400 KB
0_002.txt AC 5 ms 1400 KB
1_003.txt AC 5 ms 1400 KB
1_004.txt AC 5 ms 1400 KB
1_005.txt AC 5 ms 1400 KB
1_006.txt AC 5 ms 1400 KB
1_007.txt AC 5 ms 1400 KB
1_008.txt AC 5 ms 1400 KB
1_009.txt AC 5 ms 1400 KB
1_010.txt AC 5 ms 1400 KB
1_011.txt AC 5 ms 1400 KB
1_012.txt AC 5 ms 1400 KB
1_013.txt AC 5 ms 1400 KB
1_014.txt AC 5 ms 1400 KB
1_015.txt AC 5 ms 1400 KB
1_016.txt AC 5 ms 1400 KB
1_017.txt AC 5 ms 1400 KB
1_018.txt AC 5 ms 1400 KB
1_019.txt AC 5 ms 1400 KB
1_020.txt AC 5 ms 1400 KB
1_021.txt AC 5 ms 1400 KB
1_022.txt AC 5 ms 1400 KB
1_023.txt AC 5 ms 1400 KB
1_024.txt AC 5 ms 1400 KB
1_025.txt AC 5 ms 1400 KB
1_026.txt AC 5 ms 1400 KB
1_027.txt AC 5 ms 1400 KB
1_028.txt AC 5 ms 1400 KB
1_029.txt AC 5 ms 1400 KB
1_030.txt AC 5 ms 1400 KB
1_031.txt AC 5 ms 1400 KB
1_032.txt AC 5 ms 1400 KB
1_033.txt AC 5 ms 1400 KB
1_034.txt AC 5 ms 1400 KB
1_035.txt AC 5 ms 1400 KB
1_036.txt AC 5 ms 1400 KB
1_037.txt AC 5 ms 1400 KB
1_038.txt AC 5 ms 1400 KB
1_039.txt AC 5 ms 1400 KB
1_040.txt AC 5 ms 1400 KB
1_041.txt AC 5 ms 1400 KB
1_042.txt AC 5 ms 1400 KB
1_043.txt AC 5 ms 1400 KB
1_044.txt AC 5 ms 1400 KB
1_045.txt AC 5 ms 1400 KB
1_046.txt AC 5 ms 1400 KB
1_047.txt AC 5 ms 1400 KB
1_048.txt AC 5 ms 1400 KB
1_049.txt AC 5 ms 1400 KB
1_050.txt AC 5 ms 1400 KB
1_051.txt AC 5 ms 1400 KB
1_052.txt AC 5 ms 1400 KB
1_053.txt AC 5 ms 1400 KB
1_054.txt AC 5 ms 1400 KB
1_055.txt AC 5 ms 1400 KB
1_056.txt AC 5 ms 1400 KB
1_057.txt AC 5 ms 1400 KB
1_058.txt AC 5 ms 1400 KB
1_059.txt AC 5 ms 1400 KB
1_060.txt AC 5 ms 1400 KB
1_061.txt AC 5 ms 1400 KB
1_062.txt AC 5 ms 1400 KB
1_063.txt AC 5 ms 1400 KB