結果
| 問題 |
No.1074 増殖
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2020-06-05 21:51:55 |
| 言語 | D (dmd 2.109.1) |
| 結果 |
AC
|
| 実行時間 | 108 ms / 2,000 ms |
| コード長 | 2,980 bytes |
| コンパイル時間 | 2,023 ms |
| コンパイル使用メモリ | 197,472 KB |
| 実行使用メモリ | 10,284 KB |
| 最終ジャッジ日時 | 2024-06-22 07:16:42 |
| 合計ジャッジ時間 | 3,626 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 12 |
ソースコード
import std.conv, std.functional, std.range, std.stdio, std.string;
import std.algorithm, std.array, std.bigint, std.bitmanip, std.complex, std.container, std.math, std.mathspecial, std.numeric, std.regex, std.typecons;
import core.bitop;
class EOFException : Throwable { this() { super("EOF"); } }
string[] tokens;
string readToken() { for (; tokens.empty; ) { if (stdin.eof) { throw new EOFException; } tokens = readln.split; } auto token = tokens.front; tokens.popFront; return token; }
int readInt() { return readToken.to!int; }
long readLong() { return readToken.to!long; }
real readReal() { return readToken.to!real; }
bool chmin(T)(ref T t, in T f) { if (t > f) { t = f; return true; } else { return false; } }
bool chmax(T)(ref T t, in T f) { if (t < f) { t = f; return true; } else { return false; } }
int binarySearch(alias pred, T)(in T[] as) { int lo = -1, hi = cast(int)(as.length); for (; lo + 1 < hi; ) { const mid = (lo + hi) >> 1; (unaryFun!pred(as[mid]) ? hi : lo) = mid; } return hi; }
int lowerBound(T)(in T[] as, T val) { return as.binarySearch!(a => (a >= val)); }
int upperBound(T)(in T[] as, T val) { return as.binarySearch!(a => (a > val)); }
alias Pt = Tuple!(long, "x", long, "y");
enum INF = 10L^^9;
class Solver {
RedBlackTree!Pt ps;
long area;
this() {
ps = new RedBlackTree!Pt;
ps.insert(Pt(0, INF));
ps.insert(Pt(INF, 0));
area = 0;
}
void add(long x, long y) {
const p = Pt(x, y);
if (!ps.equalRange(p).empty) {
return;
}
for (; ; ) {
const qL = ps.lowerBound(p).back;
if (qL.y > p.y) {
break;
}
remove(qL);
}
{
const qL = ps.lowerBound(p).back;
const qR = ps.upperBound(p).front;
if (qL.x < p.x && p.y > qR.y) {
area += (p.x - qL.x) * (p.y - qR.y);
ps.insert(p);
}
}
}
void remove(Pt p) {
ps.removeKey(p);
auto qL = ps.lowerBound(p).back;
auto qR = ps.upperBound(p).front;
area -= (p.x - qL.x) * (p.y - qR.y);
}
};
void main() {
try {
for (; ; ) {
const N = readInt();
auto XA = new long[N];
auto YA = new long[N];
auto XB = new long[N];
auto YB = new long[N];
foreach (i; 0 .. N) {
XA[i] = readLong();
YA[i] = readLong();
XB[i] = readLong();
YB[i] = readLong();
}
auto solvers = new Solver[4];
foreach (h; 0 .. 4) {
solvers[h] = new Solver;
}
long last;
foreach (i; 0 .. N) {
solvers[0].add(-XA[i], -YA[i]);
solvers[1].add(-XA[i], +YB[i]);
solvers[2].add(+XB[i], -YA[i]);
solvers[3].add(+XB[i], +YB[i]);
debug {
foreach (h; 0 .. 4) {
writeln(" ", solvers[h].ps, " ", solvers[h].area);
}
}
long ans;
foreach (h; 0 .. 4) {
ans += solvers[h].area;
}
writeln(ans - last);
last = ans;
}
}
} catch (EOFException e) {
}
}