test/fps_rational_coefficients.test.cpp

test/fps_rational_coefficients.test.cpp · GitHub で見る

検証問題

依存ライブラリ

• Fast I/O
• 非負整数の一括入出力
• 非負整数の一括出力
• FPS のブロック変換
• FPS の融合畳み込み
• FPS の定数係数畳み込み
• FPS の非対称畳み込み
• FPS と多項式除算の内部変換
• FPS の指数・冪の内部変換
• FPS の一点評価
• FPS 逆数のブロック変換
• FPS の一括入出力
• FPS の内部演算
• FPS の結果配列への一括変換
• 疎 FPS の共通演算
• 疎 FPS の次数圧縮・前処理
• 疎 FPS の項収集・演算種別
• FPS 平方根のブロック変換
• FPS の作業領域
• FPS の一括出力
• modint998244353 の共通剰余演算
• modint998244353 の共有畳み込み
• NTT（998244353）（高速版）
• 有理 FPS の区間係数取得の共通処理
• 形式的冪級数（高速版）
• 有理 FPS の区間係数取得（高速版）
• modint998244353

コード

#define PROBLEM "https://judge.yosupo.jp/problem/consecutive_terms_of_linear_recurrent_sequence"
#include "fps/rational_fps_coefficients.hpp"
#include "fixtures/fps_bulk_io.hpp"

int main() {
	FastInput input;
	FastOutput output;
	int d = 0, count = 0;
	long long k = 0;
	input.read(d), input.read(k), input.read(count);
	fps a = read_fps(input, d), c = read_fps(input, d), q(d + 1);
	q[0] = 1;
	for (int i = 0; i < d; ++i) q[i + 1] = -c[i];
	fps p = fps::multiply(a, q).pre(d);
	write_fps(output, rational_fps_coefficients(std::move(p), std::move(q), k, k + count));
}

Back to top page