結果
問題 | No.1043 直列大学 |
ユーザー |
|
提出日時 | 2020-05-02 00:14:05 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
RE
|
実行時間 | - |
コード長 | 3,786 bytes |
コンパイル時間 | 1,565 ms |
コンパイル使用メモリ | 170,512 KB |
実行使用メモリ | 5,248 KB |
最終ジャッジ日時 | 2024-12-25 16:31:38 |
合計ジャッジ時間 | 5,393 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 21 RE * 7 |
ソースコード
#include <bits/stdc++.h>using namespace std;using ll = long long;constexpr char newl = '\n';// https://noshi91.hatenablog.com/entry/2019/03/31/174006template <std::uint_fast64_t Modulus>struct ModInt {using u64 = std::uint_fast64_t;static constexpr u64 MOD = Modulus;u64 val;constexpr ModInt(const u64 x = 0) noexcept : val(x % MOD) {}constexpr ModInt operator+() const noexcept { return ModInt(*this); }constexpr ModInt operator-() const noexcept {ModInt res(*this);if (res.val != 0) res.val = MOD - res.val;return res;}// prefix increment/decrementconstexpr ModInt& operator++() noexcept { return *this += ModInt(1); }constexpr ModInt& operator--() noexcept { return *this -= ModInt(1); }// postfix increment/decrementconstexpr ModInt& operator++(int) noexcept {ModInt tmp(*this);++*this;return tmp;}constexpr ModInt& operator--(int) noexcept {ModInt tmp(*this);--*this;return tmp;}constexpr ModInt operator+(const ModInt& rhs) const noexcept {return ModInt(*this) += rhs;}constexpr ModInt operator-(const ModInt& rhs) const noexcept {return ModInt(*this) -= rhs;}constexpr ModInt operator*(const ModInt& rhs) const noexcept {return ModInt(*this) *= rhs;}constexpr ModInt operator/(const ModInt& rhs) const noexcept {return ModInt(*this) /= rhs;}constexpr ModInt& operator+=(const ModInt& rhs) noexcept {val += rhs.val;if (val >= Modulus) val -= MOD;return *this;}constexpr ModInt& operator-=(const ModInt& rhs) noexcept {if (val < rhs.val) val += MOD;val -= rhs.val;return *this;}constexpr ModInt& operator*=(const ModInt& rhs) noexcept {val = val * rhs.val % MOD;return *this;}// prime Modulus onlyconstexpr ModInt& operator/=(const ModInt& rhs) noexcept {return *this *= rhs.inv();}// prime Modulus onlyconstexpr ModInt inv() const noexcept {return pow(*this, MOD - 2);}};template<std::uint_fast64_t Modulus>constexpr ModInt<Modulus> pow(ModInt<Modulus> x, std::uint_fast64_t n) {ModInt<Modulus> res(1);while (n) {if (n & 1) res *= x;x *= x;n >>= 1;}return res;}template<std::uint_fast64_t Modulus>istream& operator>>(istream& is, ModInt<Modulus>& x) {std::uint_fast64_t val;is >> val;x = ModInt<Modulus>(val);return is;}template<std::uint_fast64_t Modulus>ostream& operator<<(ostream& os, const ModInt<Modulus>& x) {return os << x.val;}using mint = ModInt<1000000007>;int main() {cin.tie(nullptr);ios::sync_with_stdio(false);int n, m;cin >> n >> m;vector<int> v(n);int vsum = 0;for (int i = 0; i < n; i++) {cin >> v[i];vsum += v[i];}vector<mint> dp_v(vsum + 1, 0);dp_v[0] = 1;for (int i = 0; i < n; i++) {for (int j = vsum; j >= v[i]; j--) {dp_v[j] += dp_v[j - v[i]];}}for (int i = 1; i <= vsum; i++) {dp_v[i] += dp_v[i - 1];}vector<int> r(m);int rsum = 0;for (int i = 0; i < m; i++) {cin >> r[i];rsum += r[i];}vector<mint> dp_r(rsum + 1, 0);dp_r[0] = 1;for (int i = 0; i < m; i++) {for (int j = rsum; j >= r[i]; j--) {dp_r[j] += dp_r[j - r[i]];}}int a, b;cin >> a >> b;mint ans = 0;for (int i = 1; i <= rsum; i++) {ans += (dp_v[min(b * i, vsum)] - dp_v[min(a * i - 1, vsum)]) * dp_r[i];}cout << ans << newl;return 0;}