이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
//start-time: 2024-04-14 19:39:32
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
void solve(){
ll n, m, q;
cin >> n >> m >> q;
vector<vector<ll>> g(n);
vector<vector<ll>> gR(n);
for(ll i = 0; i < m; i++){
ll u, v;
cin >> u >> v;
u--; v--;
g[u].push_back(v);
gR[v].push_back(u);
}
vector<ll> vis(n), topo;
auto dfs = [&](ll u, auto&&dfs) -> void {
vis[u] = 1;
for(auto v : g[u]){
if(!vis[v]){
dfs(v, dfs);
}
}
vis[u] = 2;
topo.push_back(u);
};
for(int i = 0; i < n; i++){
if(vis[i] == 0){
dfs(i, dfs);
}
}
reverse(topo.begin(), topo.end());
vector<set<array<ll, 2>>> dp(n);
vector<bitset<100'001>> cnt(n);
for(auto el : topo){
dp[el].insert({0, el});
cnt[el][el] = 1;
}
map<int, map<int, ll>> mp;
const ll w = round(sqrt(1000000));
for(auto u : topo){
for(auto v : gR[u]){
for(auto [v, i] : dp[v]){
cnt[u] |= cnt[v];
ll o = v + 1;
if(mp[u][i]) {
o = max(o, mp[u][i]);
dp[u].erase({mp[u][i], i});
}
mp[u][i] = o;
dp[u].insert({o, i});
if(dp[u].size() > w){
auto [V, I] = *dp[u].begin();
dp[u].erase(dp[u].begin());
mp[u][I] = 0;
}
}
}
}
//for(auto ms : dp){
//for(auto [v, i] : ms){
//cout << v << ' ' << i << '\n';
//}
//cout << endl;
//}
//TODO
for(ll i = 0; i < q; i++){
ll u, y;
cin >> u >> y;
u--;
bitset<100'001> c;
for(ll j = 0; j < y; j++){
ll a; cin >> a;
c[--a] = 1;
}
if((cnt[u] & c) == cnt[u]){
cout << -1 << endl;
continue;
}
set<array<ll, 2>> ms = dp[u];
ll ans = 0;
for(auto [v, i] : ms){
if(!c[i]){
ans = max(ans, v);
}
}
cout << ans << endl;
}
}
int main() {
cin.tie(0)->sync_with_stdio(0);
ll T = 1;
//cin >> T;
while(T--) solve();
return 0;
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |