結果

問題 No.868 ハイパー部分和問題
ユーザー noshi91noshi91
提出日時 2019-08-16 22:20:29
言語 C++17(clang Beta)
(clang 13.0.0 + boost 1.78.0)
結果
AC  
実行時間 603 ms / 7,000 ms
コード長 3,427 bytes
コンパイル時間 576 ms
使用メモリ 3,648 KB
最終ジャッジ日時 2023-01-06 19:29:38
合計ジャッジ時間 11,070 ms
ジャッジサーバーID
(参考情報)
judge13 / judge11
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
使用メモリ
testcase_00 AC 2 ms
3,320 KB
testcase_01 AC 2 ms
3,324 KB
testcase_02 AC 2 ms
3,388 KB
testcase_03 AC 2 ms
3,392 KB
testcase_04 AC 1 ms
3,396 KB
testcase_05 AC 1 ms
3,324 KB
testcase_06 AC 1 ms
3,416 KB
testcase_07 AC 1 ms
3,312 KB
testcase_08 AC 2 ms
3,376 KB
testcase_09 AC 1 ms
3,320 KB
testcase_10 AC 2 ms
3,384 KB
testcase_11 AC 1 ms
3,380 KB
testcase_12 AC 2 ms
3,312 KB
testcase_13 AC 1 ms
3,416 KB
testcase_14 AC 381 ms
3,624 KB
testcase_15 AC 383 ms
3,552 KB
testcase_16 AC 384 ms
3,612 KB
testcase_17 AC 380 ms
3,528 KB
testcase_18 AC 383 ms
3,616 KB
testcase_19 AC 264 ms
3,512 KB
testcase_20 AC 262 ms
3,432 KB
testcase_21 AC 263 ms
3,504 KB
testcase_22 AC 261 ms
3,432 KB
testcase_23 AC 262 ms
3,548 KB
testcase_24 AC 262 ms
3,412 KB
testcase_25 AC 264 ms
3,524 KB
testcase_26 AC 261 ms
3,492 KB
testcase_27 AC 263 ms
3,548 KB
testcase_28 AC 262 ms
3,512 KB
testcase_29 AC 206 ms
3,616 KB
testcase_30 AC 204 ms
3,568 KB
testcase_31 AC 208 ms
3,608 KB
testcase_32 AC 380 ms
3,648 KB
testcase_33 AC 378 ms
3,528 KB
testcase_34 AC 603 ms
3,544 KB
testcase_35 AC 599 ms
3,608 KB
testcase_36 AC 414 ms
3,552 KB
testcase_37 AC 415 ms
3,612 KB
testcase_38 AC 2 ms
3,392 KB
testcase_39 AC 1 ms
3,276 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

//#define NDEBUG
#include <cstddef>
#include <cstdint>
#include <iostream>
#include <vector>

namespace n91 {

using i8 = std::int_fast8_t;
using i32 = std::int_fast32_t;
using i64 = std::int_fast64_t;
using u8 = std::uint_fast8_t;
using u32 = std::uint_fast32_t;
using u64 = std::uint_fast64_t;
using isize = std::ptrdiff_t;
using usize = std::size_t;

constexpr usize operator"" _z(unsigned long long x) noexcept {
  return static_cast<usize>(x);
}

class rep {
  const usize f, l;

public:
  class itr {
    friend rep;
    usize i;
    constexpr itr(const usize x) noexcept : i(x) {}

  public:
    void operator++() noexcept { ++i; }
    constexpr usize operator*() const noexcept { return i; }
    constexpr bool operator!=(const itr x) const noexcept { return i != x.i; }
  };
  constexpr rep(const usize first, const usize last) noexcept
      : f(first), l(last) {}
  constexpr itr begin() const noexcept { return itr(f); }
  constexpr itr end() const noexcept { return itr(l); }
};
class revrep {
  const usize f, l;

public:
  class itr {
    friend revrep;
    usize i;
    constexpr itr(usize x) noexcept : i(x) {}

  public:
    void operator++() noexcept { --i; }
    constexpr usize operator*() const noexcept { return i; }
    constexpr bool operator!=(const itr x) const noexcept { return i != x.i; }
  };
  constexpr revrep(usize first, usize last) noexcept : f(--first), l(--last) {}
  constexpr itr begin() const noexcept { return itr(l); }
  constexpr itr end() const noexcept { return itr(f); }
};
template <class T> using vec_alias = std::vector<T>;
template <class T> auto md_vec(const usize n, const T &value) {
  return std::vector<T>(n, value);
}
template <class... Args> auto md_vec(const usize n, Args... args) {
  return std::vector<decltype(md_vec(args...))>(n, md_vec(args...));
}
template <class T> constexpr T difference(const T &a, const T &b) {
  return a < b ? b - a : a - b;
}
template <class T> T scan() {
  T ret;
  std::cin >> ret;
  return ret;
}

} // namespace n91

#include <algorithm>
#include <iostream>
#include <numeric>
#include <utility>

namespace n91 {

void main_() {
  const auto n = scan<usize>();
  const auto k = scan<usize>();
  std::vector<usize> a(n);
  for (auto &e : a) {
    std::cin >> e;
  }

  static constexpr u64 Mod =
      (static_cast<u64>(1) << static_cast<u64>(63)) - static_cast<u64>(91);

  const auto add = [](u64 &lhs, const u64 rhs) {
    lhs += rhs;
    if (lhs >= Mod) {
      lhs -= Mod;
    }
  };
  const auto sub = [](u64 &lhs, const u64 rhs) {
    if (lhs < rhs) {
      lhs += Mod;
    }
    lhs -= rhs;
  };

  std::vector<u64> dp(k + 1_z, static_cast<u64>(0));
  dp[0_z] = static_cast<u64>(1);

  for (const auto e : a) {
    if (e != 0_z && e <= k) {
      for (const auto i : revrep(e, k + 1_z)) {
        add(dp[i], dp[i - e]);
      }
    }
  }

  const auto q = scan<usize>();

  for (const auto loop : rep(0_z, q)) {
    const auto x = scan<usize>() - 1_z;
    const auto v = scan<usize>();

    const usize old = a[x];

    if (old != 0_z && old <= k) {
      for (const auto i : rep(old, k + 1_z)) {
        sub(dp[i], dp[i - old]);
      }
    }
    a[x] = v;
    if (v != 0_z && v <= k) {
      for (const auto i : revrep(v, k + 1_z)) {
        add(dp[i], dp[i - v]);
      }
    }

    std::cout << (dp[k] != static_cast<u64>(0) ? "1" : "0") << std::endl;
  }
}

} // namespace n91

int main() {
  n91::main_();
  return 0;
}
0