結果

問題 No.2536 同値性と充足可能性
コンテスト
ユーザー InTheBloom
提出日時 2023-11-10 22:10:13
言語 D
(dmd 2.109.1)
結果
WA  
実行時間 -
コード長 2,121 bytes
コンパイル時間 3,821 ms
コンパイル使用メモリ 177,340 KB
実行使用メモリ 14,764 KB
最終ジャッジ日時 2024-09-26 01:39:14
合計ジャッジ時間 8,304 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 8 WA * 23
権限があれば一括ダウンロードができます

ソースコード

diff # 

import std;

struct pair {
    int u;
    int v;
}

void main () {
    int N, M; readln.read(N, M);
    pair[] P1;
    pair[] P2;
    foreach (i; 0..M) {
        int u, v;
        string type;
        readln.read(u, type, v);
        u--, v--;
        if (type == "<==>") {
            P1 ~= pair(u, v);
        }
        if (type == "<=/=>") {
            P2 ~= pair(u, v);
        }
    }

    solve(N, M, P1, P2);
}

void solve (int N, int M, pair[] P1, pair[] P2) {
    /* まずは命題タイプ1の方を全部取る */
    int[][] graph = new int[][](N, 0);
    bool[] used = new bool[](N);
    foreach (p; P1) {
        used[p.u] = used[p.v] = true;
    }

    /*
       命題タイプ2を紙に書いてみると、おそらく距離MOD2が等しい頂点を全部取ることが必要十分条件。
       タイプ1でとられた奴らからスタートして、矛盾があればアウト
     */
    foreach (p; P2) {
        graph[p.u] ~= p.v;
        graph[p.v] ~= p.u;
    }

    bool[] visited = new bool[](N);
    bool isOk = true;

    void dfs (int pos, int dist) {
        visited[pos] = true;
        if (dist % 2 == 0) used[pos] = true;
        if (dist % 2 == 1 && used[pos]) {
            isOk = false;
        }
        foreach (to; graph[pos]) {
            if (visited[to]) continue;
            dfs(to, dist+1);
        }
    }

    /* タイプ1からスタート */
    foreach (i; 0..N) {
        if (used[i]) dfs(i, 0);
    }
    /* 満たされていない命題を探索 */
    foreach (p; P2) {
        if (!used[p.u] && !used[p.v]) dfs(p.u, 0);
    }

    /* 条件チェック */
    int[] took;
    foreach (i; 0..N) {
        if (used[i]) took ~= i+1;
    }
    took.sort;
    foreach (p; P2) {
        if (used[p.u] && used[p.v]) isOk = false;
    }

    if (isOk) {
        writeln("Yes");
        foreach (i, t; took) {
            write(t, i == took.length-1 ? '\n' : ' ');
        }
    } else {
        writeln("No");
    }
}

void read(T...)(string S, ref T args) {
    auto buf = S.split;
    foreach (i, ref arg; args) {
        arg = buf[i].to!(typeof(arg));
    }
}
0