結果

問題 No.3508 OR Mapping
コンテスト
ユーザー Magentor
提出日時 2026-04-18 01:57:16
言語 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
結果
AC  
実行時間 679 ms / 2,000 ms
コード長 2,956 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 4,756 ms
コンパイル使用メモリ 382,060 KB
実行使用メモリ 147,876 KB
最終ジャッジ日時 2026-04-18 01:57:49
合計ジャッジ時間 29,316 ms
ジャッジサーバーID
（参考情報） 		judge2_1 / judge3_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 65
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
template<typename T> inline bool chmax(T &a, T b) { return ((a < b) ? (a = b, true) : (false)); }
template<typename T> inline bool chmin(T &a, T b) { return ((a > b) ? (a = b, true) : (false)); }
#define rep(i, n) for (long long i = 0; i < (long long)(n); i++)
#define rep2(i, m ,n) for (int i = (m); i < (long long)(n); i++)
#define REP(i, n) for (long long i = 1; i < (long long)(n); i++)
typedef long long ll;
#define updiv(N,X) (N + X - 1) / X
#define l(n) n.begin(),n.end()
#define YesNo(Q) Q==1?cout<<"Yes":cout<<"No"
using P = pair<int, int>;
using mint = modint;
const int MOD = 998244353LL;
const ll INF = 999999999999LL;
vector<long long> fact, fact_inv, inv;
/*  init_nCk :二項係数のための前処理
    計算量:O(n)
*/
template <typename T>
void input(vector<T> &v){
 rep(i,v.size()){cin>>v[i];}
  return;
}
void init_nCk(int SIZE) {
    fact.resize(SIZE + 5);
    fact_inv.resize(SIZE + 5);
    inv.resize(SIZE + 5);
    fact[0] = fact[1] = 1;
    fact_inv[0] = fact_inv[1] = 1;
    inv[1] = 1;
    for (int i = 2; i < SIZE + 5; i++) {
        fact[i] = fact[i - 1] * i % MOD;
        inv[i] = MOD - inv[MOD % i] * (MOD / i) % MOD;
        fact_inv[i] = fact_inv[i - 1] * inv[i] % MOD;
    }
}
/*  nCk :MODでの二項係数を求める(前処理 int_nCk が必要)
    計算量:O(1)
*/
long long nCk(int n, int k) {
    assert(!(n < k));
    assert(!(n < 0 || k < 0));
    return fact[n] * (fact_inv[k] * fact_inv[n - k] % MOD) % MOD;
}

long long modpow(long long a, long long n, long long mod) {
    long long res = 1;
    while (n > 0) {
        if (n & 1) res = res * a % mod;
        a = a * a % mod;
        n >>= 1;
    }
    return res;
}

ll POW(ll a,ll n){
  long long res = 1;
    while (n > 0) {
        if (n & 1) res = res * a;
        a = a * a;
        n >>= 1;
    }
    return res;
}
void otp(ll a,ll b,ll c){
	cout<<a+1<<" "<<b+1<<" "<<c<<endl;
}
int main() {
   ll n,m,k;cin>>n>>m>>k;
   scc_graph c(n);
   vector<vector<ll>> g(n);
   rep(i,m){
   	int u,v;cin>>u>>v;u--;v--;
   	c.add_edge(u,v);
   	g[u].push_back(v);
   }
   auto u = c.scc();
   vector<int> rev(n);
   rep(i,u.size()){
   	rep(j,u[i].size()){
   		rev[u[i][j]] = i;
   	}
   }
   dsu d(2*n);
   vector<bool> f(u.size(),false);
   rep(i,n){
   	rep(j,g[i].size()){
   		if(rev[i]==rev[g[i][j]]){
   			d.merge(i,g[i][j]+n);
   			d.merge(i+n,g[i][j]);
   		}
   		else if(rev[i]+1==rev[g[i][j]]){
   			f[rev[i]] = true;
   		}
   	}
   }
   rep(i,u.size()-1){
   	if(!f[i]){cout<<"No"<<endl;return 0;}
   }
   if(rev[0]!=0){cout<<"No"<<endl;return 0;}
   rep(i,u.size()){
   	if(!d.same(u[i][0],u[i][0]+n)&&u[i].size()>1){cout<<"No"<<endl;return 0;}
   }
   if(u[0].size()==1){cout<<"No"<<endl;return 0;}
   rep(i,u.size()-1){
   	if(u[i].size()==1&&u[i+1].size()==1){
   		cout << "No" << endl;return 0;
   	}
   
   }
   	cout << "Yes" << endl;
}
0