結果

問題 No.3585 Make Ends Meet (Easy)
コンテスト
ユーザー marc2825
提出日時 2026-05-25 09:35:32
言語 C++17
(gcc 15.2.0 + boost 1.90.0)
コンパイル:
g++-15 -O2 -lm -std=c++17 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
WA  
実行時間 -
コード長 2,592 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,312 ms
コンパイル使用メモリ 221,524 KB
実行使用メモリ 9,420 KB
最終ジャッジ日時 2026-07-10 20:51:42
合計ジャッジ時間 3,474 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 29 WA * 19
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

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

int N, M, K;
vector<pair<int, int>> ans;

void print_no() {
    cout << "No\n";
}

void print_yes() {
    cout << "Yes\n";
    for (auto [u, v] : ans) {
        cout << u << ' ' << v << '\n';
    }
}

int main() {
    cin >> N >> M >> K;

    int T = N * (N - 1) / 2;

    if (K == 1) {
        // WRONG-ish for the spirit:
        // This part is correct for K=1, but the K>=2 part confuses exactly K with at least K.
        if (M == T) {
            print_no();
            return 0;
        }

        for (int u = 1; u <= N; ++u) {
            for (int v = u + 1; v <= N; ++v) {
                if (u == 1 && v == N) continue;
                if ((int)ans.size() < M) {
                    ans.push_back({u, v});
                }
            }
        }

        print_yes();
        return 0;
    }

    // K >= 2.
    int min_removed = K * (K - 1) / 2 + (N - K - 1) * (K - 2);

    // WRONG:
    // It only checks whether enough shortcuts can be removed
    // to make the distance at least K.
    // It does not check M <= T-K.
    if (M < min_removed) {
        print_no();
        return 0;
    }

    // Use the path 1 - 2 - ... - K - N only for defining layers.
    // It does NOT protect the path edges from deletion.
    vector<int> path;
    path.push_back(1);
    for (int v = 2; v <= K; ++v) {
        path.push_back(v);
    }
    path.push_back(N);

    // Intended distance layer (BFS tree) of each vertex.
    vector<int> layer(N + 1, -1);
    layer[1] = 0;
    for (int i = 1; i <= K - 1; ++i) {
        layer[i + 1] = i;
    }
    layer[N] = K;

    // Make extra vertices belong to layer 1.
    for (int v = K + 1; v <= N - 1; ++v) {
        layer[v] = 1;
    }

    vector<vector<bool>> removed(N + 1, vector<bool>(N + 1, false));

    // First remove all edges whose layer difference is at least 2.
    // This removes shortcuts, so the distance tends to become at least K.
    for (int u = 1; u <= N; ++u) {
        for (int v = u + 1; v <= N; ++v) {
            if (abs(layer[u] - layer[v]) >= 2) {
                removed[u][v] = true;
                ans.push_back({u, v});
            }
        }
    }

    // WRONG:
    // Remove additional edges arbitrarily, including path edges.
    // This may destroy the path of length K.
    for (int u = 1; u <= N && (int)ans.size() < M; ++u) {
        for (int v = u + 1; v <= N && (int)ans.size() < M; ++v) {
            if (removed[u][v]) continue;

            removed[u][v] = true;
            ans.push_back({u, v});
        }
    }

    print_yes();
    return 0;
}
0