結果

問題 No.801 エレベーター
ユーザー sprng_wl
提出日時 2019-03-17 22:23:15
言語 C++11（廃止可能性あり）
(gcc 13.3.0)
結果
MLE  
実行時間 -
コード長 1,493 bytes
コンパイル時間 1,763 ms
コンパイル使用メモリ 172,212 KB
実行使用メモリ 814,720 KB
最終ジャッジ日時 2024-07-08 00:11:01
合計ジャッジ時間 20,189 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 10 MLE * 1 -- * 15
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

using namespace std;
using ll = long long;

const ll MOD = 1e9 + 7;

template <typename T>
vector<vector<T>> DotMatrix(const vector<vector<T>>& a, const vector<vector<T>>& b){
    vector<vector<T>> ret(a.size(), vector<T>(b[0].size(), 0));
    for (size_t i = 0; i < ret.size(); ++i) {
		for (size_t j = 0; j < ret[i].size(); ++j) {
			for (size_t k = 0; k < b.size(); ++k) {
				(ret[i][j] += ((a[i][k] * b[k][j]) % MOD)) %= MOD;
			}
		}
	}
    return ret;
}

int main() {
	int N, M, K;
	cin >> N >> M >> K;
	vector<vector<ll>> mat(N + 2, vector<ll>(N + 2, 0));
	for (int i = 0; i < M; ++i) {
		int l, r;
		cin >> l >> r;
		mat[l][l] += 1;
		mat[l][r + 1] -= 1;
		mat[r + 1][l] -= 1;
		mat[r + 1][r + 1] += 1;
	}
	for (int j = 0; j < N + 2; ++j) {
		for (int i = 0; i < N + 1; ++i) {
			mat[i + 1][j] += mat[i][j];
		}
	}
	for (int i = 0; i < N + 2; ++i) {
		for (int j = 0; j < N + 1; ++j) {
			mat[i][j + 1] += mat[i][j];
		}
	}

	vector<vector<vector<ll>>> table(15, vector<vector<ll>>(N + 2, vector<ll>(N + 2, 0)));
	table[0] = mat;
	for (int i = 1; i < 15; ++i) {
		table[i] = DotMatrix(table[i - 1], table[i - 1]);
	}

	vector<ll> res(N + 1, 0);
	res[1] = 1;
	vector<ll> tmp(N + 1, 0);
	for (int k = 0; k < 15; ++k) {
		if ((K>>k & 1) == 0) { continue; }

		for (int i = 1; i <= N; ++i) {
			tmp[i] = 0;
			for (int j = 1; j <= N; ++j) {
				(tmp[i] += (table[k][i][j] * res[j])) %= MOD;
			}
		}
		res = tmp;
	}

	cout << res[N] % MOD << endl;

	return 0;
}
0