#include <bits/stdc++.h>
#define file ""
#define all(x) x.begin(), x.end()
#define sc second
#define fr first
#define pb push_back
#define mp make_pair
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
const ll inf = 1e18 + 5;
const ll mod = 1e9 + 7;
const int N = 5e5 + 5;
int dx[] = {+1, 0, -1, 0};
int dy[] = {0, +1, 0, -1};
int n, m, k, timer;
int used[N], mt[N], pr[N], s[N];
vector<int> g[N], all[N];
bool go(int v) {
if (used[v] == timer) return false;
used[v] = timer;
for (int i = s[v]; i < g[v].size(); i++) {
int to = g[v][i];
if (mt[to] == false) {
mt[to] = v;
pr[v] = to;
return true;
}
}
for (int i = s[v]; i < g[v].size(); i++) {
int to = g[v][i];
if (go(mt[to])) {
mt[to] = v;
pr[v] = to;
return true;
}
}
return false;
}
bool check(int p) {
fill (pr + 1, pr + 1 + m, false);
for (int j : all[p])
g[j].pb(p);
for (int i = 1; i <= m; i++) {
timer++;
go(i);
}
bool ok = true;
for (int i = 1; i <= m; i++)
if (pr[i] == 0) ok = false;
else mt[pr[i]] = 0;
return ok;
}
bool clear(int x) {
for (int j : all[x])
s[j]++;
fill (pr + 1, pr + 1 + m, false);
for (int i = 1; i <= m; i++) {
timer++;
go(i);
}
bool ok = true;
for (int i = 1; i <= m; i++)
if (pr[i] == 0) ok = false;
else mt[pr[i]] = 0;
return ok;
}
int main() {
ios_base :: sync_with_stdio(false);
cin.tie(nullptr);
srand(time(nullptr));
cin >> n >> m >> k;
for (int x, y, i = 1; i <= k; i++) {
cin >> x >> y;
all[x].pb(y);
}
ll res = 0;
int j = 1;
bool p = check(1);
for (int i = 1; i <= n; i++) {
while (j <= n && !p) {
j++;
if (j == n + 1) break;
p = check(j);
}
if (p) res += n - j + 1;
else break;
p = clear(i);
}
cout << res;
return 0;
}
Compilation message
marriage.cpp: In function 'bool go(int)':
marriage.cpp:35:24: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
35 | for (int i = s[v]; i < g[v].size(); i++) {
| ~~^~~~~~~~~~~~~
marriage.cpp:44:24: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
44 | for (int i = s[v]; i < g[v].size(); i++) {
| ~~^~~~~~~~~~~~~
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
15 ms |
23788 KB |
Output is correct |
2 |
Correct |
16 ms |
23788 KB |
Output is correct |
3 |
Correct |
16 ms |
23788 KB |
Output is correct |
4 |
Correct |
18 ms |
23788 KB |
Output is correct |
5 |
Correct |
16 ms |
23788 KB |
Output is correct |
6 |
Correct |
16 ms |
23788 KB |
Output is correct |
7 |
Correct |
16 ms |
23824 KB |
Output is correct |
8 |
Correct |
15 ms |
23788 KB |
Output is correct |
9 |
Correct |
16 ms |
23788 KB |
Output is correct |
10 |
Correct |
17 ms |
23788 KB |
Output is correct |
11 |
Correct |
16 ms |
23788 KB |
Output is correct |
12 |
Correct |
17 ms |
23848 KB |
Output is correct |
13 |
Correct |
16 ms |
23788 KB |
Output is correct |
14 |
Correct |
16 ms |
23788 KB |
Output is correct |
15 |
Correct |
18 ms |
23788 KB |
Output is correct |
16 |
Correct |
19 ms |
23788 KB |
Output is correct |
17 |
Correct |
16 ms |
23788 KB |
Output is correct |
18 |
Correct |
21 ms |
23788 KB |
Output is correct |
19 |
Correct |
21 ms |
23916 KB |
Output is correct |
20 |
Correct |
17 ms |
23920 KB |
Output is correct |
21 |
Correct |
17 ms |
23916 KB |
Output is correct |
22 |
Correct |
15 ms |
23788 KB |
Output is correct |
23 |
Correct |
19 ms |
23900 KB |
Output is correct |
24 |
Correct |
19 ms |
23916 KB |
Output is correct |
25 |
Correct |
58 ms |
24064 KB |
Output is correct |
26 |
Correct |
23 ms |
23916 KB |
Output is correct |
27 |
Correct |
17 ms |
24064 KB |
Output is correct |
28 |
Correct |
17 ms |
23916 KB |
Output is correct |
29 |
Correct |
19 ms |
23916 KB |
Output is correct |
30 |
Correct |
19 ms |
23916 KB |
Output is correct |
31 |
Execution timed out |
1583 ms |
24248 KB |
Time limit exceeded |
32 |
Correct |
435 ms |
23916 KB |
Output is correct |
33 |
Correct |
23 ms |
23916 KB |
Output is correct |
34 |
Correct |
29 ms |
23916 KB |
Output is correct |
35 |
Correct |
198 ms |
24940 KB |
Output is correct |
36 |
Correct |
180 ms |
24940 KB |
Output is correct |
37 |
Execution timed out |
1599 ms |
24300 KB |
Time limit exceeded |
38 |
Correct |
70 ms |
25196 KB |
Output is correct |
39 |
Correct |
603 ms |
24172 KB |
Output is correct |
40 |
Correct |
462 ms |
24172 KB |
Output is correct |
41 |
Correct |
700 ms |
24428 KB |
Output is correct |
42 |
Correct |
185 ms |
24436 KB |
Output is correct |
43 |
Correct |
196 ms |
24676 KB |
Output is correct |
44 |
Correct |
364 ms |
25112 KB |
Output is correct |
45 |
Execution timed out |
1570 ms |
24884 KB |
Time limit exceeded |
46 |
Execution timed out |
1541 ms |
25096 KB |
Time limit exceeded |
47 |
Correct |
711 ms |
25328 KB |
Output is correct |
48 |
Correct |
699 ms |
25440 KB |
Output is correct |
49 |
Execution timed out |
1580 ms |
25044 KB |
Time limit exceeded |
50 |
Execution timed out |
1581 ms |
24108 KB |
Time limit exceeded |