結果
| 問題 |
No.2503 Typical Path Counting Problem on a Grid
|
| コンテスト | |
| ユーザー |
emthrm
|
| 提出日時 | 2023-07-24 17:18:48 |
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 821 ms / 2,000 ms |
| コード長 | 1,801 bytes |
| コンパイル時間 | 893 ms |
| コンパイル使用メモリ | 87,180 KB |
| 実行使用メモリ | 316,032 KB |
| 最終ジャッジ日時 | 2024-09-15 13:58:21 |
| 合計ジャッジ時間 | 10,128 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge6 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 10 |
ソースコード
#include <array>
#include <cassert>
#include <cstdint>
#include <iostream>
#include <atcoder/modint>
int main() {
using mint = atcoder::modint998244353;
constexpr int kMaxT = 20000, kMaxN = 10000000;
constexpr std::int64_t kMaxM = 1000000000000000000;
using Matrix = std::array<std::array<mint, 2>, 2>;
const auto Mult = [](const Matrix& x, const Matrix& y) -> Matrix {
Matrix res{0, 0, 0, 0};
for (int i = 0; i < 2; ++i) {
for (int k = 0; k < 2; ++k) {
for (int j = 0; j < 2; ++j) {
res[i][j] += x[i][k] * y[k][j];
}
}
}
return res;
};
const auto Pow = [Mult](const Matrix& x, std::int64_t exponent) -> Matrix {
Matrix res{1, 0, 0, 1}, tmp = x;
for (; exponent > 0; exponent /= 2) {
if (exponent % 2 == 1) res = Mult(res, tmp);
tmp = Mult(tmp, tmp);
}
return res;
};
// 前計算
std::array<Matrix, kMaxN + 1> dp1{};
dp1[0][0][0] = dp1[0][1][1] = 1;
for (int i = 0; i < kMaxN; ++i) {
dp1[i + 1][0][0] = (i + 1) * 2;
dp1[i + 1][0][1] = 1;
dp1[i + 1][1][0] = i + 1;
dp1[i + 1] = Mult(dp1[i + 1], dp1[i]);
}
std::array<Matrix, kMaxN + 1> dp2{};
dp2[0][0][0] = dp2[0][1][1] = 1;
for (int i = 0; i < kMaxN; ++i) {
dp2[i + 1][0][0] = (i + 1) * 2;
dp2[i + 1][0][1] = 1;
dp2[i + 1][1][0] = i;
dp2[i + 1] = Mult(dp2[i], dp2[i + 1]);
}
int t;
std::cin >> t;
assert(1 <= t && t <= kMaxT);
while (t--) {
int n;
std::int64_t m;
std::cin >> n >> m;
assert(0 <= n && n <= kMaxN && 0 <= m && m <= kMaxM);
if (n > m) {
const int tmp = m;
m = n;
n = tmp;
}
const Matrix dp =
Mult(Mult(dp2[n], Pow(Matrix{n * 2 + 1, 1, n, 0}, m - n)), dp1[n]);
std::cout << dp[0][0].val() << '\n';
}
return 0;
}
emthrm