結果

問題 No.2464 To DAG
ユーザー kotatsugame
提出日時 2023-09-08 23:02:41
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
TLE  
実行時間 -
コード長 1,293 bytes
コンパイル時間 1,203 ms
コンパイル使用メモリ 89,032 KB
実行使用メモリ 92,468 KB
最終ジャッジ日時 2024-06-26 16:20:13
合計ジャッジ時間 8,766 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 2 TLE * 1 -- * 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];
int 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]=0;
		}
		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 TM=0;
			for(int u:SCC[i])if(!vis[u])
			{
				++TM;
				while(!vis[u])
				{
					vis[u]=TM;
					u=V[G[u][0]];
				}
				if(vis[u]==TM)
				{
					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