program oli3_riconnessioneconbfs; (* ricerca del numero di componenti connessi su grafo semplice risolto con lista di adiacenza e bfs*)
const MAXN =100000;
Qsize=200000;
var
N, M, ricorda, conta,contacomponenti,a ,b, h: longint;
graph : array[0..MAXN-1] of array of longint;
gsize, gcapa: array[0..MAXN-1] of longint;
visited : array[0..MAXN-1] of boolean;
S,E,dist : array[0..MAXN-1] of longint;
q1, q2 : array[0..QSIZE-1] of longint;
uscita: boolean;
procedure bfs(b : longint; var res : array of longint);
var qhead, qcount, first, second, j : longint;
begin
q1[0] := b; q2[0] := 0;
qhead := 0; qcount := 1;
while qcount > 0 do
begin
first := q1[qhead];
second := q2[qhead];
inc(qhead);
if qhead = QSIZE then
qhead := 0;
dec(qcount);
if visited[first] then
continue;
visited[first] := True; ricorda:=first;
conta:=conta+1; (*memorizza il numero di nodi visitati*)
res[first] := second;
for j:=0 to gsize[first]-1 do
begin
q1[(qhead + qcount) mod QSIZE] := graph[first][j];
q2[(qhead + qcount) mod QSIZE] := second + 1;
inc(qcount);
end;
end;
end;
begin
(*assign(input, 'input.txt'); reset(input);
assign(output, 'output.txt'); rewrite(output);*)
readln(N, M);
for h:=0 to M-1 do readln (S[h],E[h]);
for h:=0 to N-1 do visited[h]:=false;
for h:=0 to N-1 do
begin
setlength(graph[h], 1);
(* all’inizio, la lista di adiacenza del nodo i ha dimensione 0
* e capacita’ 1.
*)
gsize[h] := 0;
gcapa[h] := 1;
dist[h] := maxlongint;
end;
for h:=0 to M-1 do
begin
a := S[h]; b := E[h];
(* se ho esaurito i posti nella lista di adiacenza del nodo a *)
if gsize[a] = gcapa[a] then
begin
(* allora raddoppio la sua capacita’ *)
gcapa[a] := gcapa[a] shl 1;
setlength(graph[a], gcapa[a]);
end;
graph[a][gsize[a]] := b;
inc(gsize[a]);
(* se ho esaurito i posti nella lista di adiacenza del nodo b *)
if gsize[b] = gcapa[b] then
begin
(* allora raddoppio la sua capacita’ *)
gcapa[b] := gcapa[b] shl 1;
setlength(graph[b], gcapa[b]);
end;
graph[b][gsize[b]] :=a;
inc(gsize[b]);
end;
contacomponenti:=1; conta:=0;
bfs(0,dist);
while conta<N do
begin
h:=0; uscita:=false;
contacomponenti:=N-contacomponenti+1;
while (uscita=false) and (h<N) do if visited[h]=true then h:=h+1
else begin uscita:=true;ricorda:=h; end;
bfs(ricorda,dist);
end;
writeln (contacomponenti-1);
end.
cHJvZ3JhbSBvbGkzX3JpY29ubmVzc2lvbmVjb25iZnM7ICgqIHJpY2VyY2EgZGVsIG51bWVybyBkaSBjb21wb25lbnRpIGNvbm5lc3NpIHN1ICBncmFmbyBzZW1wbGljZSByaXNvbHRvIGNvbiBsaXN0YSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZGkgYWRpYWNlbnphIGUgYmZzKikKY29uc3QgTUFYTiA9MTAwMDAwOwogICAgICBRc2l6ZT0yMDAwMDA7CnZhcgogICBOLCBNLCByaWNvcmRhLCBjb250YSxjb250YWNvbXBvbmVudGksYSAsYiwgaDogbG9uZ2ludDsKICAgZ3JhcGggOiBhcnJheVswLi5NQVhOLTFdIG9mIGFycmF5IG9mIGxvbmdpbnQ7CiAgIGdzaXplLCBnY2FwYTogYXJyYXlbMC4uTUFYTi0xXSBvZiBsb25naW50OwogICB2aXNpdGVkIDogYXJyYXlbMC4uTUFYTi0xXSBvZiBib29sZWFuOwogICBTLEUsZGlzdCA6IGFycmF5WzAuLk1BWE4tMV0gb2YgbG9uZ2ludDsKICAgcTEsIHEyIDogYXJyYXlbMC4uUVNJWkUtMV0gb2YgbG9uZ2ludDsKICAgdXNjaXRhOiBib29sZWFuOwogICAKcHJvY2VkdXJlIGJmcyhiIDogbG9uZ2ludDsgdmFyIHJlcyA6IGFycmF5IG9mIGxvbmdpbnQpOwogdmFyIHFoZWFkLCBxY291bnQsIGZpcnN0LCBzZWNvbmQsIGogOiBsb25naW50OwogICAKIGJlZ2luCiAgIHExWzBdIDo9IGI7IHEyWzBdIDo9IDA7CiAgIHFoZWFkIDo9IDA7IHFjb3VudCA6PSAxOwogICB3aGlsZSBxY291bnQgPiAwIGRvCiAgICAgICBiZWdpbgogICAgICAgICBmaXJzdCA6PSBxMVtxaGVhZF07CiAgICAgICAgIHNlY29uZCA6PSBxMltxaGVhZF07CiAgICAgICAgIGluYyhxaGVhZCk7CiAgICAgICAgIGlmIHFoZWFkID0gUVNJWkUgdGhlbgogICAgICAgICBxaGVhZCA6PSAwOwogICAgICAgICBkZWMocWNvdW50KTsKICAgICAgICAgaWYgdmlzaXRlZFtmaXJzdF0gdGhlbgogICAgICAgICBjb250aW51ZTsKICAgICAgICAgdmlzaXRlZFtmaXJzdF0gOj0gVHJ1ZTsgcmljb3JkYTo9Zmlyc3Q7CiAgICAgICAgIGNvbnRhOj1jb250YSsxOyAoKm1lbW9yaXp6YSBpbCBudW1lcm8gZGkgbm9kaSB2aXNpdGF0aSopCiAgICAgICAgIHJlc1tmaXJzdF0gOj0gc2Vjb25kOwogICAgICAgICBmb3Igajo9MCB0byBnc2l6ZVtmaXJzdF0tMSBkbwogICAgICAgICAgICAgICAgIGJlZ2luCiAgICAgICAgICAgICAgICAgcTFbKHFoZWFkICsgcWNvdW50KSBtb2QgUVNJWkVdIDo9IGdyYXBoW2ZpcnN0XVtqXTsKICAgICAgICAgICAgICAgICBxMlsocWhlYWQgKyBxY291bnQpIG1vZCBRU0laRV0gOj0gc2Vjb25kICsgMTsKICAgICAgICAgICAgICAgICBpbmMocWNvdW50KTsKICAgICAgICAgICAgICAgIGVuZDsKICAgICAgIGVuZDsKIGVuZDsKIAogCmJlZ2luCiAgICgqYXNzaWduKGlucHV0LCAnaW5wdXQudHh0Jyk7IHJlc2V0KGlucHV0KTsKICAgYXNzaWduKG91dHB1dCwgJ291dHB1dC50eHQnKTsgcmV3cml0ZShvdXRwdXQpOyopCiAgIHJlYWRsbihOLCBNKTsKICAgZm9yIGg6PTAgdG8gTS0xIGRvIHJlYWRsbiAoU1toXSxFW2hdKTsKICAgZm9yIGg6PTAgdG8gTi0xIGRvIHZpc2l0ZWRbaF06PWZhbHNlOwogICAgZm9yIGg6PTAgdG8gTi0xIGRvCiAgIGJlZ2luCiAgICAgc2V0bGVuZ3RoKGdyYXBoW2hdLCAxKTsKICAgICAoKiBhbGzigJlpbml6aW8sIGxhIGxpc3RhIGRpIGFkaWFjZW56YSBkZWwgbm9kbyBpIGhhIGRpbWVuc2lvbmUgMAogICAgICAgKiBlIGNhcGFjaXRh4oCZIDEuCiAgICAgKikKICAgICBnc2l6ZVtoXSA6PSAwOwogICAgIGdjYXBhW2hdIDo9IDE7CiAgICAgZGlzdFtoXSA6PSBtYXhsb25naW50OwogIGVuZDsKIGZvciBoOj0wIHRvIE0tMSBkbwogICAgICBiZWdpbgogICAgICAgYSA6PSBTW2hdOyBiIDo9IEVbaF07CiAgICAgICAoKiBzZSBobyBlc2F1cml0byBpIHBvc3RpIG5lbGxhIGxpc3RhIGRpIGFkaWFjZW56YSBkZWwgbm9kbyBhICopCiAgICAgICBpZiBnc2l6ZVthXSA9IGdjYXBhW2FdIHRoZW4KICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAoKiBhbGxvcmEgcmFkZG9wcGlvIGxhIHN1YSBjYXBhY2l0YeKAmSAqKQogICAgICAgICAgICAgIGdjYXBhW2FdIDo9IGdjYXBhW2FdIHNobCAxOwogICAgICAgICAgICAgIHNldGxlbmd0aChncmFwaFthXSwgZ2NhcGFbYV0pOwogICAgICAgICAgICBlbmQ7CiAgICAgICBncmFwaFthXVtnc2l6ZVthXV0gOj0gYjsKICAgICAgIGluYyhnc2l6ZVthXSk7CiAgICAgICAoKiBzZSBobyBlc2F1cml0byBpIHBvc3RpIG5lbGxhIGxpc3RhIGRpIGFkaWFjZW56YSBkZWwgbm9kbyBiICopCiAgICAgICBpZiBnc2l6ZVtiXSA9IGdjYXBhW2JdIHRoZW4KICAgICAgICAgICAgYmVnaW4KICAgICAgICAgICAgICAoKiBhbGxvcmEgcmFkZG9wcGlvIGxhIHN1YSBjYXBhY2l0YeKAmSAqKQogICAgICAgICAgICAgIGdjYXBhW2JdIDo9IGdjYXBhW2JdIHNobCAxOwogICAgICAgICAgICAgIHNldGxlbmd0aChncmFwaFtiXSwgZ2NhcGFbYl0pOwogICAgICAgICAgICBlbmQ7CiAgICAgICBncmFwaFtiXVtnc2l6ZVtiXV0gOj1hOwogICAgICAgaW5jKGdzaXplW2JdKTsKICAgIGVuZDsKICAgY29udGFjb21wb25lbnRpOj0xOyBjb250YTo9MDsgCiAgIGJmcygwLGRpc3QpOwogICB3aGlsZSBjb250YTxOIGRvCiAgICAgICAgICAgICAgICAgICAgYmVnaW4gCiAgICAgICAgICAgICAgICAgICAgICAgIGg6PTA7IHVzY2l0YTo9ZmFsc2U7CiAgICAgICAgICAgICAgICAgICAgICAgIGNvbnRhY29tcG9uZW50aTo9Ti1jb250YWNvbXBvbmVudGkrMTsKICAgICAgICAgICAgICAgICAgICAgICAgd2hpbGUgKHVzY2l0YT1mYWxzZSkgYW5kIChoPE4pIGRvICBpZiB2aXNpdGVkW2hdPXRydWUgdGhlbiBoOj1oKzEKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbHNlIGJlZ2luICB1c2NpdGE6PXRydWU7cmljb3JkYTo9aDsgZW5kOwogICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICBiZnMocmljb3JkYSxkaXN0KTsKICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgIGVuZDsgCiAgd3JpdGVsbiAoY29udGFjb21wb25lbnRpLTEpOwplbmQu