結果

問題 No.1049 Zero (Exhaust)
ユーザー onsen_manjuuuonsen_manjuuu
提出日時 2020-06-13 04:37:52
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 92 ms / 2,000 ms
コード長 3,562 bytes
コンパイル時間 2,997 ms
コンパイル使用メモリ 172,544 KB
実行使用メモリ 59,428 KB
最終ジャッジ日時 2023-09-06 13:59:58
合計ジャッジ時間 5,443 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 5 ms
4,616 KB
testcase_01 AC 5 ms
4,532 KB
testcase_02 AC 5 ms
4,528 KB
testcase_03 AC 63 ms
42,008 KB
testcase_04 AC 5 ms
4,540 KB
testcase_05 AC 54 ms
35,008 KB
testcase_06 AC 91 ms
59,344 KB
testcase_07 AC 16 ms
11,440 KB
testcase_08 AC 32 ms
20,564 KB
testcase_09 AC 71 ms
45,444 KB
testcase_10 AC 77 ms
49,324 KB
testcase_11 AC 77 ms
49,368 KB
testcase_12 AC 87 ms
56,564 KB
testcase_13 AC 24 ms
16,204 KB
testcase_14 AC 42 ms
27,804 KB
testcase_15 AC 65 ms
42,720 KB
testcase_16 AC 53 ms
35,368 KB
testcase_17 AC 56 ms
36,996 KB
testcase_18 AC 76 ms
50,044 KB
testcase_19 AC 65 ms
43,204 KB
testcase_20 AC 31 ms
20,224 KB
testcase_21 AC 68 ms
44,384 KB
testcase_22 AC 40 ms
26,672 KB
testcase_23 AC 92 ms
59,428 KB
testcase_24 AC 91 ms
59,360 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>

using namespace std;
using ll = long long;
const ll mod = 1e9 + 7;

#define MOD 1000000007
template<int mod>
struct ModInt{
   int x;
   ModInt():x(0){}
   ModInt(long long y):x(y>=0?y%mod:(mod-(-y)%mod)%mod){}
   ModInt &operator+=(const ModInt &p){
       if((x+=p.x)>=mod)x-=mod;
       return *this;
   }
   ModInt &operator-=(const ModInt &p){
       if((x+=mod-p.x)>=mod)x-=mod;
       return *this;
   }
   ModInt &operator*=(const ModInt &p){
       x=(int)(1LL*x*p.x%mod);
       return *this;
   }
   ModInt &operator/=(const ModInt &p){
       *this*=p.inverse();
       return *this;
   }
   ModInt &operator^=(long long p){
       ModInt res = 1;
       for (; p; p >>= 1) {
           if (p & 1) res *= *this;
           *this *= *this;
       }
       return *this = res;
   }
   ModInt operator-()const{return ModInt(-x);}
   ModInt operator+(const ModInt &p)const{return ModInt(*this)+=p;}
   ModInt operator-(const ModInt &p)const{return ModInt(*this)-=p;}
   ModInt operator*(const ModInt &p)const{return ModInt(*this)*=p;}
   ModInt operator/(const ModInt &p)const{return ModInt(*this)/=p;}
   ModInt operator^(long long p)const{return ModInt(*this)^=p;}
   bool operator==(const ModInt &p)const{return x==p.x;}
   bool operator!=(const ModInt &p)const{return x!=p.x;}
   explicit operator int() const { return x; }
   ModInt operator=(const int p) {x = p; return ModInt(*this);}
   ModInt inverse()const{
       int a=x,b=mod,u=1,v=0,t;
       while(b>0){
           t=a/b;
           a-=t*b;
           std::swap(a,b);
           u-=t*v;
           std::swap(u,v);
       }
       return ModInt(u);
   }
   friend std::ostream &operator<<(std::ostream &os,const ModInt<mod> &p){
       return os<<p.x;
   }
   friend std::istream &operator>>(std::istream &is,ModInt<mod> &a){
       long long x;
       is>>x;
       a=ModInt<mod>(x);
       return (is);
   }
};
typedef ModInt<MOD> mint;
 
struct MComb {
   std::vector<mint> fact;
   std::vector<mint> inversed;
   MComb(int n) { // O(n+log(mod))
       fact = std::vector<mint>(n+1,1);
       for (int i = 1; i <= n; i++) fact[i] = fact[i-1]*mint(i);
       inversed = std::vector<mint>(n+1);
       inversed[n] = fact[n] ^ (MOD-2);
       for (int i = n - 1; i >= 0; i--) inversed[i]=inversed[i+1]*mint(i+1);
   }
   mint ncr(int n, int r) {
        if (n < r) return 0;
        if (n < 0 || r < 0) return 0;
       return (fact[n] * inversed[r] * inversed[n-r]);
   }
   mint npr(int n, int r) {
        if (n < r) return 0;
        if (n < 0 || r < 0) return 0;
       return (fact[n] * inversed[n-r]);
   }
   mint nhr(int n, int r) {
       assert(n+r-1 < (int)fact.size());
       return ncr(n+r-1, r);
   }
   mint fac(int n) {
       if(n < 0)return 0;
       return fact[n];
   }
};
MComb comb(200000);
 
mint ncr(int n, int r) {
   mint res = 1;
   for (int i = n - r + 1; i <= n; i++) res *= i;
   for (int i = 1; i <= r; i++) res /= i;
   return res;
}



int main()
{
    int p, k; cin >> p >> k;
    vector<vector<mint>> dp(k + 1, vector<mint>(2));   
    dp[0][0] = 1;

    for(int i = 0; i < k; i++) {
        dp[i + 1][0] = dp[i][0] * (p + 1) + dp[i][1] * 2 * (p - 1); // dp[i + 1][0] は dp[i][0]から0から掛けて遷移する通りがP個 + 足し算が1個 非零から足し算と掛け算
        dp[i + 1][1] = dp[i][0] + dp[i][1] * 2 * (p - 1); //dp[i + 1][1]はdp[i][0]から足し算で一個, dp[i][1]から掛け算と割り算で(p-1)こずつ
    }
    cout << (dp[k][0]) << endl;
}

//本質は非零に共通点があること
0