結果
問題 |
No.3291 K-step Navigation
|
ユーザー |
![]() |
提出日時 | 2025-10-04 22:25:13 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 3,463 bytes |
コンパイル時間 | 2,020 ms |
コンパイル使用メモリ | 175,420 KB |
実行使用メモリ | 7,716 KB |
最終ジャッジ日時 | 2025-10-04 22:25:18 |
合計ジャッジ時間 | 4,115 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 2 |
other | AC * 45 WA * 6 |
ソースコード
// #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); } } } vector<ll> evens, odds; for(int i=0; i<N; i++) { if (i == s) continue; (dist[i] % 2 == 0 ? evens : odds).emplace_back(dist[i]); } sort(evens.begin(), evens.end()); sort(odds.begin(), odds.end()); ll min_dist = LONGINF; if (evens.size() >= 2) chmin(min_dist, evens[0] + evens[1] + 1); if (odds.size() >= 2) chmin(min_dist, odds[0] + odds[1] + 1); // fprintf(stderr, "debug: s = %d, min_dist = %lld\n", s, min_dist); 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; 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; } 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 && loop_exists(G, K); cout << (is_ok ? "Yes" : "No") << endl; return 0; }