結果

問題 No.3291 K-step Navigation
ユーザー tsutaj
提出日時 2025-10-04 22:29:45
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 124 ms / 3,000 ms
コード長 3,522 bytes
コンパイル時間 1,887 ms
コンパイル使用メモリ 170,964 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2025-10-04 22:29:50
合計ジャッジ時間 4,540 ms
ジャッジサーバーID
(参考情報)
judge1 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 2
other AC * 51
権限があれば一括ダウンロードができます

ソースコード

diff #

// #define _GLIBCXX_DEBUG // for STL debug (optional)
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <string>
#include <cstring>
#include <deque>
#include <list>
#include <queue>
#include <stack>
#include <vector>
#include <utility>
#include <algorithm>
#include <map>
#include <set>
#include <complex>
#include <cmath>
#include <limits>
#include <cfloat>
#include <climits>
#include <ctime>
#include <cassert>
#include <numeric>
#include <fstream>
#include <functional>
#include <bitset>
using namespace std;
using ll = long long int;
using int64 = long long int;
 
template<typename T> void chmax(T &a, T b) {a = max(a, b);}
template<typename T> void chmin(T &a, T b) {a = min(a, b);}
template<typename T> void chadd(T &a, T b) {a = a + b;}
 
int dx[] = {0, 0, 1, -1};
int dy[] = {1, -1, 0, 0};
const int INF = 1LL << 29;
const ll LONGINF = 1LL << 60;
const ll MOD = 1000000007LL;

ll dp[2010][2][2];
bool loop_exists(const vector<vector<int>>& G, ll K) {
    int N = G.size();
    // S -> T -> s -> ... -> s -> T
    for(int s=0; s<N; s++) {
        vector<ll> dist(N, LONGINF);
        dist[s] = 0;
        queue<int> que;
        que.emplace(s);
        while(que.size()) {
            int i = que.front(); que.pop();
            for(int j : G[i]) {
                if (dist[j] > dist[i] + 1) {
                    dist[j] = dist[i] + 1;
                    que.emplace(j);
                }
            }
        }
        ll min_dist = LONGINF;
        for(int i=0; i<N; i++) {
            for(auto j : G[i]) {
                if (i == s || j == s) continue;
                if ((dist[i] + dist[j] + 1) % 2 == 0) continue;
                chmin(min_dist, dist[i] + dist[j] + 1);
            }
        }
        if (min_dist <= K - 3) return true;
    }
    return false;
}
int main() {
    ll N, M, K, s, t;
    cin >> N >> M >> K >> s >> t;
    s--, t--;
    vector<vector<int>> G(N);
    bool direct_edge_exists = false;
    bool other_edge_exists = false;
    for(int i=0; i<M; i++) {
        int u, v; cin >> u >> v;
        u--, v--;
        G[u].emplace_back(v);
        G[v].emplace_back(u);
        if (u == s && v == t) direct_edge_exists = true;
        if (u == t && v == s) direct_edge_exists = true;
        if (u == s && v != t) other_edge_exists = true;
        if (v == s && u != t) other_edge_exists = true;
        if (u == t && v != s) other_edge_exists = true;
        if (v == t && u != s) other_edge_exists = true;
    }

    fill(dp[0][0], dp[N][0], LONGINF);
    dp[s][0][0] = 0;
    queue<tuple<int, int, int>> que;
    que.emplace(s, 0, 0);
    while(que.size()) {
        auto [i, p, is_used] = que.front(); que.pop();
        for(int j : G[i]) {
            if (dp[j][p^1][is_used] > dp[i][p][is_used] + 1) {
                dp[j][p^1][is_used] = dp[i][p][is_used] + 1;
                que.emplace(j, p^1, is_used);
            }
        }
        for(int j=0; !is_used && j<N; j++) {
            if (j == i) continue;
            if (dp[j][p^1][true] > dp[i][p][is_used] + 1) {
                dp[j][p^1][true] = dp[i][p][is_used] + 1;
                que.emplace(j, p^1, true);
            }
        }
    }
    bool is_ok = false;
    fprintf(stderr, "debug: dp1 = %lld, dp2 = %lld\n", dp[t][0][true], dp[t][1][true]);
    is_ok |= K % 2 == 0 && dp[t][0][true] <= K;
    is_ok |= K % 2 == 1 && dp[t][1][true] <= K;
    is_ok |= K % 2 == 0 && direct_edge_exists && !other_edge_exists && loop_exists(G, K);
    cout << (is_ok ? "Yes" : "No") << endl;
    return 0;
}
0