結果
問題 | No.2083 OR Subset |
ユーザー | milanis48663220 |
提出日時 | 2022-09-27 00:18:49 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 1,274 ms / 3,000 ms |
コード長 | 2,939 bytes |
コンパイル時間 | 1,234 ms |
コンパイル使用メモリ | 124,392 KB |
実行使用メモリ | 101,324 KB |
最終ジャッジ日時 | 2024-06-02 00:34:03 |
合計ジャッジ時間 | 13,769 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 50 ms
101,320 KB |
testcase_01 | AC | 51 ms
101,260 KB |
testcase_02 | AC | 51 ms
101,280 KB |
testcase_03 | AC | 667 ms
101,224 KB |
testcase_04 | AC | 377 ms
101,204 KB |
testcase_05 | AC | 1,128 ms
101,288 KB |
testcase_06 | AC | 331 ms
101,252 KB |
testcase_07 | AC | 72 ms
101,268 KB |
testcase_08 | AC | 86 ms
101,304 KB |
testcase_09 | AC | 667 ms
101,204 KB |
testcase_10 | AC | 429 ms
101,324 KB |
testcase_11 | AC | 261 ms
101,208 KB |
testcase_12 | AC | 178 ms
101,324 KB |
testcase_13 | AC | 1,247 ms
101,284 KB |
testcase_14 | AC | 1,203 ms
101,296 KB |
testcase_15 | AC | 1,203 ms
101,256 KB |
testcase_16 | AC | 1,221 ms
101,280 KB |
testcase_17 | AC | 1,257 ms
101,232 KB |
testcase_18 | AC | 51 ms
101,304 KB |
testcase_19 | AC | 1,274 ms
101,292 KB |
ソースコード
#include <iostream> #include <algorithm> #include <iomanip> #include <vector> #include <queue> #include <deque> #include <set> #include <map> #include <tuple> #include <cmath> #include <numeric> #include <functional> #include <cassert> #include <atcoder/modint> #define debug_value(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << #x << "=" << x << endl; #define debug(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << x << endl; template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } using namespace std; typedef long long ll; template<typename T> vector<vector<T>> vec2d(int n, int m, T v){ return vector<vector<T>>(n, vector<T>(m, v)); } template<typename T> vector<vector<vector<T>>> vec3d(int n, int m, int k, T v){ return vector<vector<vector<T>>>(n, vector<vector<T>>(m, vector<T>(k, v))); } template<typename T> void print_vector(vector<T> v, char delimiter=' '){ if(v.empty()) { cout << endl; return; } for(int i = 0; i+1 < v.size(); i++) cout << v[i] << delimiter; cout << v.back() << endl; } const ll MOD = 998244353; using mint = atcoder::modint998244353; ostream& operator<<(ostream& os, const mint& m){ os << m.val(); return os; } #define N_MAX 5005 mint inv[N_MAX],fac[N_MAX],finv[N_MAX]; mint stirling[N_MAX][N_MAX]; void init(){ fac[0]=1;fac[1]=1; finv[0]=1;finv[1]=1; inv[1]=1; for(int i=2;i<N_MAX;i++){ inv[i]=mint(MOD)-inv[MOD%i]*(MOD/i); fac[i]=fac[i-1]*(ll) i; finv[i]=finv[i-1]*inv[i]; } stirling[0][0] = 1; for(int n = 1; n < N_MAX; n++){ for(int k = 1; k <= n; k++){ stirling[n][k] = stirling[n-1][k-1]+stirling[n-1][k]*k; } } } mint comb(ll n, ll r){ if(n < r){ return mint(0); }else{ return fac[n]*finv[r]*finv[n-r]; } } int naive(int n){ int m = 1<<n; auto ok = [&](vector<int> v){ int sz = v.size(); for(int i = 0; i < sz; i++){ int others = 0; for(int j = 0; j < sz; j++){ if(i == j) continue; others |= v[j]; } if((others|v[i]) == others) return false; } return true; }; int ans = 0; for(int s = 0; s < (1<<m); s++){ vector<int> v; for(int i = 0; i < m; i++){ if(s&(1<<i)) v.push_back(i); } if(ok(v)) ans++; } return ans; } int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << setprecision(10) << fixed; init(); int n; cin >> n; // cout << naive(n) << endl; mint ans = 1; for(int k = 1; k <= n; k++){ for(int x = k; x <= n; x++){ ans += comb(n, x)*stirling[x][k]*((mint(2).pow(k)-k).pow(n-x)); } } cout << ans << endl; }