結果

問題 No.980 Fibonacci Convolution Hard
ユーザー pekempeypekempey
提出日時 2020-02-14 11:09:05
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 368 ms / 2,000 ms
コード長 2,525 bytes
コンパイル時間 791 ms
コンパイル使用メモリ 74,852 KB
実行使用メモリ 18,980 KB
最終ジャッジ日時 2024-10-06 07:49:12
合計ジャッジ時間 10,326 ms
ジャッジサーバーID
(参考情報)
judge5 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 364 ms
18,828 KB
testcase_01 AC 354 ms
18,792 KB
testcase_02 AC 368 ms
18,788 KB
testcase_03 AC 352 ms
18,796 KB
testcase_04 AC 357 ms
18,852 KB
testcase_05 AC 354 ms
18,980 KB
testcase_06 AC 357 ms
18,792 KB
testcase_07 AC 365 ms
18,932 KB
testcase_08 AC 352 ms
18,832 KB
testcase_09 AC 355 ms
18,856 KB
testcase_10 AC 357 ms
18,816 KB
testcase_11 AC 362 ms
18,928 KB
testcase_12 AC 360 ms
18,832 KB
testcase_13 AC 358 ms
18,936 KB
testcase_14 AC 350 ms
18,928 KB
testcase_15 AC 353 ms
18,928 KB
testcase_16 AC 346 ms
18,836 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <iostream>
#include <algorithm>
#include <vector>

using namespace std;

using ll = long long;

constexpr int MOD = 1000000007;

class mint {
  int n;
public:
  mint(int n_ = 0) : n(n_) {}
  explicit operator int() { return n; }
  friend mint operator-(mint a) { return -a.n + MOD * (a.n != 0); }
  friend mint operator+(mint a, mint b) { int x = a.n + b.n; return x - (x >= MOD) * MOD; }
  friend mint operator-(mint a, mint b) { int x = a.n - b.n; return x + (x < 0) * MOD; }
  friend mint operator*(mint a, mint b) { return (long long)a.n * b.n % MOD; }
  friend mint &operator+=(mint &a, mint b) { return a = a + b; }
  friend mint &operator-=(mint &a, mint b) { return a = a - b; }
  friend mint &operator*=(mint &a, mint b) { return a = a * b; }
  friend bool operator==(mint a, mint b) { return a.n == b.n; }
  friend bool operator!=(mint a, mint b) { return a.n != b.n; }
  friend istream &operator>>(istream &i, mint &a) { return i >> a.n; }
  friend ostream &operator<<(ostream &o, mint a) { return o << a.n; }
};

vector<mint> kakeru(vector<mint> a, vector<mint> b) {
    const int n = a.size();
    const int m = b.size();
    vector<mint> c(n + m - 1);
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < m; j++) {
            c[i + j] += a[i] * b[j];
        }
    }
    return c;
}

vector<mint> nizyou(vector<mint> a) {
    return kakeru(a, a);
}

// b[0] が 1 でないと正しく動かない。
vector<mint> waru(vector<mint> a, vector<mint> b, int n) {
    a.resize(n + 1);
    const int m = b.size();
    vector<mint> c(n + 1);
    for (int i = 0; i <= n; i++) {
        c[i] = a[i];
        for (int j = 0; j < m && i + j <= n; j++) {
            a[i + j] -= b[j] * c[i];
        }
    }
    return c;
}


int main() {
    mint p;
    cin >> p;
    int Q;
    cin >> Q;
    // x^2f(x) =                     a[0] x^2 + a[1] x^3 + ...
    // px f(x) =         pa[0]x +    pa[1]x^2 + pa[2]x^3 + ...
    // f(x)    =  a[0] +  a[1]x +    a[2] x^2 + a[3]x^3  + ...
    // -------------------------------------------------------
    // f(x) - px f(x) - x^2 f(x) = a[0] + a[1]*x + a[2]*x^2 - p*a[0]*x - p*a[1]*x^2 - a[0]*x^2
    //                           = x^2
    // f(x) = x^2 / (1 - px - x^2)
    // f(x)^2 = x^4 / (1 - px - x^2)^2

    vector<mint> bunsi = {0, 0, 0, 0, 1};
    vector<mint> bunbo = nizyou({1, -p, -mint(1)});
    vector<mint> ans = waru(bunsi, bunbo, 2000000);
    for (int i = 0; i < Q; i++) {
        int q;
        cin >> q;
        cout << ans[q] << '\n';
    }
}
0