結果
問題 | No.2345 max(l,r) |
ユーザー | woodywoody |
提出日時 | 2023-06-09 23:59:27 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 6,426 bytes |
コンパイル時間 | 3,409 ms |
コンパイル使用メモリ | 232,456 KB |
実行使用メモリ | 83,072 KB |
最終ジャッジ日時 | 2024-06-10 15:01:52 |
合計ジャッジ時間 | 15,675 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 110 ms
81,340 KB |
testcase_01 | WA | - |
testcase_02 | AC | 155 ms
81,408 KB |
testcase_03 | WA | - |
testcase_04 | WA | - |
testcase_05 | WA | - |
testcase_06 | WA | - |
testcase_07 | WA | - |
testcase_08 | WA | - |
testcase_09 | WA | - |
testcase_10 | WA | - |
testcase_11 | WA | - |
testcase_12 | AC | 153 ms
81,408 KB |
testcase_13 | WA | - |
testcase_14 | WA | - |
testcase_15 | WA | - |
testcase_16 | WA | - |
testcase_17 | WA | - |
testcase_18 | WA | - |
testcase_19 | WA | - |
testcase_20 | WA | - |
testcase_21 | WA | - |
testcase_22 | AC | 126 ms
82,448 KB |
testcase_23 | AC | 126 ms
82,432 KB |
testcase_24 | AC | 117 ms
81,664 KB |
testcase_25 | AC | 122 ms
81,396 KB |
testcase_26 | AC | 121 ms
81,364 KB |
testcase_27 | AC | 119 ms
81,388 KB |
testcase_28 | AC | 118 ms
82,400 KB |
testcase_29 | AC | 122 ms
82,304 KB |
testcase_30 | AC | 115 ms
81,748 KB |
testcase_31 | AC | 126 ms
82,816 KB |
testcase_32 | AC | 119 ms
81,920 KB |
testcase_33 | AC | 120 ms
82,144 KB |
testcase_34 | AC | 110 ms
81,392 KB |
testcase_35 | AC | 113 ms
81,792 KB |
testcase_36 | AC | 116 ms
81,752 KB |
testcase_37 | AC | 119 ms
81,920 KB |
testcase_38 | AC | 130 ms
82,872 KB |
testcase_39 | WA | - |
testcase_40 | WA | - |
testcase_41 | AC | 133 ms
82,944 KB |
testcase_42 | AC | 133 ms
82,896 KB |
testcase_43 | AC | 132 ms
82,948 KB |
testcase_44 | WA | - |
testcase_45 | WA | - |
testcase_46 | WA | - |
testcase_47 | WA | - |
testcase_48 | WA | - |
testcase_49 | WA | - |
testcase_50 | WA | - |
testcase_51 | WA | - |
testcase_52 | WA | - |
testcase_53 | WA | - |
testcase_54 | WA | - |
testcase_55 | WA | - |
testcase_56 | WA | - |
testcase_57 | WA | - |
testcase_58 | WA | - |
testcase_59 | WA | - |
testcase_60 | WA | - |
testcase_61 | WA | - |
testcase_62 | WA | - |
testcase_63 | WA | - |
testcase_64 | WA | - |
testcase_65 | WA | - |
testcase_66 | WA | - |
testcase_67 | WA | - |
testcase_68 | AC | 427 ms
81,320 KB |
ソースコード
#include<bits/stdc++.h> #include<atcoder/all> #define rep(i,b) for(int i=0;i<b;i++) #define rrep(i,b) for(int i=b-1;i>=0;i--) #define rep1(i,b) for(int i=1;i<b;i++) #define repx(i,x,b) for(int i=x;i<b;i++) #define rrepx(i,x,b) for(int i=b-1;i>=x;i--) #define fore(i,a) for(auto& i:a) #define rng(x) (x).begin(), (x).end() #define rrng(x) (x).rbegin(), (x).rend() #define sz(x) ((int)(x).size()) #define pb push_back #define fi first #define se second #define pcnt __builtin_popcountll using namespace std; using namespace atcoder; using ll = long long; using ld = long double; template<typename T> using mpq = priority_queue<T, vector<T>, greater<T>>; template<typename T> bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; } template<typename T> bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; } template<typename T> ll sumv(const vector<T>&a){ll res(0);for(auto&&x:a)res+=x;return res;} bool yn(bool a) { if(a) {cout << "Yes" << endl; return true;} else {cout << "No" << endl; return false;}} #define dame { cout << "No" << endl; return;} #define dame1 { cout << -1 << endl; return;} #define cout2(x,y) cout << x << " " << y << endl; #define coutp(p) cout << p.fi << " " << p.se << endl; #define out cout << ans << endl; #define outd cout << fixed << setprecision(20) << ans << endl; #define outm cout << ans.val() << endl; #define outv fore(yans , ans) cout << yans << "\n"; #define outdv fore(yans , ans) cout << yans.val() << "\n"; #define coutv(v) {fore(vy , v) {cout << vy << " ";} cout << endl;} #define coutv2(v) fore(vy , v) cout << vy << "\n"; #define coutvm(v) {fore(vy , v) {cout << vy.val() << " ";} cout << endl;} #define coutvm2(v) fore(vy , v) cout << vy.val() << "\n"; using pll = pair<ll,ll>;using pil = pair<int,ll>;using pli = pair<ll,int>;using pii = pair<int,int>;using pdd = pair<ld,ld>; using vi = vector<int>;using vd = vector<ld>;using vl = vector<ll>;using vs = vector<string>;using vb = vector<bool>; using vpii = vector<pii>;using vpli = vector<pli>;using vpll = vector<pll>;using vpil = vector<pil>; using vvi = vector<vector<int>>;using vvl = vector<vector<ll>>;using vvs = vector<vector<string>>;using vvb = vector<vector<bool>>; using vvpii = vector<vector<pii>>;using vvpli = vector<vector<pli>>;using vvpll = vector<vpll>;using vvpil = vector<vpil>; using mint = modint998244353; //using mint = modint1000000007; //using mint = dynamic_modint<0>; using vm = vector<mint>; using vvm = vector<vector<mint>>; vector<int> dx={1,0,-1,0,1,1,-1,-1},dy={0,1,0,-1,1,-1,1,-1}; ll gcd(ll a, ll b) { return a?gcd(b%a,a):b;} ll lcm(ll a, ll b) { return a/gcd(a,b)*b;} #define yes {cout <<"Yes"<<endl;} #define yesr { cout <<"Yes"<<endl; return;} #define no {cout <<"No"<<endl;} #define nor { cout <<"No"<<endl; return;} const double eps = 1e-10; const ll LINF = 1001002003004005006ll; const int INF = 1001001001; #ifdef MY_LOCAL_DEBUG #define show(x) cerr<<#x<<" = "<<x<<endl #define showp(p) cerr<<#p<<" = "<<p.fi<<" : "<<p.se<<endl #define show2(x,y) cerr<<#x<<" = "<<x<<" : "<<#y<<" = "<<y<<endl #define show3(x,y,z) cerr<<#x<<" = "<<x<<" : "<<#y<<" = "<<y<<" : "<<#z<<" = "<<z<<endl #define show4(x,y,z,x2) cerr<<#x<<" = "<<x<<" : "<<#y<<" = "<<y<<" : "<<#z<<" = "<<z<<" : "<<#x2<<" = "<<x2<<endl #define test(x) cout << "test" << x << endl #define showv(v) {fore(vy , v) {cout << vy << " ";} cout << endl;} #define showv2(v) fore(vy , v) cout << vy << "\n"; #define showvm(v) {fore(vy , v) {cout << vy.val() << " ";} cout << endl;} #define showvm2(v) fore(vy , v) cout << vy.val() << "\n"; #else #define show(x) #define showp(p) #define show2(x,y) #define show3(x,y,z) #define show4(x,y,z,x2) #define test(x) #define showv(v) #define showv2(v) #define showvm(v) #define showvm2(v) #endif struct combination { vector<mint> fact, ifact; combination(int n):fact(n+1),ifact(n+1) { fact[0] = 1; for (int i = 1; i <= n; ++i) fact[i] = fact[i-1]*i; ifact[n] = fact[n].inv(); for (int i = n; i >= 1; --i) ifact[i-1] = ifact[i]*i; } mint operator()(int n, int k) { if (k < 0 || k > n) return 0; return fact[n]*ifact[k]*ifact[n-k]; } } com(10000005); void solve(){ int n,m; cin>>n>>m; // vi l(n); vi cnt(n),a(n); rep(i,n) cin>>a[i]; rep(i,n) cnt[a[i]]++; mint ans = 1; int res = n; int now = 0; int kind = 0; int r=n; bool ok = true; int ok3 = 0; while(r--){ if (cnt[r]==0) continue; res -= cnt[r]; if (cnt[r]%2==1){ if (res+now==r){ break; }else{ ok = false; break; } }else{ if (res+now+cnt[r]/2==r){ kind += 2; ans *= com(cnt[r],cnt[r]/2); }else{ if (res+now==r){ break; }else{ ok = false; break; } } } now += cnt[r]/2; } rep(i,now) if (cnt[i]>0) ok = false; rep(i,n-now) cnt[i] = cnt[i+now]; n -= now*2; r -= now; if (!ok){ cout << 0 << endl; return; } res = n; now = 0; rrep(i,r+1){ if (cnt[i]==0) continue; ok3++; kind++; res -= cnt[i]; if (now>res || i>res){ res += cnt[i]; kind--; ok3--; int r = res; int l = now+res; int kr = 0; int kl = 0; rrep(j,i+1){ if (cnt[j]==0) continue; kind++; ok3++; if (j==l-cnt[j]){ l -= cnt[j]; if (j<kr) ok = false; kr += cnt[j]; }else if(j==r-cnt[j]){ r -= cnt[j]; if (j<kl) ok = false; kl += cnt[j]; }else{ ok = false; } // if (now!=j) ok = false; // now += cnt[j]; } break; }else{ if (res!=i) ok = false; } now += cnt[i]; } if (!ok){ ans = 0; } ans *= com(m,kind); if (ok3>=2) ans *= 2; outm; return; } int main(){ ios::sync_with_stdio(false); cin.tie(0); int t = 1; cin>>t; rep(i,t){ solve(); } return 0; }