結果
問題 | No.801 エレベーター |
ユーザー |
![]() |
提出日時 | 2019-03-17 22:45:07 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 151 ms / 2,000 ms |
コード長 | 5,149 bytes |
コンパイル時間 | 1,755 ms |
コンパイル使用メモリ | 200,928 KB |
最終ジャッジ日時 | 2025-01-06 23:10:55 |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 26 |
ソースコード
#include <bits/stdc++.h> using namespace std; using i64 = int64_t; const i64 MOD = 1e9+7; const i64 INF = 1e18+7; // pythonのrangeのような範囲for文用のclass for(const auto& i : Range<>(10)) のように書く template <typename T = i64> struct Range{ struct iterator{ T value; const T step, last; const T& operator*(){return value;} iterator(T value, T step, T last) : value(value), step(step), last(last) { } iterator operator++(){value = step < static_cast<T>(0) ? max(value + step, last) : min(value + step, last); return *this;} bool operator!=(const iterator& x){return value != x.value;} }; const T start, last, step; Range(const T start, const T last, const T step = static_cast<T>(1)) : start(start), last(last), step(step) { } Range(const T last) : start(0), last(last), step(1) { } iterator begin(){return iterator(start, step, last);} iterator end(){return iterator(last, step, last);} }; // lambda式を用いた再帰 template <typename F> struct FixPoint{ const F _f; FixPoint(F&& f) : _f(forward<F>(f)){} template<typename... Types> decltype(auto) operator()(Types&&... args) const{ return _f(*this, forward<Types>(args)...); } }; template <typename F> static decltype(auto) makeRec(F&& f){ return FixPoint<F>(forward<F>(f)); } // 多次元vectorの一斉初期化 makeVector<i64, 0>(a, b, ...)のように書く template <typename T, T Value = T()> vector<T> makeVector(size_t x){ return vector<T>(x, T(Value)); } template <typename T, T Value = T(), typename... Types> auto makeVector(size_t x, Types... args){ return vector<decltype(makeVector<T, Value>(args...))>(x, makeVector<T, Value>(args...)); } // 最大値を更新し、更新できた時にはtrueを返す template <typename T = i64> bool chmax(T& a, T b){ if(a < b){ a = b; return true; } return false; } // 同様に最小値を更新する template <typename T = i64> bool chmin(T& a, T b){ if(a > b){ a = b; return true; } return false; } // 行数と変数名、値をclogに表示するデバッグ用print #define dump(x) fprintf(stderr, "line =%4d, name =%7s , ", __LINE__, #x); clog << "value = " << x << endl; // 同様の配列向けデバッグ用print #define vecdump(x) fprintf(stderr, "line =%4d, name =%7s\n", __LINE__, #x); _dump_macro(x); void _dump(int, string& x){ clog << x << endl; } template <typename T> void _dump(bool, T& x){ clog << x << " "; } template <typename T, typename U = typename T::iterator> void _dump(int, T& x){ for(auto& elm : x) _dump(0, elm); clog << endl; } template <typename T> void _dump_macro(T& x){ _dump(0, x); } // input用の関数群 void _input(int, string& x){ cin >> x; } template <typename T> void _input(bool, T& x){ cin >> x; } template <typename T, typename U = typename T::iterator> void _input(int, T& x){ for(auto& elm : x) _input(0, elm); } template <typename T> void input_single(T& x){ _input(0, x); } auto input(){} template <typename T, typename... Types> void input(T& value, Types&&... args){ input_single(value); input(forward<Types>(args)...); }; void _pararell_input(size_t){} template <typename T, typename... Types> void _pararell_input(size_t index, T& value, Types&&... args){ input(value[index]); _pararell_input(index, forward<Types>(args)...); } template <typename... Types> void pararell_input(size_t count, Types&&... args){ for(const auto& i : Range<>(count)) _pararell_input(i, forward<Types>(args)...); } signed main(){ cin.tie(0); ios::sync_with_stdio(false); cout << fixed << setprecision(20); int n, m, k; input(n, m, k); vector<pair<int,int>> p; for(const auto& _ : Range<>(m)){ int x, y; input(x, y); p.emplace_back(--x, y); } vector<i64> dp(n + 3, 1); // 累積和の形にしておく // dp[i]: [0,i)の和 dp[0] = 0; for(const auto& i : Range<>(k)){ // nex[i]: vector<i64> nex(n + 3, 0); for(auto& q : p){ auto [l, r] = q; // 累積和なので区間和取得ができる // [0,2) - [0,0) なので[0,1]を取得できている auto val = (dp[r] - dp[l] + MOD) % MOD; // imosの形にすれば区間加算ができる // 1に加算、3に減算 // 累積させた後は[1,2]だけ加算される nex[l + 1] = (nex[l + 1] + val) % MOD; nex[r + 1] = (nex[r + 1] - val + MOD) % MOD; } // imosの形から普通のものに復元 for(const auto& j : Range<>(n)) nex[j + 1] = (nex[j] + nex[j + 1]) % MOD; // 累積和をとる if(i == k - 1) cout << nex[n] << endl; for(const auto& j : Range<>(n)) nex[j + 1] = (nex[j] + nex[j + 1]) % MOD; dp = move(nex); } }