結果

問題 No.510 二次漸化式
ユーザー pekempeypekempey
提出日時 2017-04-30 18:20:30
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 49 ms / 3,000 ms
コード長 2,373 bytes
コンパイル時間 860 ms
コンパイル使用メモリ 75,568 KB
実行使用メモリ 20,476 KB
最終ジャッジ日時 2023-10-11 23:52:56
合計ジャッジ時間 3,413 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,356 KB
testcase_01 AC 1 ms
4,352 KB
testcase_02 AC 16 ms
4,356 KB
testcase_03 AC 16 ms
4,352 KB
testcase_04 AC 15 ms
4,352 KB
testcase_05 AC 16 ms
4,352 KB
testcase_06 AC 22 ms
5,104 KB
testcase_07 AC 22 ms
5,132 KB
testcase_08 AC 22 ms
5,132 KB
testcase_09 AC 22 ms
5,196 KB
testcase_10 AC 9 ms
4,352 KB
testcase_11 AC 10 ms
4,352 KB
testcase_12 AC 9 ms
4,356 KB
testcase_13 AC 9 ms
4,352 KB
testcase_14 AC 10 ms
4,352 KB
testcase_15 AC 10 ms
4,356 KB
testcase_16 AC 29 ms
20,180 KB
testcase_17 AC 30 ms
20,204 KB
testcase_18 AC 30 ms
20,276 KB
testcase_19 AC 29 ms
20,228 KB
testcase_20 AC 30 ms
20,232 KB
testcase_21 AC 29 ms
20,168 KB
testcase_22 AC 31 ms
20,300 KB
testcase_23 AC 43 ms
20,140 KB
testcase_24 AC 43 ms
20,208 KB
testcase_25 AC 43 ms
20,204 KB
testcase_26 AC 42 ms
20,144 KB
testcase_27 AC 43 ms
20,144 KB
testcase_28 AC 42 ms
20,140 KB
testcase_29 AC 42 ms
20,204 KB
testcase_30 AC 42 ms
20,476 KB
testcase_31 AC 49 ms
20,292 KB
testcase_32 AC 48 ms
20,180 KB
testcase_33 AC 49 ms
20,204 KB
testcase_34 AC 34 ms
20,184 KB
testcase_35 AC 29 ms
20,200 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <string>
#include <algorithm>
#include <array>
#include <vector>

const int mod = 1e9 + 7;

struct modint {
	int n;
	modint(int n = 0) : n(n) {}
};

modint operator+(modint a, modint b) { return modint((a.n += b.n) >= mod ? a.n - mod : a.n); }
modint operator-(modint a, modint b) { return modint((a.n -= b.n) < 0 ? a.n + mod : a.n); }
modint operator*(modint a, modint b) { return modint(1LL * a.n * b.n % mod); }
modint &operator+=(modint &a, modint b) { return a = a + b; }
modint &operator-=(modint &a, modint b) { return a = a - b; }
modint &operator*=(modint &a, modint b) { return a = a * b; }

using V = std::array<modint, 4>;
using M = std::array<V, 4>;

M operator*(const M &a, const M &b) {
	long long c[4][4];
	for (int i = 0; i < 3; i++) {
		for (int j = 1; j < 4; j++) {
			c[i][j] = 0;
		}
	}
	for (int i = 0; i < 3; i++) {
		for (int k = 0; k < 4; k++) {
			for (int j = 1; j < 4; j++) {
				c[i][j] += 1LL * a[i][k].n * b[k][j].n;
			}
		}
	}
	M ret = {};
	for (int i = 0; i < 3; i++) {
		for (int j = 1; j < 4; j++) {
			ret[i][j] = c[i][j] % mod;
		}
	}
	ret[0][0] = 1;
	ret[3][3] = 1;
	return ret;
}

M getmat(modint x, modint y) {
	return M{
		V{1, 0, x, 0},
		V{0, y, 0, 1},
		V{0, 2 * y, y * y, 1},
		V{0, 0, 0, 1},
	};
}

int main() {
	int n, q;
	std::cin >> n >> q;

	std::vector<int> xs(n);
	std::vector<int> ys(n);

	int N = 1;
	while (N < n) {
		N *= 2;
	}

	std::vector<M> seg(N * 2);
	for (int i = 0; i < N * 2; i++) {
		seg[i] = getmat(0, 0);
	}
	for (int i = N - 1; i >= 1; i--) {
		seg[i] = seg[i * 2 + 1] * seg[i * 2];
	}

	auto setval = [&](int k, M v) {
		k += N;
		seg[k] = v;
		while (k > 1) {
			k /= 2;
			seg[k] = seg[k * 2 + 1] * seg[k * 2];
		}
	};

	auto getval = [&](int k) {
		if (k == N) {
			return seg[1];
		}
		k += N;
		M ret = {};
		for (int i = 0; i < 4; i++) {
			ret[i][i] = 1;
		}
		while (k > 1) {
			if (k & 1) {
				ret = ret * seg[--k];
			}
			k /= k & -k;
		}
		return ret;
	};

	while (q--) {
		char c;
		scanf(" %c", &c);
		if (c == 'x') {
			int i, v;
			scanf("%d %d", &i, &v);
			xs[i] = v;
			setval(i, getmat(xs[i], ys[i]));
		} else if (c == 'y') {
			int i, v;
			scanf("%d %d", &i, &v);
			ys[i] = v;
			setval(i, getmat(xs[i], ys[i]));
		} else {
			int i;
			scanf("%d", &i);
			auto m = getval(i);
			printf("%d\n", (m[0][0] + m[0][1] + m[0][2] + m[0][3]).n);
		}
	}
}
0