Submission #481850

# Submission time Handle Problem Language Result Execution time Memory
481850 2021-10-22T03:41:47 Z sberens Mobile (BOI12_mobile) C++17
50 / 100
1000 ms 65232 KB
#pragma GCC optimize ("Ofast,fast-math")
#pragma GCC target ("avx2")

#include <bits/stdc++.h>

#include <ext/pb_ds/assoc_container.hpp>
using namespace __gnu_pbds;
template <typename K> using hset = gp_hash_table<K, null_type>;
template <typename K, typename V> using hmap = gp_hash_table<K, V>;


using namespace std;

#define all(x) (x).begin(), (x).end()
#define pb push_back
#define eb emplace_back
#define smax(x, y) (x = max(x, y))
#define smin(x, y) (x = min(x, y))

using ld = long double;
using ll = long long;

template <typename T>
using vv = vector<vector<T>>;

using vi = vector<int>;
using ii = array<int, 2>;
using vii = vector<ii>;
using vvi = vv<int>;

using vll = vector<ll>;
using l2 = array<int, 2>;
using vl2 = vector<l2>;
using vvll = vv<ll>;

template <typename T>
using minq = priority_queue<T, vector<T>, greater<T>>;
template <typename T>
using maxq = priority_queue<T>;

const ll M = 1000000007;

#ifndef REFERENCE_DISCRETE_BINARY_SEARCH_H
#define REFERENCE_DISCRETE_BINARY_SEARCH_H


#include <iostream>
#include <functional>


template<typename IN>
IN discrete_binary_search(function<bool(IN)> predicate, IN low = 0, IN high = numeric_limits<IN>::max()) {
    while (fabs(high - low) > 1e-4) {
        IN middle = low + (high - low) / 2; // todo std::midpoint in cpp 2020
        if (predicate(middle))
            high = middle;
        else low = middle;
    }
    return low;
}

#endif //REFERENCE_DISCRETE_BINARY_SEARCH_H

inline bool a_contains_b(array<ld, 2> a,  array<ld, 2> b) {
    return a[0] <= b[0] && b[1] <= a[1];
}

int main() {
    ios::sync_with_stdio(0);
    cin.tie(0);
    int n, l;
    cin >> n >> l;
    vll x(n), y(n);
    for (int i = 0; i < n; ++i) {
        cin >> x[i] >> y[i];
    }

    cout << fixed << setprecision(4) <<  discrete_binary_search<ld>([&](ld d) -> bool {
        // is there a point with min distance > d
        // equivalently, is every point within distance d

        vector<array<ld, 2>> intervals;
        // add to intervals
        for (int i = 0; i < n; ++i) {
            if (abs(y[i]) > d) continue;
            ld dx = sqrt(d * d - y[i] * y[i]);
            // get rid of nested intervals
            array<ld, 2> new_interval{x[i] - dx, x[i] + dx};
            while (!intervals.empty() && a_contains_b(new_interval, intervals.back())) {
                intervals.pop_back();
            }
            if (!(!intervals.empty() && a_contains_b(intervals.back(), new_interval)))
                intervals.pb({x[i] - dx, x[i] + dx});
        }

        // merge intervals
        vector<array<ld, 2>> merged;
        for (auto [s, e] : intervals) {
            if (!merged.empty() && s <= merged.back()[1]) smax(merged.back()[1], e);
            else merged.pb({s, e});
        }
        // check interval spans whole highway
        return any_of(all(merged), [&](array<ld, 2> interval) -> bool {return a_contains_b(interval, {0, (ld) l});});

    }, 0, 2e15) << '\n';

}
# Verdict Execution time Memory Grader output
1 Correct 0 ms 204 KB Output is correct
2 Correct 0 ms 204 KB Output is correct
3 Correct 0 ms 204 KB Output is correct
4 Correct 0 ms 204 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 204 KB Output is correct
2 Correct 1 ms 204 KB Output is correct
3 Correct 1 ms 204 KB Output is correct
4 Correct 1 ms 204 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 9 ms 372 KB Output is correct
2 Correct 13 ms 556 KB Output is correct
3 Correct 6 ms 332 KB Output is correct
4 Correct 12 ms 560 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 16 ms 596 KB Output is correct
2 Correct 26 ms 820 KB Output is correct
3 Correct 14 ms 332 KB Output is correct
4 Correct 19 ms 816 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 17 ms 616 KB Output is correct
2 Correct 30 ms 816 KB Output is correct
3 Correct 15 ms 332 KB Output is correct
4 Correct 14 ms 848 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 29 ms 824 KB Output is correct
2 Correct 28 ms 808 KB Output is correct
3 Correct 15 ms 456 KB Output is correct
4 Correct 20 ms 808 KB Output is correct
5 Correct 15 ms 444 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 328 ms 7772 KB Output is correct
2 Correct 321 ms 5440 KB Output is correct
3 Correct 235 ms 4972 KB Output is correct
4 Correct 185 ms 7944 KB Output is correct
5 Correct 123 ms 1100 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 180 ms 1928 KB Output is correct
2 Correct 204 ms 4576 KB Output is correct
3 Correct 238 ms 7972 KB Output is correct
4 Correct 195 ms 8152 KB Output is correct
5 Correct 191 ms 8496 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 522 ms 9024 KB Output is correct
2 Correct 318 ms 5304 KB Output is correct
3 Correct 370 ms 8088 KB Output is correct
4 Correct 184 ms 9076 KB Output is correct
5 Correct 225 ms 3296 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 390 ms 5300 KB Output is correct
2 Correct 353 ms 5292 KB Output is correct
3 Correct 289 ms 2964 KB Output is correct
4 Correct 185 ms 9104 KB Output is correct
5 Correct 270 ms 8544 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 576 ms 9232 KB Output is correct
2 Correct 359 ms 5308 KB Output is correct
3 Correct 292 ms 2860 KB Output is correct
4 Correct 185 ms 9124 KB Output is correct
5 Correct 275 ms 8612 KB Output is correct
# Verdict Execution time Memory Grader output
1 Execution timed out 1022 ms 40576 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1088 ms 9172 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1097 ms 59044 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1094 ms 10304 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1090 ms 60636 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1089 ms 11836 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1093 ms 62256 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1086 ms 13388 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1093 ms 65232 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1090 ms 16540 KB Time limit exceeded
2 Halted 0 ms 0 KB -