結果
問題 | No.511 落ちゲー 〜手作業のぬくもり〜 |
ユーザー | Pachicobue |
提出日時 | 2019-04-03 17:11:28 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 142 ms / 4,000 ms |
コード長 | 7,061 bytes |
コンパイル時間 | 1,116 ms |
コンパイル使用メモリ | 82,304 KB |
実行使用メモリ | 11,008 KB |
最終ジャッジ日時 | 2024-05-03 12:46:07 |
合計ジャッジ時間 | 3,240 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,248 KB |
testcase_01 | AC | 2 ms
5,376 KB |
testcase_02 | AC | 2 ms
5,376 KB |
testcase_03 | AC | 2 ms
5,376 KB |
testcase_04 | AC | 2 ms
5,376 KB |
testcase_05 | AC | 2 ms
5,376 KB |
testcase_06 | AC | 2 ms
5,376 KB |
testcase_07 | AC | 2 ms
5,376 KB |
testcase_08 | AC | 2 ms
5,376 KB |
testcase_09 | AC | 2 ms
5,376 KB |
testcase_10 | AC | 2 ms
5,376 KB |
testcase_11 | AC | 2 ms
5,376 KB |
testcase_12 | AC | 1 ms
5,376 KB |
testcase_13 | AC | 2 ms
5,376 KB |
testcase_14 | AC | 2 ms
5,376 KB |
testcase_15 | AC | 2 ms
5,376 KB |
testcase_16 | AC | 2 ms
5,376 KB |
testcase_17 | AC | 2 ms
5,376 KB |
testcase_18 | AC | 2 ms
5,376 KB |
testcase_19 | AC | 2 ms
5,376 KB |
testcase_20 | AC | 2 ms
5,376 KB |
testcase_21 | AC | 3 ms
5,376 KB |
testcase_22 | AC | 3 ms
5,376 KB |
testcase_23 | AC | 3 ms
5,376 KB |
testcase_24 | AC | 2 ms
5,376 KB |
testcase_25 | AC | 3 ms
5,376 KB |
testcase_26 | AC | 3 ms
5,376 KB |
testcase_27 | AC | 3 ms
5,376 KB |
testcase_28 | AC | 2 ms
5,376 KB |
testcase_29 | AC | 142 ms
10,880 KB |
testcase_30 | AC | 123 ms
10,752 KB |
testcase_31 | AC | 107 ms
10,496 KB |
testcase_32 | AC | 74 ms
11,008 KB |
testcase_33 | AC | 93 ms
5,376 KB |
testcase_34 | AC | 84 ms
5,376 KB |
testcase_35 | AC | 135 ms
10,880 KB |
testcase_36 | AC | 133 ms
10,972 KB |
ソースコード
#include <iostream> #include <vector> #include <cassert> #include <limits> // https://yukicoder.me/problems/no/511 template <typename T> constexpr T popCount(const T u) { #ifdef __has_builtin return u == 0 ? T(0) : (T)__builtin_popcountll(u); #else unsigned long long v = static_cast<unsigned long long>(u); return v = (v & 0x5555555555555555ULL) + (v >> 1 & 0x5555555555555555ULL), v = (v & 0x3333333333333333ULL) + (v >> 2 & 0x3333333333333333ULL), v = (v + (v >> 4)) & 0x0F0F0F0F0F0F0F0FULL, static_cast<T>(v * 0x0101010101010101ULL >> 56 & 0x7f); #endif } template <typename T> constexpr T log2p1(const T u) { #ifdef __has_builtin return u == 0 ? T(0) : T(64 - __builtin_clzll(u)); #else unsigned long long v = static_cast<unsigned long long>(u); return v = static_cast<unsigned long long>(v), v |= (v >> 1), v |= (v >> 2), v |= (v >> 4), v |= (v >> 8), v |= (v >> 16), v |= (v >> 32), popCount(v); #endif } template <typename T> constexpr T clog(const T v) { return v == 0 ? T(0) : log2p1(v - 1); } template <typename T> constexpr T msbp1(const T v) { return log2p1(v); } template <typename T> constexpr T lsbp1(const T v) { #ifdef __has_builtin return __builtin_ffsll(v); #else return v == 0 ? T(0) : popCount((v & (-v)) - T(1)) + T(1); #endif } template <typename T> constexpr bool ispow2(const T v) { return popCount(v) == 1; } template <typename T> constexpr T ceil2(const T v) { return v == 0 ? T(1) : T(1) << log2p1(v - 1); } template <typename T> constexpr T floor2(const T v) { return v == 0 ? T(0) : T(1) << (log2p1(v) - 1); } //!=======================================================================!// //! dP .d88888b !// //! 88 88. "' !// //! 88 .d8888b. d888888b dP dP 'Y88888b. .d8888b. .d8888b. !// //! 88 88' '88 .d8P' 88 88 '8b 88ooood8 88' '88 !// //! 88 88. .88 .Y8P 88. .88 d8' .8P 88. ... 88. .88 !// //! 88888888P '88888P8 d888888P '8888P88 Y88888P '88888P' '8888P88 !// //! .88 .88 !// //! d8888P d8888P !// //!=======================================================================!// template <typename MAct> class LazySeg { public: using ValMonoid = typename MAct::ValMonoid; using OpMonoid = typename MAct::OpMonoid; using T = typename ValMonoid::T; using F = typename OpMonoid::T; LazySeg(const std::size_t N, const T initial = ValMonoid::id()) : size(N), depth(clog(size)), half(1 << depth), val(half << 1, ValMonoid::id()), op(half << 1, OpMonoid::id()) { if (initial != ValMonoid::id()) { std::fill(val.begin() + half, val.end(), initial); for (std::size_t i = half - 1; i >= 1; i--) { up(i); } } } template <typename InIt> LazySeg(const InIt first, const InIt last) : size(std::distance(first, last)), depth(clog(size)), half(1 << depth), val(half << 1, ValMonoid::id()), op(half << 1, OpMonoid::id()) { std::copy(first, last, val.begin() + half); for (std::size_t i = half - 1; i >= 1; i--) { up(i); } } T get(const std::size_t a) { return assert(a < size), fold(a, a + 1); } void set(std::size_t a, const T& v) { assert(a < size); topDown(a += half), op[a] = OpMonoid::id(), val[a] = v; while (a >>= 1) { up(a); } } T fold(std::size_t L, std::size_t R) { assert(L < R); assert(R <= size); topDown(L += half), topDown(R += half); T accl = ValMonoid::id(), accr = ValMonoid::id(); for (; L < R; L >>= 1, R >>= 1) { if (L & 1) { accl = acc(accl, val[L++]); } if (R & 1) { accr = acc(val[--R], accr); } } return acc(accl, accr); } void act(std::size_t L, std::size_t R, const F& f) { assert(L < R), assert(R <= size); const std::size_t l = L + half, r = R + half; topDown(L += half), topDown(R += half); for (std::size_t ls = 1, rs = 1; L < R; L >>= 1, R >>= 1, ls <<= 1, rs <<= 1) { if (L & 1) { update(L++, f, ls); } if (R & 1) { update(--R, f, rs); } } bottomUp(l), bottomUp(r); } void debugPrint() { std::cerr << "["; for (std::size_t i = 0; i < size; i++) { std::cerr << get(i) << (i + 1 == size ? "" : ","); } std::cerr << "]\n"; } private: void up(const std::size_t i) { val[i] = acc(val[i << 1], val[i << 1 | 1]); } void update(const std::size_t a, const F& f, const std::size_t l) { op[a] = compose(f, op[a]), val[a] = eval(f, val[a], l); } void down(const std::size_t a, const std::size_t l) { update(a << 1, op[a], l >> 1), update(a << 1 | 1, op[a], l >> 1), op[a] = OpMonoid::id(); } void topDown(const std::size_t a) { const std::size_t b = (a / (a & -a)) >> 1; for (std::size_t i = 0, l = half; i < depth; i++, l >>= 1) { const std::size_t v = a >> (depth - i); if (v > b) { break; } down(v, l); } } void bottomUp(std::size_t a) { a = (a / (a & -a)) >> 1; for (; a >= 1; a >>= 1) { up(a); } } const std::size_t size, depth, half; std::vector<T> val; std::vector<F> op; const ValMonoid acc{}; const OpMonoid compose{}; const MAct eval{}; }; using uint = unsigned int; using ll = long long; using ull = unsigned long long; template <typename T> constexpr T INF = std::numeric_limits<T>::max() / 4; struct MAct { struct ValMonoid { using T = std::pair<ll, std::size_t>; T operator()(const T& a, const T& b) const { return std::max(a, b); } static constexpr T id() { return T{-INF<ll>, 0}; } }; struct OpMonoid { using T = ll; T operator()(const T& a, const T& b) const { return a + b; } static constexpr T id() { return 0; } }; using VT = typename ValMonoid::T; using OT = typename OpMonoid::T; template <typename Ind> VT operator()(const OT& f, const VT& x, const Ind) const { return VT{x.first + f, x.second}; } }; int main() { std::ios::sync_with_stdio(false); std::cin.tie(nullptr); std::size_t N, W; ll H; std::cin >> N >> W >> H; std::vector<MAct::VT> v(W); for (std::size_t i = 0; i < W; i++) { v[i] = {0, i}; } LazySeg<MAct> seg(v.begin(), v.end()); std::size_t A = 0, B = 0; for (std::size_t i = 0, a, x; i < N; i++) { ll b; std::cin >> a >> b >> x, x--; seg.act(x, x + a, b); while (true) { const auto max = seg.fold(x, x + a); if (max.first < H) { break; } else { (i % 2 == 0 ? A : B)++, seg.set(max.second, {-INF<ll>, max.second}); } } } std::cout << (A == B ? "DRAW" : A > B ? "A" : "B") << std::endl; return 0; }