結果

問題 No.3508 OR Mapping
コンテスト
ユーザー tau1235
提出日時 2026-04-19 20:02:27
言語 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  
実行時間 416 ms / 2,000 ms
コード長 1,329 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 2,399 ms
コンパイル使用メモリ 350,804 KB
実行使用メモリ 148,008 KB
最終ジャッジ日時 2026-04-19 20:02:47
合計ジャッジ時間 17,177 ms
ジャッジサーバーID
（参考情報） 		judge1_1 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 65
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include<bits/stdc++.h>
#include<atcoder/scc>
using namespace std;

int main(){
  int n,m,K;
  cin>>n>>m>>K;
  vector<vector<int>> g(n);
  atcoder::scc_graph g2(n);
  for (int i=0;i<m;i++){
    int u,v;
    cin>>u>>v;
    u--;v--;
    g[u].push_back(v);
    g2.add_edge(u,v);
  }
  auto scc=g2.scc();
  int k=scc.size();
  vector<int> group(n);
  for (int i=0;i<k;i++) for (int v:scc[i]) group[v]=i;
  for (int i=0;i<k-1;i++){
    bool f=false;
    for (int v:scc[i]){
      for (int u:g[v]){
        if (group[u]==i+1) f=true;
      }
    }
    if (!f){
      cout<<"No\n";
      return 0;
    }
  }
  if (group[0]!=0){
    cout<<"No\n";
    return 0;
  }
  vector<int> col(n,-1);
  vector<bool> bip(k,true);
  auto dfs=[&](auto dfs,int v)-> void {
    if (col[v]==-1) col[v]=0;
    for (int u:g[v]){
      if (group[v]!=group[u]) continue;
      if (col[u]==-1){
        col[u]=col[v]^1;
        dfs(dfs,u);
      }
      if (col[u]!=(col[v]^1)) bip[group[v]]=false;
    }
  };
  vector<int> vec;
  for (int i=0;i<k;i++) for (int v:scc[i]) vec.push_back(v);
  for (int i=0;i<n;i++) dfs(dfs,vec[i]);
  bool ans=true;
  for (int i=0;i<k;i++){
    if ((int)scc[i].size()==1){
      if (i>0&&!bip[i-1]) ;
      else ans=false;
    }
    else{
      if (bip[i]) ans=false;
    }
  }
  if (ans) cout<<"Yes\n";
  else cout<<"No\n";
}
0