Submission #1052464

#TimeUsernameProblemLanguageResultExecution timeMemory
1052464handlenameAmusement Park (CEOI19_amusementpark)C++17
100 / 100
1395 ms5160 KiB
#include <bits/stdc++.h> using namespace std; #define pb push_back #define mp make_pair #define float long double // const int MOD=1e9+7; const int MOD=998244353; const int sqn=450; const long double eps=1e-6; const int dx[4]={0,0,1,-1}; const int dy[4]={1,-1,0,0}; long long power(long long a,long long b,long long p=MOD){ long long res=1; while (b>0){ if (b%2==1) res=(res*a)%p; b/=2; a=(a*a)%p; } return res; } int n,m; bool adj[20][20],indep[1000001]; // for each legal proposal, reversing the edges creates another // costs for this pair is m // sum of costs is m * DAGCount/2 // where DAGCount = number of DAGs on original graph long long dp[1000001]; // dp[mask] = number of DAGs on graph with mask vertices // for any DAG, at least 1 vertex has out degree 0 // we loop through all possible subsets of vertices with out degree 0 // this subset must be an independent set // however, we cannot just add them all up // as subsets of independent sets are also independent // to fix double counting, use PIE void runtc(){ cin>>n>>m; for (int i=1;i<=m;i++){ int u,v; cin>>u>>v; u--; v--; adj[u][v]=adj[v][u]=true; } memset(indep,true,sizeof(indep)); for (int i=0;i<(1<<n);i++){ for (int j=0;j<n;j++){ for (int k=j+1;k<n;k++){ if (!(i&(1<<j))) continue; if (!(i&(1<<k))) continue; if (adj[j][k]) indep[i]=false; } } } dp[0]=1; for (int i=1;i<(1<<n);i++){ for (int j=i;j>0;j=(j-1)&i){ if (!indep[j]) continue; if (__builtin_popcount(j)%2==1){ dp[i]+=dp[i^j]; } else { dp[i]-=dp[i^j]; } dp[i]%=MOD; } } long long ans=dp[(1<<n)-1]; ans*=m; ans%=MOD; ans*=power(2,MOD-2,MOD); ans%=MOD; cout<<(ans%MOD+MOD)%MOD; } int main(){ ios_base::sync_with_stdio(false); cin.tie(NULL); cout.tie(NULL); // freopen("movie.in","r",stdin); // freopen("movie.out","w",stdout); //freopen("input1.in","r",stdin); // freopen("output1.out","w",stdout); //freopen("tower_rush_input.txt","r",stdin); //freopen("hackercup_output.txt","w",stdout); int tcs; // cin>>tcs; tcs=1; for (int i=1;i<=tcs;i++){ // cout<<"Case #"<<i<<": "; runtc(); } }
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...