結果
問題 | No.1879 How many matchings? |
ユーザー | fumofumofuni |
提出日時 | 2022-03-18 23:00:51 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 7 ms / 2,000 ms |
コード長 | 4,292 bytes |
コンパイル時間 | 2,097 ms |
コンパイル使用メモリ | 206,876 KB |
最終ジャッジ日時 | 2025-01-28 10:37:15 |
ジャッジサーバーID (参考情報) |
judge2 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 15 |
ソースコード
#include<bits/stdc++.h> using namespace std; #define rep(i,n) for(ll i=0;i<n;i++) #define repl(i,l,r) for(ll i=(l);i<(r);i++) #define per(i,n) for(ll i=(n)-1;i>=0;i--) #define perl(i,r,l) for(ll i=r-1;i>=l;i--) #define fi first #define se second #define pb push_back #define ins insert #define pqueue(x) priority_queue<x,vector<x>,greater<x>> #define all(x) (x).begin(),(x).end() #define CST(x) cout<<fixed<<setprecision(x) #define vtpl(x,y,z) vector<tuple<x,y,z>> #define rev(x) reverse(x); using ll=long long; using vl=vector<ll>; using vvl=vector<vector<ll>>; using pl=pair<ll,ll>; using vpl=vector<pl>; using vvpl=vector<vpl>; const ll MOD=1000000007; const ll MOD9=998244353; const int inf=1e9+10; const ll INF=4e18; const ll dy[9]={0,-1,0,1,1,1,-1,-1,0}; const ll dx[9]={-1,0,1,0,1,-1,1,-1,0}; template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; } template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; } const int mod = 1000000007; const int max_n = 200005; struct mint { ll x; // typedef long long ll; mint(ll x=0):x((x%mod+mod)%mod){} mint operator-() const { return mint(-x);} mint& operator+=(const mint a) { if ((x += a.x) >= mod) x -= mod; return *this; } mint& operator-=(const mint a) { if ((x += mod-a.x) >= mod) x -= mod; return *this; } mint& operator*=(const mint a) { (x *= a.x) %= mod; return *this;} mint operator+(const mint a) const { return mint(*this) += a;} mint operator-(const mint a) const { return mint(*this) -= a;} mint operator*(const mint a) const { return mint(*this) *= a;} mint pow(ll t) const { if (!t) return 1; mint a = pow(t>>1); a *= a; if (t&1) a *= *this; return a; } bool operator==(const mint &p) const { return x == p.x; } bool operator!=(const mint &p) const { return x != p.x; } // for prime mod mint inv() const { return pow(mod-2);} mint& operator/=(const mint a) { return *this *= a.inv();} mint operator/(const mint a) const { return mint(*this) /= a;} }; istream& operator>>(istream& is, mint& a) { return is >> a.x;} ostream& operator<<(ostream& os, const mint& a) { return os << a.x;} using vm=vector<mint>; using vvm=vector<vm>; struct combination { vector<mint> fact, ifact; combination(int n):fact(n+1),ifact(n+1) { assert(n < mod); 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]; } }comb(max_n); template<class T> struct bostan_mori { vector<T> p, q; bostan_mori(vector<T> &_p, vector<T> &_q) : p(_p), q(_q) {} void rever(vector<T> &f) const { int d = f.size(); rep(i, d) if (i&1) f[i] = -f[i]; } void even(vector<T> &f) const { int d = (f.size() + 1) >> 1; rep(i, d) f[i] = f[i<<1]; f.resize(d); } void odd(vector<T> &f) const { int d = f.size() >> 1; rep(i, d) f[i] = f[i<<1|1]; f.resize(d); } vector<T> convolution(vector<T> a,vector<T> b) const{ int n=a.size(),m=b.size(); vector<T> c(n+m-1); rep(i,n)rep(j,m)c[i+j]+=a[i]*b[j]; return c; } T operator[] (ll n) const { vector<T> _p(p), _q(q), _q_rev(q); rever(_q_rev); for (; n; n >>= 1) { _p = convolution(move(_p), _q_rev); if (n&1) odd(_p); else even(_p); _q = convolution(move(_q), move(_q_rev)); even(_q); _q_rev = _q; rever(_q_rev); } return _p[0] / _q[0]; } }; vm conv(vm a,vm b){ ll n=a.size(),m=b.size(); vm c(n+m-1); rep(i,n)rep(j,m)c[i+j]+=a[i]*b[j]; return c; } int main(){ ll n;cin >> n; if(n&1){ if(n==1)cout << 1 << endl,exit(0); vm q(3,mint(-1));q[0]=1; q=conv(q,q); vm p={1,2,5,10}; p=conv(p,q); while(p.size()>4)p.pop_back(); bostan_mori<mint> v(p,q); cout << v[n/2]+v[n/2-1] << endl; } else{ vm q(3,-1);q[0]=1; vm p={1,1}; p=conv(p,q); while(p.size()>2)p.pop_back(); bostan_mori<mint> v(p,q); cout << v[n/2] << endl; } }