結果

問題 No.1144 Triangles
ユーザー fastmathfastmath
提出日時 2020-07-31 23:05:39
言語 C++17(clang)
(17.0.6 + boost 1.83.0)
結果
RE  
実行時間 -
コード長 3,852 bytes
コンパイル時間 2,899 ms
コンパイル使用メモリ 164,604 KB
実行使用メモリ 70,832 KB
最終ジャッジ日時 2024-07-06 20:52:26
合計ジャッジ時間 9,469 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 2 ms
6,816 KB
testcase_02 AC 1 ms
6,940 KB
testcase_03 AC 1 ms
6,940 KB
testcase_04 AC 570 ms
68,952 KB
testcase_05 AC 570 ms
70,232 KB
testcase_06 AC 580 ms
69,368 KB
testcase_07 RE -
testcase_08 AC 579 ms
70,308 KB
testcase_09 AC 1 ms
6,940 KB
testcase_10 AC 1 ms
6,944 KB
testcase_11 AC 1 ms
6,940 KB
testcase_12 AC 1 ms
6,940 KB
testcase_13 AC 1 ms
6,940 KB
testcase_14 AC 528 ms
69,160 KB
testcase_15 AC 516 ms
69,052 KB
testcase_16 AC 554 ms
69,200 KB
testcase_17 AC 562 ms
69,348 KB
testcase_18 AC 559 ms
70,832 KB
testcase_19 AC 43 ms
20,340 KB
testcase_20 AC 8 ms
6,940 KB
testcase_21 AC 9 ms
6,940 KB
testcase_22 AC 541 ms
69,684 KB
testcase_23 AC 106 ms
7,672 KB
testcase_24 AC 532 ms
70,308 KB
testcase_25 AC 168 ms
36,596 KB
testcase_26 AC 50 ms
7,932 KB
testcase_27 RE -
testcase_28 RE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
#define int long long 
#define double long double
#define ii pair <int, int>
#define app push_back
#define all(a) a.begin(), a.end()
#define bp __builtin_popcount
#define ll long long
const int N = 2007, C = 1e4 + 7, MOD = 1000 * 1000 * 1000 + 7;

int mod(int n) {
    n %= MOD;
    if (n < 0) return n + MOD;
    else return n;
}   
int fp(int a, int p) {
    int ans = 1, c = a;
    for (int i = 0; (1ll << i) <= p; ++i) {
        if ((p >> i) & 1) ans = mod(ans * c);
        c = mod(c * c);
    }   
    return ans;
}   
int dv(int a, int b) { return mod(a * fp(b, MOD - 2)); }

int n, ans = 0;
struct Point { 
    int x, y; 
    bool operator < (Point p) { return (y < p.y) || (y == p.y && x > p.x); }
} a[N];
int cp(int x1, int y1, int x2, int y2) { return x1 * y2 - y1 * x2; }
struct Line {
    int x, y, i, j;
    bool operator < (Line l) { 
        int t = cp(x, y, l.x, l.y);
        return t > 0 || (t == 0 && i < l.i) || (t == 0 && i == l.i && j < l.j); 
    }
};  

struct Fen {
int f[N];
void clear() {
    for (int i = 0; i < N; ++i) f[i] = 0;
}   
void add(int i, int x) {
    for (; i < N; i |= i + 1) 
        f[i] += x;
}   
int get(int i) {
    int ans = 0;
    for (; i >= 0; i &= i + 1, --i) ans += f[i];
    return ans;
}   
int get(int l, int r) {
    return get(r) - get(l - 1);
}   
} fx, fy;


int pos[N];
Point ord[N];
signed main() {
    #ifdef HOME
    freopen("input.txt", "r", stdin);
    #else
    ios_base::sync_with_stdio(0); cin.tie(0);
    #endif
    cin >> n; for (int i = 0; i < n; ++i) { cin >> a[i].x >> a[i].y; a[i].x += C; a[i].y += C; }
    sort(a, a + n);

    #define mp make_pair
    for (int i = 0; i + 1 < n; ++i) 
        assert(mp(a[i].x,a[i].y)!=mp(a[i+1].x,a[i+1].y));

    for (int i = 0; i < n; ++i)
        ord[i] = a[i];

    vector <Line> l;
    for (int i = 0; i < n; ++i) {
        for (int j = i + 1; j < n; ++j) {
            l.app({a[j].x - a[i].x, a[j].y - a[i].y, i, j});
        }
    }
    for (int i = 0; i < n; ++i) pos[i] = i;
    sort(all(l));
    int ptr = 0;

    for (int i = 0; i < n; ++i) {
        fx.add(i, a[i].x);
        fy.add(i, a[i].y);
    }   

    auto add = [&] (int &a, int b) {
        a = mod(a + b);
    };  

    while (ptr < l.size()) {
        int t = ptr;
        while (ptr < l.size() && cp(l[t].x, l[t].y, l[ptr].x, l[ptr].y) == 0) {
            auto &e = l[ptr];
            swap(pos[e.i], pos[e.j]);

            fx.add(pos[e.i], ord[pos[e.j]].x-ord[pos[e.i]].x);
            fy.add(pos[e.i], ord[pos[e.j]].y-ord[pos[e.i]].y);

            fx.add(pos[e.j], ord[pos[e.i]].x-ord[pos[e.j]].x);
            fy.add(pos[e.j], ord[pos[e.i]].y-ord[pos[e.j]].y);

            swap(ord[pos[e.i]], ord[pos[e.j]]);

            int j = e.i, k = e.j;
            int C = a[j].x * a[k].y - a[j].y * a[k].x;
            int A = (a[j].y - a[k].y);
            int B = (a[k].x - a[j].x);

            //cout << A << ' ' << B << ' ' << C << endl;

            if (n <= 500) {
                for (int i = 0; i + 1 < n; ++i)
                    assert(ord[i].x * A + ord[i].y * B <= ord[i+1].x * A + ord[i+1].y * B);
            }   

            int l = -1, r = n;
            while (l < r - 1) {
                int m = (l + r) >> 1;
                if (C + ord[m].x * A + ord[m].y * B < 0) 
                    l = m;
                else
                    r = m;
            }   

            int lx = fx.get(l);
            int ly = fy.get(l);
            A = mod(A);
            B = mod(B);
            C = mod(C);
            add(ans, -C * (l + 1));
            add(ans, -A * lx);
            add(ans, -B * ly);
            add(ans, C * (n - l - 1));
            add(ans, A * (fx.get(n) - lx));
            add(ans, B * (fy.get(n) - ly));

            ++ptr;
        }        
    }
    cout << dv(ans, 3) << '\n';
}
0