結果

問題 No.868 ハイパー部分和問題
ユーザー noshi91
提出日時 2019-08-16 22:20:29
言語 C++17(clang)
(17.0.6 + boost 1.87.0)
結果
AC  
実行時間 573 ms / 7,000 ms
コード長 3,427 bytes
コンパイル時間 974 ms
コンパイル使用メモリ 131,948 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-11-30 14:35:22
合計ジャッジ時間 9,910 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 38
権限があれば一括ダウンロードができます

ソースコード

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