結果

問題 No.2464 To DAG
ユーザー kotatsugame
提出日時 2023-09-08 22:54:50
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
MLE  
実行時間 -
コード長 1,252 bytes
コンパイル時間 942 ms
コンパイル使用メモリ 87,780 KB
実行使用メモリ 814,652 KB
最終ジャッジ日時 2024-06-26 16:10:53
合計ジャッジ時間 7,955 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 2 MLE * 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()
{
	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);
	}
	bool ch=false;
	int TM=0;
	for(int i=0;i<N;i++)if(!vis[i])
	{
		++TM;
		int u=i;
		bool ok=true;
		while(vis[u]==0)
		{
			vis[u]=TM;
			if(G[u].empty())
			{
				ok=false;
				break;
			}
			u=V[G[u][0]];
		}
		if(ok&&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