結果

問題 No.801 エレベーター
ユーザー xuzijian629
提出日時 2019-03-17 22:07:49
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,352 ms / 2,000 ms
コード長 1,578 bytes
コンパイル時間 1,954 ms
コンパイル使用メモリ 204,592 KB
最終ジャッジ日時 2025-01-06 23:02:29
ジャッジサーバーID
(参考情報)
judge5 / judge2
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 26
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include <bits/stdc++.h>
using namespace std;
using i64 = int64_t;
using vi = vector<i64>;
using vvi = vector<vi>;
constexpr i64 MOD = 1e9 + 7;
class BIT {
int n;
vi data0, data1;
void add(vi& data, int i, i64 x) {
while (i <= n) {
data[i] += x;
data[i] %= MOD;
i += i & -i;
}
}
i64 sum(vi& data, int i) {
i64 s = 0;
while (i > 0) {
s += data[i];
s %= MOD;
i -= i & -i;
}
return s;
}
public:
BIT(int n) : n(n) {
data0 = vi(n + 1);
data1 = vi(n + 1);
}
// [l, r)
void add(int l, int r, i64 x) {
l++;
r++;
add(data0, l, -x * (l - 1) % MOD);
add(data1, l, x);
add(data0, r, x * (r - 1) % MOD);
add(data1, r, -x);
}
// [l, r)
i64 sum(int l, int r) {
i64 s = 0;
s += sum(data0, r) + sum(data1, r) * r;
s -= sum(data0, l) + sum(data1, l) * l;
return s % MOD;
}
};
int main() {
int n, m, k;
cin >> n >> m >> k;
vector<pair<int, int>> lrs;
for (int i = 0; i < m; i++) {
int l, r;
cin >> l >> r;
l--;
lrs.emplace_back(l, r);
}
vector<BIT> dp(k + 1, BIT(n));
dp[0].add(0, 1, 1);
for (int i = 0; i < k; i++) {
for (int j = 0; j < m; j++) {
i64 s = dp[i].sum(lrs[j].first, lrs[j].second);
dp[i + 1].add(lrs[j].first, lrs[j].second, s);
}
}
cout << (dp[k].sum(n - 1, n) % MOD + MOD) % MOD << endl;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0