QOJ.ac
QOJ
ID | 题目 | 提交者 | 结果 | 用时 | 内存 | 语言 | 文件大小 | 提交时间 | 测评时间 |
---|---|---|---|---|---|---|---|---|---|
#866583 | #9735. Japanese Bands | ucup-team3646 | WA | 258ms | 6528kb | C++23 | 3.9kb | 2025-01-22 16:20:51 | 2025-01-22 16:21:02 |
Judging History
answer
#include <bits/stdc++.h>
using namespace std;
#pragma GCC target("avx2")
#pragma GCC optimize("Ofast")
using ll = long long;
#define rep(i, n) for(ll i = 0; i < (n); ++i)
#define rep2(i, l, r) for(ll i = (l); i < (r); ++i)
using vi = vector<int>;
using vvi = vector<vi>;
using vll = vector<ll>;
#define all(A) A.begin(), A.end()
#define elif else if
using pii = pair<ll, ll>;
bool chmin(auto &a, auto b) {return a > b ? a = b, 1 : 0;}
bool chmax(auto &a, auto b) {return a < b ? a = b, 1 : 0;}
struct IOS {
IOS() {
cin.tie(0);
ios::sync_with_stdio(0);
}
} iosetup;
template<class T>
void print(vector<T> a) {
for(auto x : a) cout << x << ' ';
cout << endl;
}
void print(auto x) {
cout << x << endl;
}
template<class Head, class... Tail>
void print(Head &&head, Tail &&...tail) {
cout << head << ' ';
print(forward<Tail>(tail)...);
}
const ll MOD = 1e9 + 7;
ll modpow(ll x, ll k, ll m = MOD) {
ll v = 1;
while(k) {
if(k & 1) v = v * x % m;
x = x * x % m;
k >>= 1;
}
return v;
}
int len = 2e5;
vll fac, finv;
void precalc(ll m = MOD) {
fac.assign(len, 1), finv.assign(len, 1);
rep2(i, 2, len) fac[i] = fac[i-1] * i % m;
finv[len-1] = modpow(fac[len-1], m-2, m);
for(int i = len-2; i >= 0; i--) finv[i] = finv[i+1] * (i+1) % m;
return;
}
ll binom(ll n, ll k, ll m = MOD) {
if(n < 0 || k < 0 || k > n) return 0;
if(k < 100) {
// n * ... * (n-k+1) / k!
ll ans = 1;
rep(i, k) ans *= (n - i), ans %= m;
ans *= finv[k], ans %= m;
return ans;
}
else {
return fac[n] * finv[k] % m * finv[n-k] % m;
}
}
ll func(ll n, ll a, ll c) {
return binom(n + c - 1, a + c - 1);
}
void solve() {
ll X, Y, M, K; cin >> X >> Y >> M >> K;
vector<array<ll, 2>> cards(K);
rep(i, K) {
ll a, b; cin >> a >> b;
a--, b--;
cards[i] = {min(a, b), max(a, b)};
}
sort(all(cards));
cards.erase(unique(all(cards)), cards.end());
ll must = 0;
vector graph(M, vector<ll>());
for(auto [a, b] : cards) {
if(a == b) must |= (1<<a);
else {
graph[a].emplace_back(b);
graph[b].emplace_back(a);
}
}
ll c = 0, ban = 0;
rep(i, M) {
if(graph[i].empty()) {
if(must & (1<<i)) continue;
c++;
ban |= (1<<i);
}
}
// search all subset
ll res = 0;
for(ll bit = 0; bit < (1<<M); ++bit) {
if((bit & must) != must) continue;
if(bit & ban) continue;
vector<ll> col(M, 0);
rep(i, M) {
if(bit & (1<<i)) col[i] = 3;
if(ban & (1<<i)) col[i] = 3;
}
vector<array<ll, 2>> vec;
queue<ll> que;
bool ng = 0;
rep(r, M) {
if(col[r]) continue;
ll r1 = 0, r2 = 0;
col[r] = 1, r1++;
que.push(r);
while(que.size()) {
ll v = que.front();
que.pop();
for(auto nv : graph[v]) {
if(col[nv] == col[v]) {ng = 1; break;}
if(col[nv]) continue;
col[nv] = 3 - col[v];
if(col[nv] == 1) r1++;
else r2++;
}
}
if(ng) break;
vec.push_back({min(r1, r2), max(r1, r2)});
}
// cout << bitset<10>(bit) << endl;
// for(auto [r1, r2] : vec) {
// cout << r1 << ' ' << r2 << endl;
// }
if(ng) continue;
ll s = vec.size();
vector<ll> dp(M+1, 0);
dp[0] = 1;
for(auto [a, b] : vec) {
vector<ll> ndp(M+1, 0);
rep(x, M+1) {
if(x - a >= 0) ndp[x] += dp[x-a];
if(x - b >= 0) ndp[x] += dp[x-b];
ndp[x] %= MOD;
}
swap(dp, ndp);
}
ll p = __builtin_popcount(bit);
rep(x, M+1) {
ll s = x + p, t = M - x - c;
ll tmp = func(X, s, c) * func(Y, t, c) % MOD * dp[x] % MOD;
res += tmp;
}
res %= MOD;
}
cout << res << endl;
return;
}
int main() {
precalc();
ll T; cin >> T;
while(T--) {
solve();
}
return 0;
}
詳細信息
Test #1:
score: 100
Accepted
time: 4ms
memory: 6528kb
input:
3 2 3 3 3 2 3 1 1 2 3 2 2 2 1 1 1 1 1 10 2 1 2 1 3
output:
6 4 0
result:
ok 3 lines
Test #2:
score: -100
Wrong Answer
time: 258ms
memory: 6528kb
input:
500 481199252 336470888 8 58 4 7 7 6 4 7 2 6 2 6 2 7 8 3 8 7 8 1 2 6 2 6 1 2 1 5 3 1 6 4 2 4 4 7 2 6 2 3 7 1 4 4 5 1 2 7 6 7 8 1 8 7 5 6 4 2 4 2 8 5 5 4 6 8 5 6 3 8 1 7 1 6 7 1 5 6 6 3 1 1 2 7 3 3 1 5 5 5 8 7 3 4 6 3 8 8 7 4 1 6 2 1 8 7 4 5 2 7 3 5 2 6 4 5 4 3 2 6 2 2 2 1 1 1 500330171 987581927 10 ...
output:
330658531 11 709727171 629942314 917687253 1 987778395 144990327 1 269113412 778117069 1 0 996348464 376698469 727903325 779207879 8117714 993048186 113632225 0 487514263 861337816 8376584 16 793236468 933415828 808801372 1 612901047 137099259 679835834 126 54847749 1 570327495 541668100 1 1 4545654...
result:
wrong answer 1st lines differ - expected: '724920553', found: '330658531'