結果

問題 No.2464 To DAG
ユーザー kotatsugame
提出日時 2023-09-08 22:59:40
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
TLE  
実行時間 -
コード長 1,234 bytes
コンパイル時間 1,124 ms
コンパイル使用メモリ 88,524 KB
実行使用メモリ 91,460 KB
最終ジャッジ日時 2024-06-26 16:17:18
合計ジャッジ時間 8,959 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 1 TLE * 2 -- * 36
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<algorithm>
#include<vector>
#include<cassert>
#include<atcoder/scc>
using namespace std;
int N,M;
int U[3<<17],V[3<<17];
bool del[3<<17];
vector<int>G[3<<17];
int ID[3<<17];
bool vis[3<<17];
void solve()
{
	bool ch=false;
	{
		atcoder::scc_graph scc(N);
		for(int i=0;i<M;i++)if(!del[i])
		{
			scc.add_edge(U[i],V[i]);
		}
		vector<vector<int> >SCC=scc.scc();
		for(int i=0;i<SCC.size();i++)
		{
			for(int u:SCC[i])ID[u]=i;
		}
		for(int i=0;i<N;i++)
		{
			G[i].clear();
			vis[i]=false;
		}
		for(int i=0;i<M;i++)if(!del[i]&&ID[U[i]]==ID[V[i]])
		{
			G[U[i]].push_back(i);
		}
		for(int i=0;i<SCC.size();i++)if(SCC[i].size()>=2)
		{
			int u=SCC[i][0];
			while(!vis[u])
			{
				vis[u]=true;
				assert(!G[u].empty());
				u=V[G[u][0]];
			}
			ch=true;
			int w=u;
			do{
				del[G[w][0]]=true;
				w=V[G[w][0]];
			}while(w!=u);
		}
	}
	if(ch)solve();
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cin>>N>>M;
	for(int i=0;i<M;i++)
	{
		cin>>U[i]>>V[i];
		U[i]--,V[i]--;
	}
	solve();
	vector<pair<int,int> >ans;
	for(int i=0;i<M;i++)if(!del[i])ans.push_back(make_pair(U[i],V[i]));
	cout<<N<<" "<<ans.size()<<"\n";
	for(pair<int,int>e:ans)cout<<e.first+1<<" "<<e.second+1<<"\n";
}
0