結果

問題 No.3508 OR Mapping
コンテスト
ユーザー よいちなすの
提出日時 2026-04-18 04:01:33
言語 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
結果
RE  
実行時間 -
コード長 979 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,756 ms
コンパイル使用メモリ 190,124 KB
実行使用メモリ 1,307,776 KB
最終ジャッジ日時 2026-04-18 04:02:12
合計ジャッジ時間 10,812 ms
ジャッジサーバーID
（参考情報） 		judge2_1 / judge3_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample -- * 2
other AC * 2 RE * 1 MLE * 2 -- * 60
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <iostream>
#include <vector>
#include <queue>

using namespace std;

int main() {
    int n, m, k;
    cin >> n >> m >> k;
    vector<vector<int>> g(n + 1);
    for (int i = 0; i < m; ++i) {
        int u, v;
        cin >> u >> v;
        g[u].push_back(v);
    }
    int mod = 1 << k;
    vector<vector<bool>> d(n + 1, vector<bool>(mod, false));
    queue<pair<int, int>> q;
    q.push({1, 0});
    while (!q.empty()) {
        auto [u, r] = q.front();
        q.pop();
        int nr = (r + 1) % mod;
        for (int v : g[u]) {
            if (!d[v][nr]) {
                d[v][nr] = true;
                q.push({v, nr});
            }
        }
    }
    bool f = true;
    int t = mod - 1;
    for (int i = 1; i <= n; ++i) {
        int c = 0;
        for (int r = 0; r < mod; ++r) {
            if (d[i][r]) c |= r;
        }
        if (c != t) {
            f = false;
            break;
        }
    }
    cout << (f ? "Yes" : "No") << endl;
    return 0;
}
0