結果

問題 No.2536 同値性と充足可能性
ユーザー maeshunmaeshun
提出日時 2023-11-11 13:10:27
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 123 ms / 2,000 ms
コード長 1,516 bytes
コンパイル時間 4,797 ms
コンパイル使用メモリ 235,976 KB
実行使用メモリ 17,764 KB
最終ジャッジ日時 2023-11-11 13:10:35
合計ジャッジ時間 7,622 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,676 KB
testcase_01 AC 2 ms
6,676 KB
testcase_02 AC 2 ms
6,676 KB
testcase_03 AC 2 ms
6,676 KB
testcase_04 AC 3 ms
6,676 KB
testcase_05 AC 2 ms
6,676 KB
testcase_06 AC 2 ms
6,676 KB
testcase_07 AC 2 ms
6,676 KB
testcase_08 AC 2 ms
6,676 KB
testcase_09 AC 2 ms
6,676 KB
testcase_10 AC 2 ms
6,676 KB
testcase_11 AC 2 ms
6,676 KB
testcase_12 AC 2 ms
6,676 KB
testcase_13 AC 2 ms
6,676 KB
testcase_14 AC 2 ms
6,676 KB
testcase_15 AC 2 ms
6,676 KB
testcase_16 AC 2 ms
6,676 KB
testcase_17 AC 3 ms
6,676 KB
testcase_18 AC 3 ms
6,676 KB
testcase_19 AC 2 ms
6,676 KB
testcase_20 AC 9 ms
6,676 KB
testcase_21 AC 9 ms
6,676 KB
testcase_22 AC 10 ms
6,676 KB
testcase_23 AC 86 ms
11,384 KB
testcase_24 AC 86 ms
10,360 KB
testcase_25 AC 121 ms
17,380 KB
testcase_26 AC 116 ms
17,124 KB
testcase_27 AC 123 ms
17,764 KB
testcase_28 AC 115 ms
16,356 KB
testcase_29 AC 115 ms
16,612 KB
testcase_30 AC 109 ms
15,972 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
#define rep(i, n) for(int i=0;i<(n);++i)
#define rep1(i, n) for(int i=1;i<=(n);i++)
#define ll long long
using mint = modint998244353;
using P = pair<ll,ll>;
using lb = long double;
using T = tuple<ll, ll, ll>;
#ifdef LOCAL
#  include <debug_print.hpp>
#  define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#  define dbg(...) (static_cast<void>(0))
#endif

int main()
{
    int n, m;
    cin >> n >> m;
    dsu uf(n);
    vector<vector<int>> g(n);
    vector<pair<int,int>> e;
    two_sat ts(n);
    rep(i,m){
        int a, b;
        string s;
        cin >> a >> s >> b;
        --a;--b;
        if(s=="<==>"){
            ts.add_clause(a, 0, b, 1);
            ts.add_clause(a, 1, b, 0);
        }
        else{
            ts.add_clause(a, 1, b, 1);
            ts.add_clause(a, 0, b, 0);
        }
    }   
    bool f = ts.satisfiable();
    if(f){
        cout << "Yes" << endl;
        auto vs = ts.answer();
        int s = accumulate(vs.begin(),vs.end(),0);
        vector<int> ans;
        if(s>=(n+1)/2){
            rep(i,n) if(vs[i]) ans.push_back(i);
        }
        else{
            rep(i,n) if(!vs[i]) ans.push_back(i);
        }
        cout << ans.size() << endl;
        rep(i,ans.size()){
            cout << ans[i]+1;
            if(i==ans.size()-1) cout << endl;
            else cout << " ";
        }
    }   
    else{
        cout << "No" << endl;
    }
    return 0;
}
0