結果

問題 No.3508 OR Mapping
コンテスト
ユーザー askr58
提出日時 2026-04-17 22:58:22
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
コンパイル:
g++-15 -O2 -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
WA  
実行時間 -
コード長 1,267 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,655 ms
コンパイル使用メモリ 350,164 KB
実行使用メモリ 126,516 KB
最終ジャッジ日時 2026-04-17 22:58:48
合計ジャッジ時間 23,722 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 60 WA * 5
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;
using ll=long long;
#include <atcoder/scc>
int main(){
	int n,m,k;
	cin>>n>>m>>k;
	vector<int> u(m),v(m);
	for(int i=0;i<m;i++)cin>>u[i]>>v[i],u[i]--,v[i]--;
	atcoder::scc_graph graph(n);
	for(int i=0;i<m;i++)graph.add_edge(u[i],v[i]);
	auto vv=graph.scc();
	if(vv[0].size()==1){
		cout<<"No"<<endl;
		return 0;
	}
	vector<int> g(n);
	for(int i=0;i<vv.size();i++){
		for(int x:vv[i])g[x]=i;
	}
	vector<vector<int>> sgraph(n);
	for(int i=0;i<m;i++){
		if(g[u[i]]==g[v[i]])sgraph[u[i]].push_back(v[i]);
	}
	vector<int> f(n,-1);
	for(int i=0;i<vv.size();i++){
		if(vv[i].size()==1)continue;
		f[vv[i][0]]=0;
		bool ok=false;
		queue<int> bfs;
		bfs.push(vv[i][0]);
		while(!bfs.empty()){
			int x=bfs.front();
			bfs.pop();
			for(int y:sgraph[x]){
				if(f[y]==-1){
					f[y]=1-f[x];
					bfs.push(y);
				}else{
					if(f[x]==f[y])ok=true;
				}
			}
		}
		if(!ok){
			cout<<"No"<<endl;
			return 0;
		}
	}
	vector<vector<int>> bgraph(vv.size());
	for(int i=0;i<m;i++){
		bgraph[g[u[i]]].push_back(g[v[i]]);
	}
	for(int i=0;i<vv.size()-1;i++){
		bool ok=false;
		for(int j:bgraph[i])if(j==i+1)ok=true;
		if((!ok)||(vv[i].size()==1&&vv[i+1].size()==1)){
			cout<<"No"<<endl;
			return 0;
		}
	}
	cout<<"Yes"<<endl;
}
0