結果

問題 No.1116 Cycles of Dense Graph
ユーザー leafirbyleafirby
提出日時 2020-07-18 18:42:39
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 3,633 bytes
コンパイル時間 3,313 ms
コンパイル使用メモリ 229,436 KB
実行使用メモリ 10,624 KB
最終ジャッジ日時 2024-05-08 02:04:25
合計ジャッジ時間 10,805 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 TLE -
testcase_01 -- -
testcase_02 -- -
testcase_03 -- -
testcase_04 -- -
testcase_05 -- -
testcase_06 -- -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
testcase_35 -- -
testcase_36 -- -
testcase_37 -- -
testcase_38 -- -
testcase_39 -- -
testcase_40 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
/*#include <boost/multiprecision/cpp_dec_float.hpp>
#include <boost/multiprecision/cpp_int.hpp>
*/#pragma GCC target("avx")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")    
using namespace std;
/*namespace mp = boost::multiprecision;
using Bint = mp::cpp_int;
using Real = mp::number<mp::cpp_dec_float<1024>>;
*/#define lli long long int
#define uli unsigned long long int
#define INF 9999999999999999
#define rep(i,m,n) for(lli i = m;i < n;i++)
#define rrep(i,m,n) for(lli i=m-1;i>=n;i--)
#define pb(n) push_back(n)
#define UE(N) N.erase(unique(N.begin(),N.end()),N.end());
#define Sort(n) sort(n.begin(), n.end())
#define Rev(n) reverse(n.begin(),n.end())
#define Out(S) cout << S << endl
#define NeOut(S) cout << S
#define HpOut(S) cout << setprecision(50) << S << endl
#define Vec(K,L,N,S) vector<L> K(N,S)
#define DV(K,L,N,M,S) vector<vector<L>> K(N,vector<L>(M,S))
#define TV(K,L,N,M,R,S) vector<vector<vector<L>>> K(N,vector<vector<L>>(M,vector<L>(R,S)))
#define pint pair<lli,lli>
#define paf(L,R) pair<L,R>
#define mod 998244353
#define MAX 10000000
#define ALL(a)  a.begin(),a.end()
#define chmax(a, b) a = (((a)<(b)) ? (b) : (a))
#define chmin(a, b) a = (((a)>(b)) ? (b) : (a))
long long fac[MAX], finv[MAX], inv[MAX];
void COMinit() {
    fac[0] = fac[1] = 1;
    finv[0] = finv[1] = 1;
    inv[1] = 1;
    for (int i = 2; i < MAX; i++){
        fac[i] = fac[i - 1] * i % mod;
        inv[i] = mod - inv[mod%i] * (mod / i) % mod;
        finv[i] = finv[i - 1] * inv[i] % mod;
    }
}
lli nCr(lli n, lli r){
    if (n < r) return 0;
    if (n < 0 || r < 0) return 0;
    return fac[n] * (finv[r] * finv[n - r] % mod) % mod;
}
lli modpow(lli n,lli k,lli m){
  if(k==0)return 1;
  else if(k%2==1)return modpow(n,k-1,m)*n%m;
  else{
    lli temp=modpow(n,k/2,m);
    return temp*temp%m;
  }
}
int main(){
  ios::sync_with_stdio(false);
  cin.tie(0);
  lli A,B,X,Y,Z,N,M,num=0,sum=0,flag=0;string S,T;
  cin >> N >> M;
  COMinit();
  Vec(G,pint,0,pint(0,0));
  map<int,int>m1;
  while(M--){
    cin >> A >> B;
    G.pb(pint(A-1,B-1));
    m1[A-1]++;
    m1[B-1]++;
  }
  Vec(pk,pint,m1.size(),pint(0,0));
  for(auto v:m1)pk.pb(pint(pk.size(),v.first));
  map<int,int>m2;
  for(auto v:pk)m2[v.second]=v.first;
  rep(i,0,M){
    G[i].first=m2[G[i].first];
    G[i].second=m2[G[i].second];
  }
  M=G.size();
  Vec(dp,lli,N+1,1);
  Vec(dp2,lli,N+1,1);
  rep(i,2,N+1)dp[i]=i*(dp[i-1]+1)%mod;
  rep(i,2,N+1)dp2[i]=i*(dp2[i-1])%mod;
  rep(i,3,N+1)sum=(sum+dp2[i-1]*nCr(N,i)/2)%mod;
  for(lli i=1;i<(1<<M);i++){
    DV(Gp,int,30,0,0);
    X=0,Y=0,Z=0;
    flag=1;
    Vec(dist,lli,30,-1);
    rep(j,0,M)if(i&(1<<j)){
      Gp[G[j].first].pb(G[j].second);
      Gp[G[j].second].pb(G[j].first);
      dist[G[j].first]=0;
      dist[G[j].second]=0;
      X++;  
    }
    rep(j,0,30)Y+=dist[j]+1;
    rep(j,0,30)if(Gp[j].size()>2)flag=0;
    if(!flag)continue;
    rep(j,0,30){
      if(!Gp[j].size())continue;
      if(dist[j])continue;
      dist[j]=1;
      queue<int>que;
      que.push(j);
      while(!que.empty()){
        auto v=que.front();que.pop();
        for(auto nv:Gp[v]){
          if(dist[nv])continue;
          dist[nv]=dist[v];
          que.push(nv);
        }
      }
      Z++;
    }
    if(Y-Z>=X){
      if(X==1)sum+=pow(-1,X%2)*dp[N-2];
      else{
        num=0;
        rep(j,0,N-Y+1)num=(num+dp2[j]*nCr(N-Y,j)%mod*nCr(j+Z-1,Z-1)%mod)%mod;
        sum+=pow(-1,X%2)*(dp2[Z-1]*modpow(2,Z-1,mod)%mod*num%mod);
      }
    }
    else if(X==Y&&Z==1)sum+=pow(-1,X%2);
    //cout << X << " " << Y << " " << Z << " " << sum << endl;
    sum=(sum+mod)%mod;
  }
  Out(sum);
}
0