QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#107888 | #1825. The King's Guards | BalintR# | TL | 331ms | 3780kb | C++20 | 4.9kb | 2023-05-23 05:20:04 | 2023-05-23 05:20:08 |
Judging History
answer
#include <bits/stdc++.h>
using namespace std;
typedef unsigned uint;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
typedef vector<int> vi;
typedef vector<pii> vpii;
typedef complex<double> cpx;
template <typename T> using minPq = priority_queue<T, vector<T>, greater<T>>;
#define ms(a, x) memset(a, x, sizeof(a))
#define pb push_back
#define fs first
#define sn second
#define ALL(v) begin(v), end(v)
#define SZ(v) ((int) (v).size())
#define lbv(v, x) (lower_bound(ALL(v), x) - (v).begin())
#define ubv(v, x) (upper_bound(ALL(v), x) - (v).begin())
template <typename T> inline void UNIQUE(vector<T> &v){sort(ALL(v)); v.resize(unique(ALL(v)) - v.begin());}
const int INF = 0x3f3f3f3f;
const ll LLINF = 0x3f3f3f3f3f3f3f3f;
const double PI = acos(-1);
#define FR(i, n) for(int i = 0; i < (n); i++)
#define FOR(i, a, b) for(int i = (a); i < (b); i++)
#define FORR(i, a, b) for(int i = (a); i >= (b); i--)
#define dbg(x) {cerr << #x << ' ' << x << endl;}
#define dbgArr(arr, n) {cerr << #arr; FR(_i, n) cerr << ' ' << (arr)[_i]; cerr << endl;}
template <typename T, typename U>
ostream& operator<<(ostream &os, pair<T, U> p){
return os << "(" << p.fs << ", " << p.sn << ")";
}
const int MN = 305;
const int MV = MN*3;
namespace Flow {
struct Edge {
int node, rev, cap;
bool real;
};
vector<Edge> adjList[MV];
void addEdge(int a, int b, int c){
adjList[a].pb({b, SZ(adjList[b]), c, true});
adjList[b].pb({a, SZ(adjList[a])-1, 0, false});
}
void rmEdge(int a, int b){
adjList[a].pop_back();
adjList[b].pop_back();
}
void reset(){
FR(i, MV) for(Edge &e : adjList[i]) if(!e.real) adjList[e.node][e.rev].cap += e.cap, e.cap = 0;
}
int ancFlow[MV], ePar[MV];
int qu[MV], ql, qr;
int bfs(int s, int t){
ms(ePar, -1);
ePar[s] = -2;
ql = qr = 0;
qu[qr++] = s;
ancFlow[s] = INF;
while(ql < qr){
int n1 = qu[ql++];
//dbg(n1);
for(Edge e : adjList[n1]){
int n2 = e.node;
if(!e.cap || ePar[n2] != -1) continue;
ancFlow[n2] = min(ancFlow[n1], e.cap);
ePar[n2] = e.rev;
qu[qr++] = e.node;
}
}
if(ePar[t] == -1) return 0;
int f = ancFlow[t];
int n1 = t;
while(n1 != s){
Edge &e = adjList[n1][ePar[n1]];
adjList[e.node][e.rev].cap -= f;
e.cap += f;
n1 = e.node;
}
return f;
}
int getFlow(int s, int t){
//cerr << s << ' ' << t << endl;
int res = 0;
while(true){
int f = bfs(s, t);
//dbg(f);
res += f;
if(!f) break;
}
//dbg(res);
return res;
}
}
int n, m, g;
int dsu[MN];
pair<int, pii> allEdges[MN*MN];
vector<pair<int, pii>> edges;
bool inAns[MN];
int find(int a){
return dsu[a] < 0 ? a : dsu[a] = find(dsu[a]);
}
void kruskal(){
sort(allEdges, allEdges + m);
/*edges = vector<pair<int, pii>>(allEdges, allEdges + m);
return;*/
ms(dsu, -1);
FR(i, m){
auto [c, p] = allEdges[i];
auto [a, b] = p;
a = find(a), b = find(b);
if(a != b){
dsu[b] = a;
edges.pb(allEdges[i]);
}
}
}
bool check(){
ms(dsu, -1);
FR(i, SZ(edges)) if(inAns[i]){
auto [a, b] = edges[i].sn;
a = find(a), b = find(b);
if(a != b) dsu[b] = a;
}
int numRoot = 0;
FR(i, n) numRoot += dsu[i] < 0;
FR(i, n) Flow::addEdge(n+i, n+n+find(i), 1);
int f = Flow::getFlow(MV-2, MV-1);
Flow::reset();
FR(i, n) Flow::rmEdge(n+i, n+n+find(i));
//dbgArr(inAns, SZ(edges));
//cerr << f << ' ' << numRoot << endl;
assert(f <= numRoot);
return f == numRoot;
}
int main(){
cin.sync_with_stdio(0); cin.tie(0);
cin >> n >> m >> g;
FR(i, m){
int a, b, c;
cin >> a >> b >> c;
a--; b--;
allEdges[i] = {c, {a, b}};
}
kruskal();
//cerr << "a" << endl;
FR(i, g){
int k; cin >> k;
FR(j, k){
int a; cin >> a; a--;
Flow::addEdge(i, n+a, 1);
}
}
FR(i, n) Flow::addEdge(MV-2, i, 1);
FR(i, n) Flow::addEdge(n+n+i, MV-1, 1);
FR(i, n) Flow::addEdge(n+i, n+n+i, 1);
if(Flow::getFlow(MV-2, MV-1) != g) return !printf("-1\n");
Flow::reset();
FR(i, n) Flow::rmEdge(n+i, n+n+i);
//dbgArr(edges, SZ(edges));
int ans = 0;
fill_n(inAns, SZ(edges), true);
FORR(i, SZ(edges)-1, 0){
inAns[i] = false;
if(!check()) inAns[i] = true, ans += edges[i].fs;
}
//dbgArr(inAns, SZ(edges));
cout << ans << '\n';
}
Details
Tip: Click on the bar to expand more detailed information
Test #1:
score: 100
Accepted
time: 2ms
memory: 3388kb
input:
5 6 2 1 2 1 1 3 4 2 4 2 2 5 5 3 4 7 4 5 3 2 1 2 2 2 4
output:
8
result:
ok answer is '8'
Test #2:
score: 0
Accepted
time: 2ms
memory: 3448kb
input:
10 19 6 1 5 761 6 8 606 3 9 648 2 4 115 5 8 814 1 2 712 4 10 13 5 10 797 3 4 956 1 7 73 5 7 192 2 7 110 5 9 302 3 6 120 6 9 494 1 3 668 3 7 966 6 10 974 3 8 41 2 10 5 3 6 4 3 2 1 7 2 10 8 3 10 7 8 2 2 1
output:
429
result:
ok answer is '429'
Test #3:
score: 0
Accepted
time: 2ms
memory: 3320kb
input:
10 43 3 1 3 656 2 6 856 4 10 99 5 6 900 2 7 766 4 7 582 2 8 135 5 7 831 3 5 12 3 10 789 1 8 66 4 9 390 1 7 238 6 7 960 1 4 624 3 9 602 7 10 366 5 8 526 2 9 561 6 10 722 2 5 904 3 4 35 1 9 768 5 9 457 6 8 61 4 6 192 4 5 96 5 10 747 8 9 611 7 8 953 3 8 449 2 4 228 1 6 197 9 10 160 3 6 869 1 2 785 4 8 ...
output:
526
result:
ok answer is '526'
Test #4:
score: 0
Accepted
time: 5ms
memory: 3592kb
input:
277 9038 1 226 260 740 44 226 376 151 263 611 67 269 241 120 181 677 259 271 782 37 52 310 48 152 452 168 266 823 85 234 100 46 201 738 129 153 301 69 147 434 13 72 764 13 234 316 171 222 398 214 255 21 112 158 430 20 118 407 45 152 971 205 214 272 221 275 362 198 268 472 117 176 207 31 75 652 139 1...
output:
5375
result:
ok answer is '5375'
Test #5:
score: 0
Accepted
time: 331ms
memory: 3780kb
input:
297 27966 132 15 197 980 226 259 950 161 168 142 118 176 834 157 221 806 24 210 432 212 242 838 110 166 177 78 170 801 52 166 3 89 213 448 45 170 626 250 251 268 93 222 679 7 128 839 5 7 320 132 191 1 192 295 717 36 231 542 162 175 508 173 178 458 211 272 926 46 168 145 19 150 805 165 262 198 50 179...
output:
775
result:
ok answer is '775'
Test #6:
score: 0
Accepted
time: 2ms
memory: 3500kb
input:
7 7 4 1 3 7 1 4 6 2 3 5 2 4 6 4 5 10 4 6 10 4 7 10 5 4 3 2 7 5 6 5 2 6 7 4 1 2 2 3 6 7 2 5 3 1 6
output:
17
result:
ok answer is '17'
Test #7:
score: -100
Time Limit Exceeded
input:
300 44850 299 1 2 1 1 3 1 1 4 1 1 5 1 1 6 1 1 7 1 1 8 1 1 9 1 1 10 1 1 11 1 1 12 1 1 13 1 1 14 1 1 15 1 1 16 1 1 17 1 1 18 1 1 19 1 1 20 1 1 21 1 1 22 1 1 23 1 1 24 1 1 25 1 1 26 1 1 27 1 1 28 1 1 29 1 1 30 1 1 31 1 1 32 1 1 33 1 1 34 1 1 35 1 1 36 1 1 37 1 1 38 1 1 39 1 1 40 1 1 41 1 1 42 1 1 43 1 ...