結果
問題 | No.1832 NAND Reversible |
ユーザー | riano |
提出日時 | 2022-01-23 15:54:35 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 71 ms / 2,000 ms |
コード長 | 3,201 bytes |
コンパイル時間 | 1,637 ms |
コンパイル使用メモリ | 170,004 KB |
実行使用メモリ | 6,400 KB |
最終ジャッジ日時 | 2024-11-29 16:51:40 |
合計ジャッジ時間 | 3,625 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,248 KB |
testcase_01 | AC | 2 ms
5,248 KB |
testcase_02 | AC | 2 ms
5,248 KB |
testcase_03 | AC | 70 ms
6,400 KB |
testcase_04 | AC | 69 ms
6,400 KB |
testcase_05 | AC | 69 ms
6,400 KB |
testcase_06 | AC | 69 ms
6,400 KB |
testcase_07 | AC | 70 ms
6,400 KB |
testcase_08 | AC | 70 ms
6,400 KB |
testcase_09 | AC | 69 ms
6,400 KB |
testcase_10 | AC | 70 ms
6,400 KB |
testcase_11 | AC | 2 ms
5,248 KB |
testcase_12 | AC | 2 ms
5,248 KB |
testcase_13 | AC | 2 ms
5,248 KB |
testcase_14 | AC | 2 ms
5,248 KB |
testcase_15 | AC | 35 ms
5,248 KB |
testcase_16 | AC | 56 ms
5,632 KB |
testcase_17 | AC | 62 ms
6,016 KB |
testcase_18 | AC | 69 ms
6,400 KB |
testcase_19 | AC | 60 ms
5,888 KB |
testcase_20 | AC | 70 ms
6,400 KB |
testcase_21 | AC | 71 ms
6,272 KB |
testcase_22 | AC | 70 ms
6,400 KB |
testcase_23 | AC | 2 ms
5,248 KB |
testcase_24 | AC | 2 ms
5,248 KB |
testcase_25 | AC | 70 ms
6,272 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; #define ll long long #define rep(i,n) for(int i=0;i<n;i++) #define riano_ std::ios::sync_with_stdio(false);std::cin.tie(nullptr) const ll mod = 998244353; template<uint64_t mod> struct modint{ uint64_t val; constexpr modint(const int64_t val_=0) noexcept:val((val_%int64_t(mod)+int64_t(mod))%int64_t(mod)){} constexpr modint operator-() const noexcept{ return modint(*this)=mod-val; } constexpr modint operator+(const modint rhs) const noexcept{ return modint(*this)+=rhs; } constexpr modint operator-(const modint rhs) const noexcept{ return modint(*this)-=rhs; } constexpr modint operator*(const modint rhs) const noexcept{ return modint(*this)*=rhs; } constexpr modint operator/(const modint rhs) const noexcept{ return modint(*this)/=rhs; } constexpr modint &operator+=(const modint rhs) noexcept{ val+=rhs.val; val-=((val>=mod)?mod:0); return (*this); } constexpr modint &operator-=(const modint rhs) noexcept{ val+=((val<rhs.val)?mod:0); val-=rhs.val; return (*this); } constexpr modint &operator*=(const modint rhs) noexcept{ val=val*rhs.val%mod; return (*this); } constexpr modint &operator/=(modint rhs) noexcept{ uint64_t ex=mod-2; modint now=1; while(ex){ now*=((ex&1)?rhs:1); rhs*=rhs,ex>>=1; } return (*this)*=now; } modint & operator++(){ val++; if (val == mod) val = 0; return *this; } modint operator++(int){ modint<mod> res = *this; ++*this; return res; } constexpr bool operator==(const modint rhs) noexcept{ return val==rhs.val; } constexpr bool operator!=(const modint rhs) noexcept{ return val!=rhs.val; } friend constexpr ostream &operator<<(ostream& os,const modint x) noexcept{ return os<<(x.val); } friend constexpr istream &operator>>(istream& is,modint& x) noexcept{ uint64_t t; is>>t,x=t; return is; } }; typedef modint<mod> mint; mint modinv(long long a, long long m = mod) { long long b = m, u = 1, v = 0; while (b) { long long t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } u %= m; return mint(u); } //Combination vector<ll> fact; vector<ll> invf; ll comb(ll n,ll k){ if(n<0||k<0||k>n) return 0LL; else{ ll a = fact[n]*invf[k]%mod; a = a*invf[n-k]%mod; return a; } } int main() { riano_; mint ans = 0; ll N,K; cin >> N >> K; fact.assign(N+1,1LL); invf.assign(N+1,1LL); rep(i,N) fact[i+1] = fact[i]*(i+1)%mod; rep(i,N+1) invf[i] = modinv(fact[i],mod).val; if(K==0){ cout << 1 << endl; return 0; } if(K==1){ if(N%2==0){ cout << 2 << endl; } else{ cout << N-2 << endl; } return 0; } ll M = ((N-K)/2)*2; for(int i=0;i<=M;i+=2){ ans += mint(i+1)*mint(comb(N-2-i,K-2)); } cout << ans << endl; }