test/yosupo/static_convex_hull.test.cpp

View this file on GitHub
Last update: 2025-01-11 18:51:05+09:00
Problem: https://judge.yosupo.jp/problem/static_convex_hull

Depends on

Code

#define PROBLEM "https://judge.yosupo.jp/problem/static_convex_hull"

#include <bits/stdc++.h>

#include "../../geometry/convex_hull.hpp"
#include "../../geometry/geometry.hpp"
using namespace std;

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(0);

    int T;
    cin >> T;
    while (T--) {
        int N;
        cin >> N;
        vector<Vec> pts(N);
        for (auto& p : pts) cin >> p;
        auto conv = convex_hull(pts);
        cout << conv.size() << "\n";
        for (auto& p : conv)
            cout << (int)p.real() << " " << (int)p.imag() << "\n";
    }
}

#line 1 "test/yosupo/static_convex_hull.test.cpp"
#define PROBLEM "https://judge.yosupo.jp/problem/static_convex_hull"

#include <bits/stdc++.h>

#line 3 "geometry/convex_hull.hpp"

#line 7 "geometry/geometry.hpp"
#include <numbers>
#line 10 "geometry/geometry.hpp"

// note that if T is of an integer type, std::abs does not work
using T = double;
using Vec = std::complex<T>;

std::istream& operator>>(std::istream& is, Vec& p) {
    T x, y;
    is >> x >> y;
    p = {x, y};
    return is;
}

T dot(const Vec& a, const Vec& b) { return (std::conj(a) * b).real(); }

T cross(const Vec& a, const Vec& b) { return (std::conj(a) * b).imag(); }

constexpr T PI = std::numbers::pi_v<T>;
constexpr T eps = 1e-10;
inline bool eq(T a, T b) { return std::abs(a - b) <= eps; }
inline bool eq(Vec a, Vec b) { return std::abs(a - b) <= eps; }
inline bool lt(T a, T b) { return a < b - eps; }
inline bool leq(T a, T b) { return a <= b + eps; }

struct Line {
    Vec p1, p2;
    Line() = default;
    Line(const Vec& p1, const Vec& p2) : p1(p1), p2(p2) {}
    Vec dir() const { return p2 - p1; }
};

struct Segment : Line {
    using Line::Line;
};

struct Circle {
    Vec c;
    T r;
    Circle() = default;
    Circle(const Vec& c, T r) : c(c), r(r) {}
};

using Polygon = std::vector<Vec>;

Vec rot(const Vec& a, T ang) { return a * Vec(std::cos(ang), std::sin(ang)); }

Vec perp(const Vec& a) { return Vec(-a.imag(), a.real()); }

Vec projection(const Line& l, const Vec& p) {
    return l.p1 + dot(p - l.p1, l.dir()) * l.dir() / std::norm(l.dir());
}

Vec reflection(const Line& l, const Vec& p) {
    return T(2) * projection(l, p) - p;
}

// 0: collinear
// 1: counter-clockwise
// -1: clockwise
int ccw(const Vec& a, const Vec& b, const Vec& c) {
    if (eq(cross(b - a, c - a), 0)) return 0;
    if (lt(cross(b - a, c - a), 0)) return -1;
    return 1;
}

void sort_by_arg(std::vector<Vec>& pts) {
    std::ranges::sort(pts, [&](auto& p, auto& q) {
        if ((p.imag() < 0) != (q.imag() < 0)) return (p.imag() < 0);
        if (cross(p, q) == 0) {
            if (p == Vec(0, 0))
                return !(q.imag() < 0 || (q.imag() == 0 && q.real() > 0));
            if (q == Vec(0, 0))
                return (p.imag() < 0 || (p.imag() == 0 && p.real() > 0));
            return (p.real() > q.real());
        }
        return (cross(p, q) > 0);
    });
}
#line 5 "geometry/convex_hull.hpp"

std::vector<Vec> convex_hull(std::vector<Vec> pts, bool strict = true) {
    std::ranges::sort(pts, {}, [](const Vec& v) {
        return std::make_pair(v.imag(), v.real());
    });
    if (strict) {
        pts.erase(std::ranges::unique(pts).begin(), pts.end());
    }
    const int n = pts.size();
    if (n <= 1) return pts;
    int k = 0;  // the number of vertices in the convex hull
    std::vector<Vec> ch(2 * n);
    // right
    for (int i = 0; i < n; ++i) {
        if (strict) {
            while (k > 1 &&
                   leq(cross(ch[k - 1] - ch[k - 2], pts[i] - ch[k - 1]), 0))
                --k;
        } else {
            while (k > 1 &&
                   lt(cross(ch[k - 1] - ch[k - 2], pts[i] - ch[k - 1]), 0))
                --k;
        }
        ch[k++] = pts[i];
    }
    int t = k;
    // left
    for (int i = n - 2; i >= 0; --i) {
        if (strict) {
            while (k > t &&
                   leq(cross(ch[k - 1] - ch[k - 2], pts[i] - ch[k - 1]), 0))
                --k;
        } else {
            while (k > t &&
                   lt(cross(ch[k - 1] - ch[k - 2], pts[i] - ch[k - 1]), 0))
                --k;
        }
        ch[k++] = pts[i];
    }
    ch.resize(k - 1);
    return ch;
}
#line 7 "test/yosupo/static_convex_hull.test.cpp"
using namespace std;

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(0);

    int T;
    cin >> T;
    while (T--) {
        int N;
        cin >> N;
        vector<Vec> pts(N);
        for (auto& p : pts) cin >> p;
        auto conv = convex_hull(pts);
        cout << conv.size() << "\n";
        for (auto& p : conv)
            cout << (int)p.real() << " " << (int)p.imag() << "\n";
    }
}