結果
| 問題 |
No.1043 直列大学
|
| コンテスト | |
| ユーザー |
packer_jp
|
| 提出日時 | 2020-05-01 22:17:48 |
| 言語 | C++11(廃止可能性あり) (gcc 13.3.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 5,579 bytes |
| コンパイル時間 | 3,307 ms |
| コンパイル使用メモリ | 161,672 KB |
| 実行使用メモリ | 383,232 KB |
| 最終ジャッジ日時 | 2024-12-25 12:29:05 |
| 合計ジャッジ時間 | 15,018 ms |
|
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 23 WA * 5 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
#define int long long
#define rep(i, n) for (int i = 0; i < (n); i++)
#define reps(i, n) for (int i = 1; i <= (n); i++)
#define all(x) begin(x), end(x)
#define uniq(x) (x).erase(unique(all(x)), end(x))
#define bit(n) (1LL << (n))
#define cdiv(a, b) (((a) - 1) / (b) + 1)
#define dump(x) cerr << #x " = " << (x) << endl
using vint = vector<int>;
using vvint = vector<vint>;
using pint = pair<int, int>;
using vpint = vector<pint>;
template<typename T> using priority_queue_rev = priority_queue<T, vector<T>, greater<T>>;
constexpr long double PI = 3.1415926535897932384626433832795028L;
constexpr int DY[8] = {0, 1, 0, -1, 1, 1, -1, -1};
constexpr int DX[8] = {1, 0, -1, 0, 1, -1, -1, 1};
int gcd(int a, int b) {
while (b) { swap(a %= b, b); }
return a;
}
int lcm(int a, int b) { return a / gcd(a, b) * b; }
template<typename T> void fin(T mes) {
cout << mes << endl;
exit(0);
}
template<typename T, typename U> bool chmax(T &a, const U &b) {
if (a < b) {
a = b;
return true;
}
return false;
}
template<typename T, typename U> bool chmin(T &a, const U &b) {
if (b < a) {
a = b;
return true;
}
return false;
}
template<typename T, typename U> ostream &operator<<(ostream &os, const pair<T, U> &rhs) {
os << "(" << rhs.first << ", " << rhs.second << ")";
return os;
}
template<typename T> ostream &operator<<(ostream &os, const vector<T> &rhs) {
os << "{";
for (auto itr = rhs.begin(); itr != rhs.end(); itr++) {
os << *itr << (next(itr) != rhs.end() ? ", " : "");
}
os << "}";
return os;
}
struct setup {
static constexpr int PREC = 20;
setup() {
cout << fixed << setprecision(PREC);
cerr << fixed << setprecision(PREC);
};
} setup;
template<int MOD = 1000000007>
struct mod_int {
int val;
mod_int(long long val_ = 0) : val(val_ % MOD) { if (val < 0) { val += MOD; }}
bool operator==(const mod_int &rhs) const { return val == rhs.val; }
bool operator!=(const mod_int &rhs) const { return std::rel_ops::operator!=(*this, rhs); }
mod_int &operator+=(const mod_int &rhs) {
if ((val += rhs.val) >= MOD) { val -= MOD; }
return *this;
}
mod_int &operator-=(const mod_int &rhs) {
if ((val += MOD - rhs.val) >= MOD) { val -= MOD; }
return *this;
}
mod_int &operator*=(const mod_int &rhs) {
val = (int) ((long long) val * rhs.val % MOD);
return *this;
}
mod_int &operator/=(const mod_int &rhs) { return *this *= rhs.inv(); }
mod_int operator+() const { return *this; }
mod_int operator-() const { return -val; }
mod_int operator++() { return *this += 1; }
mod_int operator--() { return *this -= 1; }
mod_int operator++(signed) {
const mod_int ret(*this);
++*this;
return ret;
}
mod_int operator--(signed) {
const mod_int ret(*this);
--*this;
return ret;
}
mod_int operator+(const mod_int &rhs) const { return mod_int(*this) += rhs; }
mod_int operator-(const mod_int &rhs) const { return mod_int(*this) -= rhs; }
mod_int operator*(const mod_int &rhs) const { return mod_int(*this) *= rhs; }
mod_int operator/(const mod_int &rhs) const { return mod_int(*this) /= rhs; }
mod_int inv() const {
int a = val, b = MOD, x = 1, u = 0;
while (b) {
int t = a / b;
std::swap(a -= t * b, b);
std::swap(x -= t * u, u);
}
return x;
}
mod_int pow(long long n) const {
if (n < 0) { return pow(-n).inv(); }
mod_int ret = 1, mul = *this;
while (n) {
if (n & 1) { ret *= mul; }
mul *= mul;
n >>= 1;
}
return ret;
}
friend std::istream &operator>>(std::istream &is, mod_int &rhs) {
long long v;
is >> v;
rhs = v;
return is;
}
friend std::ostream &operator<<(std::ostream &os, const mod_int &rhs) { return os << rhs.val; }
struct combination {
std::vector<mod_int> fact{1, 1}, f_inv{1, 1}, inv{0, 1};
void calc(int n) {
while (fact.size() <= n) {
int i = fact.size();
fact.push_back(fact[i - 1] * i);
inv.push_back(-inv[MOD % i] * (MOD / i));
f_inv.push_back(f_inv[i - 1] * inv[i]);
}
}
mod_int P(int n, int r) { return r < 0 || n < r ? 0 : (calc(n), fact[n] * f_inv[n - r]); }
mod_int C(int n, int r) { return r < 0 || n < r ? 0 : (calc(n), fact[n] * f_inv[r] * f_inv[n - r]); }
mod_int H(int n, int r) { return C(n + r - 1, r); }
};
};
int N, M;
int V[110], R[110];
int A, B;
using mint = mod_int<>;
const int K = 220000;
mint dpV[110][K], dpR[110][K];
signed main() {
cin >> N >> M;
rep(i, N) { cin >> V[i]; }
rep(i, M) { cin >> R[i]; }
cin >> A >> B;
dpV[0][0] = 1;
rep(i, N) {
rep(j, K) {
dpV[i + 1][j] += dpV[i][j];
if (j + V[i] < K) { dpV[i + 1][j + V[i]] += dpV[i][j]; }
}
}
dpR[0][0] = 1;
rep(i, M) {
rep(j, K) {
dpR[i + 1][j] += dpR[i][j];
if (j + R[i] < K) { dpR[i + 1][j + R[i]] += dpR[i][j]; }
}
}
vector<mint> Vcc(K + 1);
rep(i, K) { Vcc[i + 1] = Vcc[i] + dpV[N][i]; }
mint ans = 0;
for (int i = 1; i < K; i++) {
if (i * B + 1 > K) { break; }
ans += dpR[M][i] * (Vcc[i * B + 1] - Vcc[i * A]);
}
cout << ans << endl;
}
packer_jp