結果
問題 |
No.3291 K-step Navigation
|
ユーザー |
![]() |
提出日時 | 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 |
ソースコード
// #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; }