結果
問題 | No.1069 電柱 / Pole (Hard) |
ユーザー | yosupot |
提出日時 | 2020-05-29 22:37:48 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
TLE
|
実行時間 | - |
コード長 | 7,394 bytes |
コンパイル時間 | 1,751 ms |
コンパイル使用メモリ | 138,704 KB |
実行使用メモリ | 16,172 KB |
最終ジャッジ日時 | 2024-11-06 12:05:28 |
合計ジャッジ時間 | 5,330 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
13,760 KB |
testcase_01 | AC | 2 ms
6,816 KB |
testcase_02 | AC | 2 ms
6,816 KB |
testcase_03 | AC | 2 ms
6,816 KB |
testcase_04 | TLE | - |
testcase_05 | -- | - |
testcase_06 | -- | - |
testcase_07 | -- | - |
testcase_08 | -- | - |
testcase_09 | -- | - |
testcase_10 | -- | - |
testcase_11 | -- | - |
testcase_12 | -- | - |
testcase_13 | -- | - |
testcase_14 | -- | - |
testcase_15 | -- | - |
testcase_16 | -- | - |
testcase_17 | -- | - |
testcase_18 | -- | - |
testcase_19 | -- | - |
testcase_20 | -- | - |
testcase_21 | -- | - |
testcase_22 | -- | - |
testcase_23 | -- | - |
testcase_24 | -- | - |
testcase_25 | -- | - |
testcase_26 | -- | - |
testcase_27 | -- | - |
testcase_28 | -- | - |
testcase_29 | -- | - |
testcase_30 | -- | - |
testcase_31 | -- | - |
testcase_32 | -- | - |
testcase_33 | -- | - |
testcase_34 | -- | - |
testcase_35 | -- | - |
testcase_36 | -- | - |
testcase_37 | -- | - |
testcase_38 | -- | - |
testcase_39 | -- | - |
testcase_40 | -- | - |
testcase_41 | -- | - |
testcase_42 | -- | - |
testcase_43 | -- | - |
testcase_44 | -- | - |
testcase_45 | -- | - |
testcase_46 | -- | - |
testcase_47 | -- | - |
testcase_48 | -- | - |
testcase_49 | -- | - |
testcase_50 | -- | - |
testcase_51 | -- | - |
testcase_52 | -- | - |
testcase_53 | -- | - |
testcase_54 | -- | - |
testcase_55 | -- | - |
testcase_56 | -- | - |
testcase_57 | -- | - |
testcase_58 | -- | - |
testcase_59 | -- | - |
testcase_60 | -- | - |
testcase_61 | -- | - |
testcase_62 | -- | - |
testcase_63 | -- | - |
testcase_64 | -- | - |
testcase_65 | -- | - |
testcase_66 | -- | - |
testcase_67 | -- | - |
testcase_68 | -- | - |
testcase_69 | -- | - |
testcase_70 | -- | - |
testcase_71 | -- | - |
testcase_72 | -- | - |
testcase_73 | -- | - |
testcase_74 | -- | - |
testcase_75 | -- | - |
testcase_76 | -- | - |
testcase_77 | -- | - |
testcase_78 | -- | - |
testcase_79 | -- | - |
testcase_80 | -- | - |
testcase_81 | -- | - |
testcase_82 | -- | - |
ソースコード
//#pragma GCC optimize("Ofast") //#pragma GCC target("avx") //#undef LOCAL #include <algorithm> #include <array> #include <bitset> #include <cassert> #include <complex> #include <cstdio> #include <cstring> #include <iostream> #include <map> #include <numeric> #include <queue> #include <set> #include <string> #include <unordered_map> #include <unordered_set> #include <vector> using namespace std; using uint = unsigned int; using ll = long long; using ull = unsigned long long; constexpr ll TEN(int n) { return (n == 0) ? 1 : 10 * TEN(n - 1); } template <class T> using V = vector<T>; template <class T> using VV = V<V<T>>; #include <unistd.h> struct Scanner { int fd = -1; char line[(1 << 15) + 1]; size_t st = 0, ed = 0; void reread() { memmove(line, line + st, ed - st); ed -= st; st = 0; ed += ::read(fd, line + ed, (1 << 15) - ed); line[ed] = '\0'; } bool succ() { while (true) { if (st == ed) { reread(); if (st == ed) return false; } while (st != ed && isspace(line[st])) st++; if (st != ed) break; } if (ed - st <= 50) { bool sep = false; for (size_t i = st; i < ed; i++) { if (isspace(line[i])) { sep = true; break; } } if (!sep) reread(); } return true; } template <class T, enable_if_t<is_same<T, string>::value, int> = 0> bool read_single(T& ref) { if (!succ()) return false; while (true) { size_t sz = 0; while (st + sz < ed && !isspace(line[st + sz])) sz++; ref.append(line + st, sz); st += sz; if (!sz || st != ed) break; reread(); } return true; } template <class T, enable_if_t<is_integral<T>::value, int> = 0> bool read_single(T& ref) { if (!succ()) return false; bool neg = false; if (line[st] == '-') { neg = true; st++; } ref = T(0); while (isdigit(line[st])) { ref = 10 * ref + (line[st++] & 0xf); } if (neg) ref = -ref; return true; } template <class T> bool read_single(V<T>& ref) { for (auto& d : ref) { if (!read_single(d)) return false; } return true; } void read() {} template <class H, class... T> void read(H& h, T&... t) { bool f = read_single(h); assert(f); read(t...); } Scanner(FILE* fp) : fd(fileno(fp)) {} }; struct Printer { public: template <bool F = false> void write() {} template <bool F = false, class H, class... T> void write(const H& h, const T&... t) { if (F) write_single(' '); write_single(h); write<true>(t...); } template <class... T> void writeln(const T&... t) { write(t...); write_single('\n'); } Printer(FILE* _fp) : fp(_fp) {} ~Printer() { flush(); } private: static constexpr size_t SIZE = 1 << 15; FILE* fp; char line[SIZE], small[50]; size_t pos = 0; void flush() { fwrite(line, 1, pos, fp); pos = 0; } void write_single(const char& val) { if (pos == SIZE) flush(); line[pos++] = val; } template <class T, enable_if_t<is_integral<T>::value, int> = 0> void write_single(T val) { if (pos > (1 << 15) - 50) flush(); if (val == 0) { write_single('0'); return; } if (val < 0) { write_single('-'); val = -val; // todo min } size_t len = 0; while (val) { small[len++] = char(0x30 | (val % 10)); val /= 10; } for (size_t i = 0; i < len; i++) { line[pos + i] = small[len - 1 - i]; } pos += len; } void write_single(const string& s) { for (char c : s) write_single(c); } void write_single(const char* s) { size_t len = strlen(s); for (size_t i = 0; i < len; i++) write_single(s[i]); } template <class T> void write_single(const V<T>& val) { auto n = val.size(); for (size_t i = 0; i < n; i++) { if (i) write_single(' '); write_single(val[i]); } } }; template <class D> struct MinDist { V<D> dist; V<int> from; }; template <class D, class E> MinDist<D> mindist(const VV<E>& g, int s, D inf = numeric_limits<D>::max()) { int n = (int)g.size(); V<D> dist = V<D>(n, inf); V<int> from = V<int>(n); struct P { D key; int to; bool operator<(P r) const { return key > r.key; } }; priority_queue<P> q; q.push(P{0, s}); dist[s] = D(0); while (!q.empty()) { P p = q.top(); q.pop(); if (dist[p.to] < p.key) continue; for (E e : g[p.to]) { if (p.key + e.dist < dist[e.to]) { dist[e.to] = p.key + e.dist; from[e.to] = p.to; q.push(P{dist[e.to], e.to}); } } } return MinDist<D>{dist, from}; } Scanner sc = Scanner(stdin); Printer pr = Printer(stdout); using D = double; struct E { int to, idx; D dist; }; ostream& operator<<(ostream& os, const E& e) { return os << "E(" << e.to << ", " << e.idx << ", " << e.dist << ")"; }; using B = bitset<2020>; struct ST { B used; int pos; D now, min; bool operator<(const ST& r) const { return min < r.min; } bool operator>(const ST& r) const { return min > r.min; } }; int main() { int n, m, k; scanf("%d %d %d", &n, &m, &k); int s, t; scanf("%d %d", &s, &t); s--; t--; V<double> x(n), y(n); for (int i = 0; i < n; i++) { scanf("%lf %lf", &(x[i]), &(y[i])); } VV<E> g(n); for (int i = 0; i < m; i++) { int a, b; scanf("%d %d", &a, &b); a--; b--; D di = hypot(abs(x[a] - x[b]), abs(y[a] - y[b])); g[a].push_back({b, i, di}); g[b].push_back({a, i, di}); } auto dist = mindist<double>(g, s).dist; priority_queue<ST, V<ST>, greater<ST>> que; que.push(ST{B(), s, 0, dist[t]}); V<D> ans; while (que.size()) { ST st = que.top(); que.pop(); // dbg(st.used, st.pos, st.now, st.min, g[st.pos]); if (st.pos == t) { ans.push_back(st.now); if (int(ans.size()) == k) break; } for (auto e: g[st.pos]) { if (st.used[e.idx]) continue; // dbg(e.to, e.idx, e.dist); ST nst = st; nst.used[e.idx] = true; nst.pos = e.to; nst.now += e.dist; VV<E> ng(n); for (int i = 0; i < n; i++) { for (auto ne: g[i]) { if (nst.used[ne.idx]) continue; ng[i].push_back(ne); } } nst.min = nst.now + mindist<double>(ng, nst.pos).dist[t]; if (nst.min < 1e30) que.push(nst); } } int l = int(ans.size()); for (int i = 0; i < l; i++) { printf("%.20lf\n", ans[i]); } for (int i = l; i < k; i++) { printf("-1\n"); } return 0; }