結果

問題 No.2438 Double Least Square
ユーザー ebi_flyebi_fly
提出日時 2023-08-12 02:24:06
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
(最新)
AC  
(最初)
実行時間 -
コード長 6,243 bytes
コンパイル時間 3,230 ms
コンパイル使用メモリ 230,292 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-05-05 05:07:02
合計ジャッジ時間 24,994 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 1 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 1 ms
5,376 KB
testcase_05 AC 1 ms
5,376 KB
testcase_06 AC 1 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 2 ms
5,376 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 AC 2 ms
5,376 KB
testcase_31 AC 2 ms
5,376 KB
testcase_32 AC 2 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

#define rep(i,s,n) for(int i = int(s); i < int(n); i++)

#define all(v) (v).begin(), (v).end()

using i64 = std::int64_t;

template <class T> void arg_sort_ll(std::vector<std::pair<T, T>> &a) {
    using Point = std::pair<T, T>;
    int n = (int)a.size();
    std::vector ps(4, std::vector<Point>());
    auto idx = [](Point v) -> int {
        if (v.second >= 0)
            return (v.first >= 0) ? 0 : 1;
        else
            return (v.first >= 0) ? 3 : 2;
    };
    for (auto p : a) {
        assert(!(p.first == 0 && p.second == 0));
        ps[idx(p)].emplace_back(p);
    }
    a.clear();
    a.reserve(n);
    for (int j = 0; j < 4; j++) {
        int i = (3 + j) % 4;
        std::sort(ps[i].begin(), ps[i].end(), [](Point &p1, Point &p2) -> bool {
            T flag = p1.first * p2.second - p2.first * p1.second;
            return flag == 0 ? (p1.first * p1.first + p1.second * p1.second <
                                p2.first * p2.first + p2.second * p2.second)
                             : flag > 0;
        });
        for (auto &p : ps[i]) a.emplace_back(p);
    }
    return;
}

using ld = long double;

struct rational {
    rational() : p(0), q(1) {}
    rational(i64 n) : p(n), q(1) {}
    rational(i64 n, i64 m) {
        assert(m != 0);
        if (m < 0) n = -n, m = -m;
        i64 g = std::gcd(n, m);
        p = n / g;
        q = m / g;
    }
    explicit operator const ld () const { return ld(p) / ld(q); }
    rational& operator+=(const rational& rhs){
        i64 g = std::gcd(q, rhs.q);
        i64 np = rhs.q / g * p + q / g * rhs.p;
        i64 nq = q / g * rhs.q;
        i64 ng = std::gcd(np, nq);
        p = np / ng, q = nq / ng;
        return *this;
    }
    rational& operator-=(const rational& rhs) {
        (*this) += rational(-rhs.p, rhs.q);
        return *this;
    }
    rational& operator*=(const rational& rhs) {
        i64 g1 = std::gcd(q, rhs.p), g2 = std::gcd(p, rhs.q);
        i64 np = p / g2 * rhs.p / g1;
        i64 nq = q / g1 * rhs.q / g2;
        p = np, q = nq;
        return *this;
    }
    rational& operator/=(const rational& rhs) {
        (*this) *= rational(rhs.q, rhs.p);
        return *this;
    }
    rational operator+() const {
        return *this;
    }
    rational operator-() const {
        return rational() - *this;
    }
    friend rational operator+(const rational& lhs, const rational& rhs) {
        return rational(lhs) += rhs;
    }
    friend rational operator-(const rational& lhs, const rational& rhs) {
        return rational(lhs) -= rhs;
    }
    friend rational operator*(const rational& lhs, const rational& rhs) {
        return rational(lhs) *= rhs;
    }
    friend rational operator/(const rational& lhs, const rational& rhs) {
        return rational(lhs) /= rhs;
    }
    friend bool operator==(const rational& lhs, const rational& rhs) {
        return lhs.p == rhs.p && lhs.q == rhs.q;
    }
    friend bool operator!=(const rational& lhs, const rational& rhs) {
        return lhs.p != rhs.p || lhs.q != rhs.q;
    }
    friend bool operator<(const rational lhs, const rational rhs) {
        return less_than(lhs, rhs);
    }
    friend bool operator>(const rational lhs, const rational rhs) {
        return less_than(rhs, lhs);
    }
    friend bool operator<=(const rational lhs, const rational rhs) {
        return lhs == rhs || lhs < rhs;
    }
    friend bool operator>=(const rational lhs, const rational rhs) {
        return lhs == rhs || lhs > rhs;
    }
    friend std::ostream& operator<<(std::ostream& os, const rational& r) {
        return os << r.p << " / " << r.q;
    }
    std::pair<i64,i64> val() const {
        return {p, q};
    }

  private:
    i64 p, q;
    static bool less_than(rational lhs, rational rhs) {
        __int128_t lv = __int128_t(lhs.p) * __int128_t(rhs.q);
        __int128_t rv = __int128_t(lhs.q) * __int128_t(rhs.p);
        return lv < rv;
    }
};

template<class T>
bool chmin(T &a, T b) {
    if(a < b) return false;
    a = b;
    return true;
}

int main() {
    std::cout << std::fixed << std::setprecision(15);
    int n;
    i64 h;
    std::cin >> n >> h;
    std::vector<std::pair<i64,i64>> ps(n);
    std::vector<i64> xs;
    for(auto &[x, y]: ps) {
        std::cin >> x >> y;
        xs.emplace_back(x);
    }
    std::sort(all(xs));
    xs.erase(std::unique(all(xs)), xs.end());
    std::vector<int> arg_ord;
    {
        std::vector<std::pair<i64,i64>> ret;
        std::map<std::pair<i64, i64>, int> map;
        rep(i,0,n) {
            auto [x, y] = ps[i];
            ret.emplace_back(2 * x, 2 * y - h);
            map[{2 * x, 2 * y - h}] = i;
        }
        arg_sort_ll(ret);
        for(auto [x, y]: ret) {
            arg_ord.emplace_back(map[{x, y}]);
        }
    }
    rational ans = std::numeric_limits<i64>::max();
    auto calc_score = [](const std::vector<i64> &a) -> rational {
        if(a[2] == 0) {
            assert(a[1] == 0 && a[2] == 0);
            return 0;
        }
        return rational(a[0]) - rational(a[1] * a[1]) / rational(4 * a[2]);
    };
    for(auto tx: xs) {
        std::vector<i64> u(3, 0), d(3, 0);
        for(auto [x, y]: ps) {
            if(x <= tx) {
                u[0] += (y - h) * (y - h);
                u[1] += -2 * x * (y - h);
                u[2] += x * x;
            }
            else {
                d[0] += y * y;
                d[1] += -2 * x * y;
                d[2] += x * x;
            }
        }
        chmin(ans, calc_score(u) + calc_score(d));
        for(auto i: arg_ord) {
            auto [x, y] = ps[i];
            if(x <= tx) {
                u[0] -= (y - h) * (y - h);
                u[1] -= -2 * x * (y - h);
                u[2] -= x * x;

                d[0] += y * y;
                d[1] += -2 * x * y;
                d[2] += x * x;
            }
            else {
                d[0] -= y * y;
                d[1] -= -2 * x * y;
                d[2] -= x * x;

                u[0] += (y - h) * (y - h);
                u[1] += -2 * x * (y - h);
                u[2] += x * x;
            }
            chmin(ans, calc_score(u) + calc_score(d));
        }
    }
    auto [p, q] = ans.val();
    std::cout << ld(p)/ld(q)  << '\n';
}
0