#include<vector>
#include<algorithm>
using namespace std;
const int MAXN = 1010101;
struct UF
{
int N;
int ufd[MAXN];
UF(){}
UF(int n):N(n)
{
for(int i=0; i<n; ++i) ufd[i] = i;
}
int Find(int a)
{
if(a==ufd[a]) return a;
return ufd[a] = Find(ufd[a]);
}
bool Union(int a, int b)
{
a = Find(a); b = Find(b);
if(a==b) return false;
ufd[a] = b; return true;
}
};
struct DAT
{
int N; UF uf; int numcyc; int cyclen;
DAT(){};
DAT(int n): N(n), uf(n), numcyc(0), cyclen(0){}
void Add(int a, int b)
{
if(!uf.Union(a, b))
if(++numcyc == 1)
for(int i=0; i<N; ++i)
if(uf.Find(i) == uf.Find(a))
++cyclen;
}
};
enum PHASE {DEG2, DEG3_1, DEG3_2, DEG3_3, SP1, INF};
PHASE state;
DAT global;
int N, M;
pair<int, int> EList[MAXN];
vector<int> conn[MAXN];
int deg[MAXN], numdeg[5];
vector<int> specials;
vector<DAT> datas;
void Init(int _N) {
N = _N; M = 0; numdeg[0] = N;
DAT d(N); global = d;
state = DEG2;
}
void updatespecials()
{
for(auto x: specials)
{
DAT d(N);
for(int i=0; i<M; ++i)
{
if(EList[i].first == x || EList[i].second == x) continue;
d.Add(EList[i].first, EList[i].second);
}
datas.push_back(d);
}
}
void makestate(PHASE state)
{
specials.clear(); datas.clear();
if(numdeg[4] == 0)
{
for(int i=0; i<N; ++i)
{
int cnt = (deg[i] >= 3)?1:0;
for(auto x: conn[i])
if(deg[x] >= 3) ++cnt;
if(cnt == numdeg[3] + numdeg[4])
specials.push_back(i);
}
}
else
{
for(int i=0; i<N; ++i)
if(deg[i] >= 4)
specials.push_back(i);
}
updatespecials();
}
void updatestate(PHASE state, int A, int B)
{
switch(state)
{
case DEG2:
global.Add(A, B);
break;
default:
for(int i=0; i<specials.size(); ++i)
{
if(specials[i] == A || specials[i] == B) continue;
datas[i].Add(A, B);
}
break;
}
}
void Link(int A, int B) {
if(state == INF) return;
EList[M++] = make_pair(A, B);
numdeg[min(4, deg[A])]--; numdeg[min(4, deg[B])]--;
deg[A]++; deg[B]++;
numdeg[min(4, deg[A])]++; numdeg[min(4, deg[B])]++;
conn[A].push_back(B);
conn[B].push_back(A);
PHASE newstate = DEG2;
if(numdeg[4] >= 2){ state = INF; return;}
else if(numdeg[4] == 1 || numdeg[3] >= 4) newstate = SP1;
else if(numdeg[3] == 3) newstate = DEG3_3;
else if(numdeg[3] == 2) newstate = DEG3_2;
else if(numdeg[3] == 1) newstate = DEG3_1;
else newstate = DEG2;
if(state != newstate)
{
state = newstate;
makestate(state);
}
else updatestate(state, A, B);
}
#include<cstdio>
int CountCritical() {
//if(state == DEG2) puts("DEG2");
//printf(">%d %d\n", state, (int)datas.size());
int ans = 0;
switch(state)
{
case DEG2:
switch(global.numcyc)
{
case 0: return N;
case 1: return global.cyclen;
default: return 0;
}
case INF:
return 0;
default:
for(const auto& x: datas)
if(x.numcyc==0) ++ans;
return ans;
}
}
Compilation message
rings.cpp: In function 'void updatestate(PHASE, int, int)':
rings.cpp:106:27: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
for(int i=0; i<specials.size(); ++i)
~^~~~~~~~~~~~~~~~
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
25 ms |
28024 KB |
Output is correct |
2 |
Correct |
48 ms |
48000 KB |
Output is correct |
3 |
Correct |
51 ms |
48000 KB |
Output is correct |
4 |
Correct |
26 ms |
48000 KB |
Output is correct |
5 |
Correct |
28 ms |
48000 KB |
Output is correct |
6 |
Correct |
32 ms |
48000 KB |
Output is correct |
7 |
Correct |
54 ms |
48020 KB |
Output is correct |
8 |
Correct |
27 ms |
48020 KB |
Output is correct |
9 |
Correct |
58 ms |
48180 KB |
Output is correct |
10 |
Correct |
67 ms |
48180 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
522 ms |
52836 KB |
Output is correct |
2 |
Correct |
1183 ms |
81748 KB |
Output is correct |
3 |
Correct |
392 ms |
81748 KB |
Output is correct |
4 |
Correct |
1398 ms |
81748 KB |
Output is correct |
5 |
Correct |
1601 ms |
81748 KB |
Output is correct |
6 |
Correct |
1639 ms |
81748 KB |
Output is correct |
7 |
Correct |
377 ms |
81748 KB |
Output is correct |
8 |
Correct |
1719 ms |
88204 KB |
Output is correct |
9 |
Correct |
1770 ms |
92792 KB |
Output is correct |
10 |
Correct |
995 ms |
92792 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
25 ms |
28024 KB |
Output is correct |
2 |
Correct |
48 ms |
48000 KB |
Output is correct |
3 |
Correct |
51 ms |
48000 KB |
Output is correct |
4 |
Correct |
26 ms |
48000 KB |
Output is correct |
5 |
Correct |
28 ms |
48000 KB |
Output is correct |
6 |
Correct |
32 ms |
48000 KB |
Output is correct |
7 |
Correct |
54 ms |
48020 KB |
Output is correct |
8 |
Correct |
27 ms |
48020 KB |
Output is correct |
9 |
Correct |
58 ms |
48180 KB |
Output is correct |
10 |
Correct |
67 ms |
48180 KB |
Output is correct |
11 |
Correct |
64 ms |
92792 KB |
Output is correct |
12 |
Correct |
58 ms |
92792 KB |
Output is correct |
13 |
Correct |
61 ms |
92792 KB |
Output is correct |
14 |
Correct |
51 ms |
92792 KB |
Output is correct |
15 |
Correct |
52 ms |
92792 KB |
Output is correct |
16 |
Correct |
32 ms |
92792 KB |
Output is correct |
17 |
Correct |
52 ms |
92792 KB |
Output is correct |
18 |
Correct |
50 ms |
92792 KB |
Output is correct |
19 |
Correct |
32 ms |
92792 KB |
Output is correct |
20 |
Correct |
54 ms |
92792 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
25 ms |
28024 KB |
Output is correct |
2 |
Correct |
48 ms |
48000 KB |
Output is correct |
3 |
Correct |
51 ms |
48000 KB |
Output is correct |
4 |
Correct |
26 ms |
48000 KB |
Output is correct |
5 |
Correct |
28 ms |
48000 KB |
Output is correct |
6 |
Correct |
32 ms |
48000 KB |
Output is correct |
7 |
Correct |
54 ms |
48020 KB |
Output is correct |
8 |
Correct |
27 ms |
48020 KB |
Output is correct |
9 |
Correct |
58 ms |
48180 KB |
Output is correct |
10 |
Correct |
67 ms |
48180 KB |
Output is correct |
11 |
Correct |
64 ms |
92792 KB |
Output is correct |
12 |
Correct |
58 ms |
92792 KB |
Output is correct |
13 |
Correct |
61 ms |
92792 KB |
Output is correct |
14 |
Correct |
51 ms |
92792 KB |
Output is correct |
15 |
Correct |
52 ms |
92792 KB |
Output is correct |
16 |
Correct |
32 ms |
92792 KB |
Output is correct |
17 |
Correct |
52 ms |
92792 KB |
Output is correct |
18 |
Correct |
50 ms |
92792 KB |
Output is correct |
19 |
Correct |
32 ms |
92792 KB |
Output is correct |
20 |
Correct |
54 ms |
92792 KB |
Output is correct |
21 |
Correct |
62 ms |
92792 KB |
Output is correct |
22 |
Correct |
63 ms |
92792 KB |
Output is correct |
23 |
Correct |
87 ms |
92792 KB |
Output is correct |
24 |
Correct |
98 ms |
92792 KB |
Output is correct |
25 |
Correct |
61 ms |
92792 KB |
Output is correct |
26 |
Correct |
98 ms |
92792 KB |
Output is correct |
27 |
Correct |
117 ms |
92792 KB |
Output is correct |
28 |
Correct |
102 ms |
92792 KB |
Output is correct |
29 |
Correct |
74 ms |
92792 KB |
Output is correct |
30 |
Correct |
99 ms |
92792 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
25 ms |
28024 KB |
Output is correct |
2 |
Correct |
48 ms |
48000 KB |
Output is correct |
3 |
Correct |
51 ms |
48000 KB |
Output is correct |
4 |
Correct |
26 ms |
48000 KB |
Output is correct |
5 |
Correct |
28 ms |
48000 KB |
Output is correct |
6 |
Correct |
32 ms |
48000 KB |
Output is correct |
7 |
Correct |
54 ms |
48020 KB |
Output is correct |
8 |
Correct |
27 ms |
48020 KB |
Output is correct |
9 |
Correct |
58 ms |
48180 KB |
Output is correct |
10 |
Correct |
67 ms |
48180 KB |
Output is correct |
11 |
Correct |
522 ms |
52836 KB |
Output is correct |
12 |
Correct |
1183 ms |
81748 KB |
Output is correct |
13 |
Correct |
392 ms |
81748 KB |
Output is correct |
14 |
Correct |
1398 ms |
81748 KB |
Output is correct |
15 |
Correct |
1601 ms |
81748 KB |
Output is correct |
16 |
Correct |
1639 ms |
81748 KB |
Output is correct |
17 |
Correct |
377 ms |
81748 KB |
Output is correct |
18 |
Correct |
1719 ms |
88204 KB |
Output is correct |
19 |
Correct |
1770 ms |
92792 KB |
Output is correct |
20 |
Correct |
995 ms |
92792 KB |
Output is correct |
21 |
Correct |
64 ms |
92792 KB |
Output is correct |
22 |
Correct |
58 ms |
92792 KB |
Output is correct |
23 |
Correct |
61 ms |
92792 KB |
Output is correct |
24 |
Correct |
51 ms |
92792 KB |
Output is correct |
25 |
Correct |
52 ms |
92792 KB |
Output is correct |
26 |
Correct |
32 ms |
92792 KB |
Output is correct |
27 |
Correct |
52 ms |
92792 KB |
Output is correct |
28 |
Correct |
50 ms |
92792 KB |
Output is correct |
29 |
Correct |
32 ms |
92792 KB |
Output is correct |
30 |
Correct |
54 ms |
92792 KB |
Output is correct |
31 |
Correct |
62 ms |
92792 KB |
Output is correct |
32 |
Correct |
63 ms |
92792 KB |
Output is correct |
33 |
Correct |
87 ms |
92792 KB |
Output is correct |
34 |
Correct |
98 ms |
92792 KB |
Output is correct |
35 |
Correct |
61 ms |
92792 KB |
Output is correct |
36 |
Correct |
98 ms |
92792 KB |
Output is correct |
37 |
Correct |
117 ms |
92792 KB |
Output is correct |
38 |
Correct |
102 ms |
92792 KB |
Output is correct |
39 |
Correct |
74 ms |
92792 KB |
Output is correct |
40 |
Correct |
99 ms |
92792 KB |
Output is correct |
41 |
Correct |
264 ms |
92792 KB |
Output is correct |
42 |
Correct |
704 ms |
92792 KB |
Output is correct |
43 |
Correct |
331 ms |
92792 KB |
Output is correct |
44 |
Correct |
379 ms |
92792 KB |
Output is correct |
45 |
Incorrect |
603 ms |
92792 KB |
Output isn't correct |
46 |
Halted |
0 ms |
0 KB |
- |