結果
問題 | No.5007 Steiner Space Travel |
ユーザー | komori3 |
提出日時 | 2023-04-24 02:22:12 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 953 ms / 1,000 ms |
コード長 | 14,288 bytes |
コンパイル時間 | 2,946 ms |
コンパイル使用メモリ | 221,956 KB |
実行使用メモリ | 4,372 KB |
スコア | 8,786,443 |
最終ジャッジ日時 | 2023-04-24 02:23:01 |
合計ジャッジ時間 | 35,154 ms |
ジャッジサーバーID (参考情報) |
judge15 / judge11 |
純コード判定しない問題か言語 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 953 ms
4,372 KB |
testcase_01 | AC | 952 ms
4,368 KB |
testcase_02 | AC | 953 ms
4,368 KB |
testcase_03 | AC | 952 ms
4,372 KB |
testcase_04 | AC | 952 ms
4,368 KB |
testcase_05 | AC | 952 ms
4,372 KB |
testcase_06 | AC | 952 ms
4,368 KB |
testcase_07 | AC | 952 ms
4,372 KB |
testcase_08 | AC | 952 ms
4,368 KB |
testcase_09 | AC | 952 ms
4,372 KB |
testcase_10 | AC | 952 ms
4,372 KB |
testcase_11 | AC | 952 ms
4,372 KB |
testcase_12 | AC | 951 ms
4,368 KB |
testcase_13 | AC | 952 ms
4,368 KB |
testcase_14 | AC | 952 ms
4,372 KB |
testcase_15 | AC | 952 ms
4,368 KB |
testcase_16 | AC | 952 ms
4,372 KB |
testcase_17 | AC | 952 ms
4,372 KB |
testcase_18 | AC | 952 ms
4,368 KB |
testcase_19 | AC | 952 ms
4,368 KB |
testcase_20 | AC | 952 ms
4,372 KB |
testcase_21 | AC | 952 ms
4,372 KB |
testcase_22 | AC | 952 ms
4,372 KB |
testcase_23 | AC | 952 ms
4,372 KB |
testcase_24 | AC | 951 ms
4,372 KB |
testcase_25 | AC | 952 ms
4,372 KB |
testcase_26 | AC | 952 ms
4,372 KB |
testcase_27 | AC | 952 ms
4,368 KB |
testcase_28 | AC | 952 ms
4,368 KB |
testcase_29 | AC | 952 ms
4,372 KB |
ソースコード
#define _CRT_NONSTDC_NO_WARNINGS #define _SILENCE_CXX17_ITERATOR_BASE_CLASS_DEPRECATION_WARNING #include <bits/stdc++.h> #include <random> #include <unordered_set> #include <array> #include <optional> #ifdef _MSC_VER #include <opencv2/core.hpp> #include <opencv2/core/utils/logger.hpp> #include <opencv2/imgproc.hpp> #include <opencv2/highgui.hpp> #include <conio.h> #include <ppl.h> #include <filesystem> #include <intrin.h> /* g++ functions */ int __builtin_clz(unsigned int n) { unsigned long index; _BitScanReverse(&index, n); return 31 - index; } int __builtin_ctz(unsigned int n) { unsigned long index; _BitScanForward(&index, n); return index; } namespace std { inline int __lg(int __n) { return sizeof(int) * 8 - 1 - __builtin_clz(__n); } } /* enable __uint128_t in MSVC */ //#include <boost/multiprecision/cpp_int.hpp> //using __uint128_t = boost::multiprecision::uint128_t; #else #pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #endif /** compro io **/ namespace aux { template<typename T, unsigned N, unsigned L> struct tp { static void output(std::ostream& os, const T& v) { os << std::get<N>(v) << ", "; tp<T, N + 1, L>::output(os, v); } }; template<typename T, unsigned N> struct tp<T, N, N> { static void output(std::ostream& os, const T& v) { os << std::get<N>(v); } }; } template<typename... Ts> std::ostream& operator<<(std::ostream& os, const std::tuple<Ts...>& t) { os << '{'; aux::tp<std::tuple<Ts...>, 0, sizeof...(Ts) - 1>::output(os, t); return os << '}'; } // tuple out template<class Ch, class Tr, class Container> std::basic_ostream<Ch, Tr>& operator<<(std::basic_ostream<Ch, Tr>& os, const Container& x); // container out (fwd decl) template<class S, class T> std::ostream& operator<<(std::ostream& os, const std::pair<S, T>& p) { return os << '{' << p.first << ", " << p.second << '}'; } // pair out template<class S, class T> std::istream& operator>>(std::istream& is, std::pair<S, T>& p) { return is >> p.first >> p.second; } // pair in std::ostream& operator<<(std::ostream& os, const std::vector<bool>::reference& v) { os << (v ? '1' : '0'); return os; } // bool (vector) out std::ostream& operator<<(std::ostream& os, const std::vector<bool>& v) { bool f = true; os << '{'; for (const auto& x : v) { os << (f ? "" : ", ") << x; f = false; } os << '}'; return os; } // vector<bool> out template<class Ch, class Tr, class Container> std::basic_ostream<Ch, Tr>& operator<<(std::basic_ostream<Ch, Tr>& os, const Container& x) { bool f = true; os << '{'; for (auto& y : x) { os << (f ? "" : ", ") << y; f = false; } return os << '}'; } // container out template<class T, class = decltype(std::begin(std::declval<T&>())), class = typename std::enable_if<!std::is_same<T, std::string>::value>::type> std::istream& operator>>(std::istream& is, T& a) { for (auto& x : a) is >> x; return is; } // container in template<typename T> auto operator<<(std::ostream& out, const T& t) -> decltype(out << t.stringify()) { out << t.stringify(); return out; } // struct (has stringify() func) out /** io setup **/ struct IOSetup { IOSetup(bool f) { if (f) { std::cin.tie(nullptr); std::ios::sync_with_stdio(false); } std::cout << std::fixed << std::setprecision(15); } } iosetup(true); // set false when solving interective problems /** string formatter **/ template<typename... Ts> std::string format(const std::string& f, Ts... t) { size_t l = std::snprintf(nullptr, 0, f.c_str(), t...); std::vector<char> b(l + 1); std::snprintf(&b[0], l + 1, f.c_str(), t...); return std::string(&b[0], &b[0] + l); } /** dump **/ #define DUMPOUT std::cerr std::ostringstream DUMPBUF; #define dump(...) do{DUMPBUF<<" ";DUMPBUF<<#__VA_ARGS__<<" :[DUMP - "<<__LINE__<<":"<<__FUNCTION__<<']'<<std::endl;DUMPBUF<<" ";dump_func(__VA_ARGS__);DUMPOUT<<DUMPBUF.str();DUMPBUF.str("");DUMPBUF.clear();}while(0); void dump_func() { DUMPBUF << std::endl; } template <class Head, class... Tail> void dump_func(Head&& head, Tail&&... tail) { DUMPBUF << head; if (sizeof...(Tail) == 0) { DUMPBUF << " "; } else { DUMPBUF << ", "; } dump_func(std::move(tail)...); } /** timer **/ class Timer { double t = 0, paused = 0, tmp; public: Timer() { reset(); } static double time() { #ifdef _MSC_VER return __rdtsc() / 2.3e9; #else unsigned long long a, d; __asm__ volatile("rdtsc" : "=a"(a), "=d"(d)); return (d << 32 | a) / 2.3e9; #endif } void reset() { t = time(); } void pause() { tmp = time(); } void restart() { paused += time() - tmp; } double elapsed_ms() const { return (time() - t - paused) * 1000.0; } }; /** rand **/ struct Xorshift { static constexpr uint64_t M = INT_MAX; static constexpr double e = 1.0 / M; uint64_t x = 88172645463325252LL; Xorshift() {} Xorshift(uint64_t seed) { reseed(seed); } inline void reseed(uint64_t seed) { x = 0x498b3bc5 ^ seed; for (int i = 0; i < 20; i++) next(); } inline uint64_t next() { x = x ^ (x << 7); return x = x ^ (x >> 9); } inline int next_int() { return next() & M; } inline int next_int(int mod) { return next() % mod; } inline int next_int(int l, int r) { return l + next_int(r - l + 1); } inline double next_double() { return next_int() * e; } }; /** shuffle **/ template<typename T> void shuffle_vector(std::vector<T>& v, Xorshift& rnd) { int n = v.size(); for (int i = n - 1; i >= 1; i--) { int r = rnd.next_int(i); std::swap(v[i], v[r]); } } /** split **/ std::vector<std::string> split(const std::string& str, const std::string& delim) { std::vector<std::string> res; std::string buf; for (const auto& c : str) { if (delim.find(c) != std::string::npos) { if (!buf.empty()) res.push_back(buf); buf.clear(); } else buf += c; } if (!buf.empty()) res.push_back(buf); return res; } /** misc **/ template<typename A, size_t N, typename T> inline void Fill(A(&array)[N], const T& val) { std::fill((T*)array, (T*)(array + N), val); } // fill array template<typename T, typename ...Args> auto make_vector(T x, int arg, Args ...args) { if constexpr (sizeof...(args) == 0)return std::vector<T>(arg, x); else return std::vector(arg, make_vector<T>(x, args...)); } template<typename T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } return false; } template<typename T> bool chmin(T& a, const T& b) { if (a > b) { a = b; return true; } return false; } /** using **/ using ll = long long; using ld = long double; //using ld = boost::multiprecision::cpp_bin_float_quad; using pii = std::pair<int, int>; using pll = std::pair<ll, ll>; using std::cin, std::cout, std::cerr, std::endl, std::string, std::vector, std::array; constexpr int N = 100; constexpr int M = 8; constexpr int alpha = 5; constexpr int alpha2 = alpha * alpha; int xs[N + M + 1]; int ys[N + M + 1]; int C[N + M + 1][N + M + 1]; int nxt[N + M + 1][N + M + 1]; int ps[N + 1]; inline int dist2(int x1, int y1, int x2, int y2) { return (x1 - x2) * (x1 - x2) + (y1 - y2) * (y1 - y2); } struct KMeansRetVal { int cxs[M]; int cys[M]; int cluster[N]; }; KMeansRetVal kmeans(Xorshift& rnd) { int cxs[M] = {}; int cys[M] = {}; int nc = 0; double prob[N]; Fill(prob, 1.0 / N); double cumu[N]; auto sampling = [&]() { memset(cumu, 0, sizeof(double) * N); for (int i = 1; i < N; i++) cumu[i] = cumu[i - 1] + prob[i - 1]; double d = rnd.next_double() * cumu[N - 1]; int idx = std::distance(cumu, std::upper_bound(cumu, cumu + N, d)) - 1; return idx; }; auto nearest_centroid = [&](int x, int y) { int mindist = INT_MAX; int minidx = -1; for (int i = 0; i < nc; i++) { int dist = dist2(x, y, cxs[i], cys[i]); if (chmin(mindist, dist)) { minidx = i; } } return minidx; }; for (int i = 0; i < M; i++) { int idx = sampling(); cxs[i] = xs[idx]; cys[i] = ys[idx]; nc++; // update prob int sum = 0; for (int j = 0; j < N; j++) { int nearest = nearest_centroid(xs[j], ys[j]); int weight = dist2(xs[j], ys[j], cxs[nearest], cys[nearest]); prob[j] = weight; sum += weight; } for (int j = 0; j < N; j++) prob[j] /= sum; } int cluster[N]; for (int i = 0; i < N; i++) cluster[i] = nearest_centroid(xs[i], ys[i]); while (true) { int xmean[M] = {}, ymean[M] = {}; int ctr[M] = {}; for (int i = 0; i < N; i++) { int c = cluster[i]; xmean[c] += xs[i]; ymean[c] += ys[i]; ctr[c]++; } for (int c = 0; c < M; c++) { if (!ctr[c]) continue; cxs[c] = xmean[c] / ctr[c]; cys[c] = ymean[c] / ctr[c]; } bool update = false; for (int i = 0; i < N; i++) { int idx = nearest_centroid(xs[i], ys[i]); if (cluster[i] != idx) update = true; cluster[i] = idx; } if (!update) break; } KMeansRetVal res; memcpy(res.cxs, cxs, sizeof(int) * M); memcpy(res.cys, cys, sizeof(int) * M); memcpy(res.cluster, cluster, sizeof(int) * N); return res; } void update_dist() { // planet - planet for (int u = 1; u + 1 <= N; u++) { for (int v = u + 1; v <= N; v++) { int d2 = (xs[u] - xs[v]) * (xs[u] - xs[v]) + (ys[u] - ys[v]) * (ys[u] - ys[v]); C[u][v] = C[v][u] = d2 * alpha * alpha; } } // planet - station for (int u = 1; u <= N; u++) { for (int v = N + 1; v <= N + M; v++) { int d2 = (xs[u] - xs[v]) * (xs[u] - xs[v]) + (ys[u] - ys[v]) * (ys[u] - ys[v]); C[u][v] = C[v][u] = d2 * alpha; } } // station - station for (int u = N + 1; u + 1 <= N + M; u++) { for (int v = u + 1; v <= N + M; v++) { int d2 = (xs[u] - xs[v]) * (xs[u] - xs[v]) + (ys[u] - ys[v]) * (ys[u] - ys[v]); C[u][v] = C[v][u] = d2; } } // Warshall-Floyd for (int u = 1; u <= N + M; u++) { for (int v = 1; v <= N + M; v++) { nxt[u][v] = v; } } for (int k = 1; k <= N + M; k++) { for (int u = 1; u <= N + M; u++) { for (int v = 1; v <= N + M; v++) { if (C[u][k] + C[k][v] < C[u][v]) { C[u][v] = C[u][k] + C[k][v]; nxt[u][v] = nxt[u][k]; } } } } } void initialize(std::istream& in, Xorshift& rnd) { int buf; in >> buf >> buf; // ignore N, M for (int i = 1; i <= N; i++) { in >> xs[i] >> ys[i]; } // k-means auto kres = kmeans(rnd); for (int i = N + 1; i <= N + M; i++) { xs[i] = kres.cxs[i - N - 1]; ys[i] = kres.cys[i - N - 1]; } update_dist(); } int calc_cost() { int cost = 0; for (int i = 0; i < N; i++) { cost += C[ps[i]][ps[i + 1]]; } return cost; } inline int calc_diff(int i, int j) { int u1 = ps[i], u2 = ps[i + 1], v1 = ps[j], v2 = ps[j + 1]; return C[u1][v1] + C[u2][v2] - C[u1][u2] - C[v1][v2]; } inline int calc_diff(int pcost, int u, int dx, int dy) { xs[u] += dx; ys[u] += dy; int ncost = 0; for (int i = 0; i < N; i++) { int s = ps[i], t = ps[i + 1]; while (s != t) { int v = nxt[s][t]; int c = dist2(xs[s], ys[s], xs[v], ys[v]); if (s <= N && v <= N) c *= alpha2; else if (s <= N || v <= N) c *= alpha; ncost += c; s = v; } } xs[u] -= dx; ys[u] -= dy; return ncost - pcost; } inline double get_temp(double stemp, double etemp, double t, double T) { return etemp + (stemp - etemp) * (T - t) / T; } int main([[maybe_unused]] int argc, [[maybe_unused]] char** argv) { Timer timer; #ifdef HAVE_OPENCV_HIGHGUI cv::utils::logging::setLogLevel(cv::utils::logging::LogLevel::LOG_LEVEL_SILENT); #endif #if 0 std::ifstream ifs("../../tools/in/0000.txt"); std::istream& in = ifs; std::ofstream ofs("../../tools/out/0000.txt"); std::ostream& out = ofs; #else std::istream& in = cin; std::ostream& out = cout; #endif Xorshift rnd; initialize(in, rnd); for (int i = 0; i < N; i++) { ps[i] = i + 1; } ps[N] = 1; int cost = calc_cost(); double stime = timer.elapsed_ms(), ntime, etime = 950; size_t loop = 0; while ((ntime = timer.elapsed_ms()) < etime) { loop++; int r = rnd.next_int(3000); if (r) { int i = rnd.next_int(N); int j = rnd.next_int(N - 1); j += (i == j); if (i > j) std::swap(i, j); int diff = calc_diff(i, j); double temp = get_temp(2e4, 0, ntime - stime, etime - stime); double prob = exp(-diff / temp); if (rnd.next_double() < prob) { std::reverse(ps + i + 1, ps + j + 1); cost += diff; } } else { int u = rnd.next_int(N + 1, N + M); int dx, dy; do { dx = rnd.next_int(-10, 10); } while (xs[u] + dx < 0 || xs[u] + dx > 1000); do { dy = rnd.next_int(-10, 10); } while (ys[u] + dy < 0 || ys[u] + dy > 1000); int diff = calc_diff(cost, u, dx, dy); if (diff < 0) { xs[u] += dx; ys[u] += dy; cost += diff; update_dist(); } } //if (!(loop & 0xFFFFF)) { // dump(loop, cost); //} } //dump(loop, cost); for (int i = N + 1; i <= N + M; i++) { out << xs[i] << ' ' << ys[i] << '\n'; } vector<int> ans; for (int i = 0; i < N; i++) { int from = ps[i], to = ps[i + 1]; while (from != to) { ans.push_back(from); from = nxt[from][to]; } } ans.push_back(1); out << ans.size() << '\n'; for (int u : ans) { out << (u > N ? 2 : 1) << ' ' << (u > N ? u - N : u) << '\n'; } out << "1 1" << '\n'; return 0; }