結果

問題 No.2536 同値性と充足可能性
ユーザー twooimp2twooimp2
提出日時 2023-11-10 22:47:29
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,442 bytes
コンパイル時間 2,691 ms
コンパイル使用メモリ 226,068 KB
実行使用メモリ 21,376 KB
最終ジャッジ日時 2024-09-26 02:01:10
合計ジャッジ時間 9,941 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 AC 2 ms
5,376 KB
testcase_02 WA -
testcase_03 AC 2 ms
5,376 KB
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 AC 2 ms
5,376 KB
testcase_20 AC 8 ms
5,376 KB
testcase_21 AC 9 ms
5,376 KB
testcase_22 AC 9 ms
5,376 KB
testcase_23 AC 229 ms
9,160 KB
testcase_24 AC 414 ms
8,928 KB
testcase_25 TLE -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In function 'int main()':
main.cpp:54:15: warning: 'kind' may be used uninitialized [-Wmaybe-uninitialized]
   54 |       ll last,kind;
      |               ^~~~

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
using ll=long long;
using P=pair<ll,ll>;

int main(){
  ll n,m;
  cin>>n>>m;
  vector<vector<P>> G(n);
  for(ll i=0;i<m;i++){
    ll u,v;
    string e;
    cin>>u>>e>>v;
    u--;
    v--;
    if(e=="<==>"){
      G[u].push_back(P(v,1));
      G[v].push_back(P(u,1));
    }else{
      G[u].push_back(P(v,0));
      G[v].push_back(P(u,0));
    }
  }
  ll cnt=0;
  vector<ll> ans;
  vector<bool> seen(n,false);
  queue<ll> que;
  for(ll i=0;i<n;i++){
    if(!seen[i]&&G[i].size()==1){
      seen[i]=true;
      que.push(i);
      vector<vector<ll>> dp(n,vector<ll>(2,-1e18));
      dp[i][0]=0;
      dp[i][1]=1;
      while(que.size()){
        ll q=que.front();
        que.pop();
        for(P p:G[q]){
          ll u=p.first;
          ll idx=p.second;
          if(!seen[u]){
            seen[u]=true;
            if(idx==1){
              dp[u][0]=max(dp[u][0],dp[q][0]);
              dp[u][1]=max(dp[u][1],dp[q][1]+1);
            }else{
              dp[u][0]=max(dp[u][0],dp[q][1]);
              dp[u][1]=max(dp[u][1],dp[q][0]+1);
            }
          }
        }
      }
      ll tmp=-1e18;
      ll last,kind;
      for(ll i=0;i<n;i++){
        if(tmp<dp[i][0]){
          tmp=dp[i][0];
          last=i;
          kind=0;
        }
        if(tmp<dp[i][1]){
          tmp=dp[i][1];
          last=i;
          kind=1;
        }
      }
      vector<bool> seen2(n,false);
      seen2[last]=true;
      queue<P> que2;
      que2.push(P(last,kind));
      if(kind==1){
        ans.push_back(last);
      }
      while(que2.size()){
        P q=que2.front();
        que2.pop();
        ll ver=q.first;
        ll kind=q.second;
        for(P p:G[ver]){
          ll u=p.first;
          if(!seen2[u]){
            if(dp[u][0]+1==dp[ver][kind]){
              seen2[u]=true;
              que2.push(P(u,0));
              if(kind==1){
                ans.push_back(u);
              }
            }else if(dp[u][1]+1==dp[ver][kind]){
              seen2[u]=true;
              que2.push(P(u,1));
              if(kind==1){
                ans.push_back(u);
              }
            }
          }
        }
      }
    }
  }
  sort(ans.begin(),ans.end());
  ans.erase(unique(ans.begin(),ans.end()),ans.end());
  if(ans.size()<(n+1)/2){
    cout<<"No"<<endl;
  }else{
    cout<<"Yes"<<endl;
    cout<<ans.size()<<endl;
    for(ll u:ans){
      cout<<u+1<<" ";
    }
    cout<<endl;
  }
}
0