#896286 (C++17) No.2396 等差二項展開

• 問題: No.2396 等差二項展開
• ユーザー: Kude
• 提出日時: 2023-07-28 22:37:32
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 186 ms / 6,000 ms
• コード長: 1,280 bytes
• コンパイル時間: 2,408 ms
• コンパイル使用メモリ: 218,100 KB
• 実行使用メモリ: 5,376 KB
• 最終ジャッジ日時: 2024-04-16 06:34:56
• 合計ジャッジ時間: 4,772 ms
• ジャッジサーバーID （参考情報）: judge4 / judge3

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 5,248 KB
testcase_01	AC	2 ms; 5,376 KB
testcase_02	AC	2 ms; 5,376 KB
testcase_03	AC	2 ms; 5,376 KB
testcase_04	AC	2 ms; 5,376 KB
testcase_05	AC	2 ms; 5,376 KB
testcase_06	AC	2 ms; 5,376 KB
testcase_07	AC	2 ms; 5,376 KB
testcase_08	AC	2 ms; 5,376 KB
testcase_09	AC	2 ms; 5,376 KB
testcase_10	AC	2 ms; 5,376 KB
testcase_11	AC	2 ms; 5,376 KB
testcase_12	AC	2 ms; 5,376 KB
testcase_13	AC	2 ms; 5,376 KB
testcase_14	AC	2 ms; 5,376 KB
testcase_15	AC	3 ms; 5,376 KB
testcase_16	AC	24 ms; 5,376 KB
testcase_17	AC	84 ms; 5,376 KB
testcase_18	AC	131 ms; 5,376 KB
testcase_19	AC	186 ms; 5,376 KB
testcase_20	AC	2 ms; 5,376 KB
testcase_21	AC	2 ms; 5,376 KB
testcase_22	AC	2 ms; 5,376 KB
testcase_23	AC	112 ms; 5,376 KB
testcase_24	AC	141 ms; 5,376 KB
testcase_25	AC	140 ms; 5,376 KB
testcase_26	AC	127 ms; 5,376 KB
testcase_27	AC	141 ms; 5,376 KB
testcase_28	AC	127 ms; 5,376 KB
testcase_29	AC	140 ms; 5,376 KB
testcase_30	AC	126 ms; 5,376 KB

ソースコード

#include<bits/stdc++.h>
namespace {
#pragma GCC diagnostic ignored "-Wunused-function"
#include<atcoder/all>
#pragma GCC diagnostic warning "-Wunused-function"
using namespace std;
using namespace atcoder;
#define rep(i,n) for(int i = 0; i < (int)(n); i++)
#define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--)
#define all(x) begin(x), end(x)
#define rall(x) rbegin(x), rend(x)
template<class T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; }
template<class T> bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; }
using ll = long long;
using P = pair<int,int>;
using VI = vector<int>;
using VVI = vector<VI>;
using VL = vector<ll>;
using VVL = vector<VL>;
using mint = modint;

} int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  ll n, m0, l, k, b;
  cin >> n >> m0 >> l >> k >> b;
  mint::set_mod(b);
  mint m = m0;
  vector<mint> f(l);
  f[0] = 1;
  rrep(t, __lg(n) + 1) {
    vector<mint> f2(l);
    rep(i, l) rep(j, l) {
      if (i + j < l) f2[i + j] += f[i] * f[j];
      else f2[i + j - l] += f[i] * f[j] * m;
    }
    f = move(f2);
    if (n >> t & 1) {
      mint tmp = f[l - 1];
      rrep(i, l - 1) f[i + 1] += f[i];
      f[0] += tmp * m;
    }
  }
  cout << f[k].val() << '\n';
}