#include <fstream>
#include <vector>
#include <queue>
#include <stack>
#include <iostream>
#include <algorithm>
using namespace std;
const int noduriMAX = 100001;
class Graf
{
private:
int nrNoduri;
int nrMuchii;
int plecareBFS;
vector <vector<int>> adiacenta;
vector <vector<int>> ans; //pt muchie critica si pt biconexe
void DFS(int start, bool vizitat[]);
void Tarjan(int nod, int nrPasi[], int minimPasi[],
stack<int>* st, bool inSt[], vector<vector<int>>& afisare);
void DFSTopologic(int start, bool vizitat[], stack <int>& st);
void TBFA(int nod, int parinte, int nrPasi[], int minimPasi[]);
void DFSBiconex(int nod, int nrPasi[], int minimPasi[], int parinte[], stack <pair<int, int>>& muchii);
public:
void GrafNeorientat(string fisier);
void GrafOrientat(string fisier);
void NumaraCompCnx();
void CitireBFS();
void BFS();
void CTC();
void HavelHakimi();
void SortareTopologica();
vector<vector<int>> criticalConnections(int n, vector<vector<int>>& connections);
void Biconexe();
};
void Graf::GrafNeorientat(string fisier)
{
ifstream in(fisier);
in >> nrNoduri >> nrMuchii;
int start;
int capat;
adiacenta.resize(nrNoduri + 1);
for (int i = 0; i < nrMuchii; ++i)
{
in >> start >> capat;
adiacenta[start].push_back(capat);
adiacenta[capat].push_back(start);
}
in.close();
}
void Graf::GrafOrientat(string fisier)
{
ifstream in(fisier);
in >> nrNoduri >> nrMuchii;
int start;
int capat;
adiacenta.resize(nrNoduri + 1);
for (int i = 0; i < nrMuchii; ++i)
{
in >> start >> capat;
adiacenta[start].push_back(capat);
}
in.close();
}
void Graf::DFS(int start, bool vizitat[])
{
vizitat[start] = true;
for (int vecin : adiacenta[start])
{
if (!vizitat[vecin])
DFS(vecin, vizitat);
}
}
void Graf::NumaraCompCnx()
{
ofstream out("dfs.out");
int nrCompCnx = 0;
bool vizitat[noduriMAX] = { false };
for (int i = 1; i <= nrNoduri; ++i)
{
if (!vizitat[i])
{
DFS(i, vizitat);
nrCompCnx++;
}
}
out << nrCompCnx;
out.close();
}
void Graf::CitireBFS()
{
ifstream in("bfs.in");
in >> nrNoduri >> nrMuchii >> plecareBFS;
int start;
int capat;
adiacenta.resize(nrNoduri + 1);
for (int i = 0; i < nrMuchii; ++i)
{
in >> start >> capat;
adiacenta[start].push_back(capat);
}
in.close();
}
void Graf::BFS()
{
queue <int> coadaBFS;
int distanta[noduriMAX] = { 0 };
ofstream out("bfs.out");
int copiePlecareBFS = plecareBFS;
bool vizitat[noduriMAX] = { false };
vizitat[copiePlecareBFS] = true;
coadaBFS.push(copiePlecareBFS);
while (!coadaBFS.empty())
{
copiePlecareBFS = coadaBFS.front();
coadaBFS.pop();
for (int vecin : adiacenta[copiePlecareBFS])
if (!vizitat[vecin])
{
vizitat[vecin] = true;
distanta[vecin] = distanta[copiePlecareBFS] + 1;
coadaBFS.push(vecin);
}
}
for (int i = 1; i <= nrNoduri; ++i)
{
if (!vizitat[i])
out << -1 << " ";
else
out << distanta[i] << " ";
}
out.close();
}
void Graf::Tarjan(int nod, int nrPasi[], int minimPasi[], stack<int>* st, bool inSt[], vector<vector<int>>& afisare)
{
static int pas = 0;
nrPasi[nod] = minimPasi[nod] = ++pas;
st->push(nod);
inSt[nod] = true;
for (int vecin : adiacenta[nod])
{
if (nrPasi[vecin] == -1)
{
Tarjan(vecin, nrPasi, minimPasi, st, inSt, afisare);
minimPasi[nod] = min(minimPasi[nod], minimPasi[vecin]);
}
else if (inSt[vecin] == true)
minimPasi[nod] = min(minimPasi[nod], nrPasi[vecin]);
}
if (minimPasi[nod] == nrPasi[nod])
{
vector <int> auxAfisare;
while (st->top() != nod)
{
auxAfisare.push_back(st->top());
inSt[st->top()] = false;
st->pop();
}
auxAfisare.push_back(st->top());
inSt[st->top()] = false;
st->pop();
afisare.push_back(auxAfisare);
}
}
void Graf::CTC()
{
int* nrPasi = new int[nrNoduri + 1];
int* minimPasi = new int[nrNoduri + 1];
bool* inSt = new bool[nrNoduri + 1];
stack<int>* st = new stack<int>();
vector < vector<int>> afisare;
for (int i = 1; i <= nrNoduri; i++)
{
nrPasi[i] = -1;
minimPasi[i] = -1;
inSt[i] = false;
}
for (int i = 1; i <= nrNoduri; i++)
if (nrPasi[i] == -1)
Tarjan(i, nrPasi, minimPasi, st, inSt, afisare);
ofstream out("ctc.out");
out << afisare.size() << "\n";
for (int i = 0; i < (int)afisare.size(); ++i)
{
for (int j = 0; j < (int)afisare[i].size(); ++j)
out << afisare[i][j] << " ";
out << "\n";
}
out.close();
}
void Graf::HavelHakimi()
{
ifstream in("havel.in");
int x;
bool ok = true;
vector <int> v;
while (in >> x)
v.push_back(x);
in.close();
ofstream out("havel.out");
while (true)
{
sort(v.begin(), v.end(), greater<>());
if (v[0] == 0)
break;
int aux = v[0];
v.erase(v.begin());
if (aux > (int)v.size())
{
ok = false;
break;
}
for (int i = 0; i < aux; ++i)
{
v[i]--;
if (v[i] < 0)
{
ok = false;
break;
}
}
if (!ok)
break;
}
ok ? out << "Da" : out << "Nu";
out.close();
}
void Graf::DFSTopologic(int start, bool vizitat[], stack <int>& st)
{
vizitat[start] = true;
st.push(start);
for (int vecin : adiacenta[start])
{
if (!vizitat[vecin])
DFSTopologic(vecin, vizitat, st);
}
}
void Graf::SortareTopologica()
{
ofstream out("sortaret.out");
stack <int> st;
bool* vizitat = new bool[nrNoduri + 1];
for (int i = 1; i <= nrNoduri; ++i)
vizitat[i] = false;
for (int i = 1; i <= nrNoduri; ++i)
if (!vizitat[i])
DFSTopologic(i, vizitat, st);
vector <int> aux;
while (!st.empty())
{
aux.push_back(st.top());
st.pop();
}
for (int i = (int)aux.size() - 1; i >= 0; i--)
out << aux[i] << " ";
out.close();
}
void Graf::TBFA(int nod, int parinte, int nrPasi[], int minimPasi[])
{
static int pas = 0;
nrPasi[nod] = minimPasi[nod] = ++pas;
for (int vecin : adiacenta[nod])
{
if (nrPasi[vecin] == -1)
{
TBFA(vecin, nod, nrPasi, minimPasi);
minimPasi[nod] = min(minimPasi[vecin], minimPasi[nod]);
}
else if (vecin != parinte)
minimPasi[nod] = min(minimPasi[nod], nrPasi[vecin]);
if (minimPasi[vecin] > nrPasi[nod])
ans.push_back({ nod, vecin });
}
}
vector<vector<int>> Graf::criticalConnections(int n, vector<vector<int>>& connections) {
adiacenta.resize(n + 1);
for (auto muchie : connections)
{
adiacenta[muchie[0]].push_back(muchie[1]);
adiacenta[muchie[1]].push_back(muchie[0]);
}
int* nrPasi = new int[n];
int* minimPasi = new int[n];
for (int i = 0; i < n; i++)
{
nrPasi[i] = -1;
minimPasi[i] = -1;
}
TBFA(0, -1, nrPasi, minimPasi);
return ans;
}
void Graf::DFSBiconex(int nod, int nrPasi[], int minimPasi[], int parinte[], stack <pair<int, int>>& muchii)
{
static int pas = 0;
nrPasi[nod] = minimPasi[nod] = ++pas;
int nrFii = 0;
for (int vecin : adiacenta[nod])
{
if (nrPasi[vecin] == -1)
{
nrFii++;
parinte[vecin] = nod;
muchii.push({ nod, vecin });
DFSBiconex(vecin, nrPasi, minimPasi, parinte, muchii);
minimPasi[nod] = min(minimPasi[nod], minimPasi[vecin]);
if ((parinte[nod] == -1 && nrFii > 1) // pt rad
|| (nrPasi[nod] != -1 && minimPasi[vecin] >= nrPasi[nod])) //pt celelate noduri
{
vector <int> aux;
while (muchii.top().first != nod && muchii.top().second != vecin)
{
aux.push_back(muchii.top().second);
muchii.pop();
}
aux.push_back(muchii.top().second);
aux.push_back(muchii.top().first);
muchii.pop();
ans.push_back(aux);
}
}
else if (vecin != parinte[nod])
minimPasi[nod] = min(minimPasi[nod], nrPasi[vecin]);
}
}
void Graf::Biconexe()
{
int* nrPasi = new int[nrNoduri + 1];
int* minimPasi = new int[nrNoduri + 1];
int* parinte = new int[nrNoduri + 1];
stack<pair<int, int>> muchii;
for (int i = 1; i <= nrNoduri; ++i)
{
nrPasi[i] = -1;
minimPasi[i] = -1;
parinte[i] = -1;
}
for (int i = 1; i <= nrNoduri; i++)
if (nrPasi[i] == -1)
DFSBiconex(i, nrPasi, minimPasi, parinte, muchii);
ofstream out("biconex.out");
out << ans.size() << "\n";
for (auto comp : ans)
{
for (int nod : comp)
out << nod << " ";
out << "\n";
}
out.close();
}
int main()
{
Graf g;
g.GrafOrientat("sortaret.in");
g.SortareTopologica();
return 0;
}