結果

問題 No.1625 三角形の質問
ユーザー saksak
提出日時 2021-07-23 11:25:55
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 2,529 ms / 6,000 ms
コード長 11,372 bytes
コンパイル時間 14,488 ms
コンパイル使用メモリ 598,160 KB
実行使用メモリ 205,976 KB
最終ジャッジ日時 2023-09-25 20:53:50
合計ジャッジ時間 46,323 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge13
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,356 KB
testcase_01 AC 113 ms
23,568 KB
testcase_02 AC 893 ms
98,304 KB
testcase_03 AC 894 ms
94,560 KB
testcase_04 AC 665 ms
88,568 KB
testcase_05 AC 1,406 ms
113,840 KB
testcase_06 AC 2,454 ms
205,852 KB
testcase_07 AC 2,450 ms
205,704 KB
testcase_08 AC 2,438 ms
205,976 KB
testcase_09 AC 2,421 ms
205,808 KB
testcase_10 AC 2,460 ms
205,952 KB
testcase_11 AC 2,481 ms
205,788 KB
testcase_12 AC 2,438 ms
205,784 KB
testcase_13 AC 2,436 ms
205,656 KB
testcase_14 AC 2,431 ms
205,784 KB
testcase_15 AC 2,529 ms
205,884 KB
testcase_16 AC 435 ms
120,456 KB
testcase_17 AC 645 ms
124,424 KB
testcase_18 AC 864 ms
116,212 KB
testcase_19 AC 788 ms
140,064 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

/*
二次元セグ木持ってなくてnullさんのコード使ってます...😭
(入力形式のチェックのため)
*/

#include <cstdio>
#include <algorithm>
#include <string>
#include <cmath>
#include <cstring>
#include <vector>
#include <numeric>
#include <iostream>
#include <random>
#include <map>
#include <unordered_map>
#include <queue>
#include <regex>
#include <functional>
#include <complex>
#include <list>
#include <cassert>
#include <iomanip>
#include <set>
#include <stack>
#include <bitset>
#include <array>
#include <chrono>

//#pragma GCC target("arch=skylake-avx512")
//#pragma GCC target("avx2")
//#pragma GCC optimize("O3")
//#pragma GCC optimize("Ofast")
//#pragma GCC target("sse4")
//#pragma GCC optimize("unroll-loops")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
#define repeat(i, n, m) for(int i = n; i < (m); ++i)
#define rep(i, n) for(int i = 0; i < (n); ++i)
#define printynl(a) printf(a ? "yes\n" : "no\n")
#define printyn(a) printf(a ? "Yes\n" : "No\n")
#define printYN(a) printf(a ? "YES\n" : "NO\n")
#define printim(a) printf(a ? "possible\n" : "imposible\n")
#define printdb(a) printf("%.50lf\n", a)
#define printLdb(a) printf("%.50Lf\n", a)
#define printdbd(a) printf("%.16lf\n", a)
#define prints(s) printf("%s\n", s.c_str())
#define all(x) (x).begin(), (x).end()
#define deg_to_rad(deg) (((deg)/360.0L)*2.0L*PI)
#define rad_to_deg(rad) (((rad)/2.0L/PI)*360.0L)
#define Please return
#define AC 0
#define manhattan_dist(a, b, c, d) (abs(a - c) + abs(b - d))

using ll = long long;
using ull = unsigned long long;

constexpr int INF = 1073741823;
constexpr int MINF = -1073741823;
constexpr ll LINF = ll(4661686018427387903);
constexpr ll MOD = 1e9 + 7;
constexpr ll mod = 998244353;
constexpr long double eps = 1e-6;
const long double PI = acosl(-1.0L);

using namespace std;

void scans(string& str) {
	char c;
	str = "";
	scanf("%c", &c);
	if (c == '\n')scanf("%c", &c);
	while (c != '\n' && c != -1 && c != ' ') {
		str += c;
		scanf("%c", &c);
	}
}

void scanc(char& str) {
	char c;
	scanf("%c", &c);
	if (c == -1)return;
	while (c == '\n') {
		scanf("%c", &c);
	}
	str = c;
}

double acot(double x) {
	return PI / 2 - atan(x);
}

ll LSB(ll n) { return (n & (-n)); }

template<typename T>
inline T chmin(T& a, const T& b) {
	if (a > b)a = b;
	return a;
}

template<typename T>
inline T chmax(T& a, const T& b) {
	if (a < b)a = b;
	return a;
}

//cpp_int
#if __has_include(<boost/multiprecision/cpp_int.hpp>)
#include <boost/multiprecision/cpp_int.hpp>
#include <boost/multiprecision/cpp_dec_float.hpp>
using namespace boost::multiprecision;
#else
using cpp_int = ll;
#endif

//atcoder library
#if __has_include(<atcoder/all>)
#include <atcoder/all>
//using namespace atcoder;
#endif

/*
	random_device seed_gen;
	mt19937 engine(seed_gen());
	uniform_int_distribution dist(1, 100);
*/


/*----------------------------------------------------------------------------------*/

/*
* @title segment-tree
* @docs kyopro/docs/segtree.md
*/


//セグ木/0-indexed/非再帰/(大きさ, 単位元)で初期化
template<typename T, typename F>
struct segtree {
	//木を配列であらわしたもの
	vector<T> seg;
	//木の1/2の大きさ
	int siz;
	//単位元
	const T e;
	////比較関数の型
	//using F = function<T(T, T)>;
	//マージする関数
	const F f;

	//n の大きさ, a (単位元) で segtree を初期化する
	segtree(int n, const T a, const F f) : e(a), f(f) {
		siz = 1;
		while (siz < n)siz <<= 1;
		seg.assign(2 * siz - 1, e);
		--siz;
	}

	//k (0-indexed) 番目に t を代入
	void set(int k, const T& t) {
		seg[k + siz] = t;
	}

	//f によって木を構築
	void build() {
		for (int i = siz - 1; i >= 0; --i) seg[i] = f(seg[i * 2 + 1], seg[i * 2 + 2]);
	}

	//i 番目の要素を返す
	T operator[](const int i) {
		return seg[i + siz];
	}

	//k 番目の値を a に更新
	void update(int k, T a) {
		k += siz;
		//必要であればここを変える
		seg[k] = a;
		while (k > 0) {
			k = ((k - 1) >> 1);
			seg[k] = f(seg[k * 2 + 1], seg[k * 2 + 2]);
		}
	}

	//[a, b) について f した結果を返す
	T query(int a, int b) {
		T l = e, r = e;
		for (a += siz, b += siz; a < b; a >>= 1, b >>= 1) {
			if (!(a & 1))l = f(l, seg[a++]);
			if (!(b & 1))r = f(seg[--b], r);
		}
		return f(l, r);
	}

	//[start, end) について、[l, r) を調べながら k 番目が check を満たすか二分探索 最後が true なら left, false なら right fの逆演算
	template<typename C, typename FT>
	int find(const int start, const int end, int l, int r, int k, const C check, T& checknum, const bool b, const FT revf) {
		//cerr << checknum << '\n';
		//範囲外またはそこがすでに満たさないとき
		//cerr << k << ',' << checknum << '\n';
		if (start <= l && r <= end && !check(seg[k], checknum)) {
			checknum = revf(checknum, seg[k]);
			return -1;
		}
		if ((r <= start || l >= end)) {
			return -1;
		}
		//既に葉
		if (k >= siz) {
			return k - siz;
		}
		int res;
		if (b) {
			//左側を調べる
			res = find< C, FT >(start, end, l, ((l + r) >> 1), (k << 1) + 1, check, checknum, b, revf);
			//左側が適してたらそれが答え
			if (res != -1)return (res);
			return find< C, FT >(start, end, ((l + r) >> 1), r, (k << 1) + 2, check, checknum, b, revf);
		}
		else {
			//右側を調べる
			res = find< C, FT >(start, end, ((l + r) >> 1), r, (k << 1) + 2, check, checknum, b, revf);
			//右側が適してたらそれが答え
			if (res != -1)return (res);
			return find< C, FT >(start, end, l, ((l + r) >> 1), (k << 1) + 1, check, checknum, b, revf);
		}
	}

	template<typename C, typename FT>
	int find_left(int start, int end, const C check, T checknum, FT revf) {
		return find< C, FT >(start, end, 0, siz + 1, 0, check, checknum, true, revf);
	}

	template<typename C, typename FT>
	int find_right(int start, int end, const C check, T checknum, FT revf) {
		return find< C, FT >(start, end, 0, siz + 1, 0, check, checknum, false, revf);
	}

};

template<typename T, typename F>
segtree<T, F> get_segtree(int n, const T& e, const F& f) {
	return { n, e, f };
}

/*
* @title segment-tree-2D
* @docs kyopro/docs/segtree_2d.md
*/


//セグ木/0-indexed/非再帰/(大きさ, 単位元)で初期化
template<typename T, typename F>
struct segtree2D {
	//木を配列であらわしたもの
	vector<segtree<T, F>> seg;
	//木の1/2の大きさ
	int siz;
	//単位元
	const T e;
	////比較関数の型
	//using F = function<T(T, T)>;
	//マージする関数
	const F f;
	//座標
	vector<vector<int>> pos;

	//n の大きさ, a (単位元) で segtree を初期化する
	segtree2D(int n, const T a, const F f) : e(a), f(f) {
		siz = 1;
		while (siz < n)siz <<= 1;
		pos.resize(2 * siz - 1);
		--siz;
	}

	//座標 (x, y) を準備
	void preset(int x, int y) {
		x += siz;
		pos[x].push_back(y);
		while (x > 0) {
			x = (x - 1) >> 1;
			pos[x].push_back(y);
		}
	}

	//f によって木を構築
	void build() {
		for (auto& aa : pos) {
			sort(all(aa));
			aa.erase(unique(all(aa)), aa.end());
		}
		for (const auto& aa : pos) {
			seg.emplace_back(get_segtree(aa.size(), e, f));
			seg.back().build();
		}
	}

	//(x, y) の値を a に更新
	void update(int x, int y, T a) {
		x += siz;
		seg[x].update(distance(pos[x].begin(), lower_bound(all(pos[x]), y)), f(seg[x][distance(pos[x].begin(), lower_bound(all(pos[x]), y))], a));
		while (x > 0) {
			x = ((x - 1) >> 1);
			seg[x].update(distance(pos[x].begin(), lower_bound(all(pos[x]), y)), f(seg[x][distance(pos[x].begin(), lower_bound(all(pos[x]), y))], a));
		}
	}

	//x: [a, b) y: [x, y) について f した結果を返す
	T query(int a, int b, int x, int y) {
		T l = e, r = e;
		for (a += siz, b += siz; a < b; a >>= 1, b >>= 1) {
			if (!(a & 1)) {
				l = f(l, seg[a].query(distance(pos[a].begin(), lower_bound(all(pos[a]), x)), distance(pos[a].begin(), lower_bound(all(pos[a]), y))));
				++a;
			}
			if (!(b & 1)) {
				--b;
				r = f(seg[b].query(distance(pos[b].begin(), lower_bound(all(pos[b]), x)), distance(pos[b].begin(), lower_bound(all(pos[b]), y))), r);
			}
		}
		return f(l, r);
	}

};

template<typename T, typename F>
segtree2D<T, F> get_segtree2D(int n, const T& e, const F& f) {
	return { n, e, f };
}

#include "testlib.h"

int main(int argc, char **argv) {
    registerValidation(argc, argv);

	int n, q;
	n = inf.readInt(1, 100000);
	inf.readSpace();
	q = inf.readInt(1, 100000);
	inf.readEoln();
	
    assert(1<=n && n<=2*pow(10,5));
    assert(1<=q && q<=2*pow(10,5));

	vector<tuple<ll, int, int>> t(n), query(q);
	for (auto& [s, l, r] : t) {
		ll a, b, c, d, e, f;
		a = inf.readInt(1, 1000000000);
	    inf.readSpace();
	    		b = inf.readInt(1, 1000000000);
	    inf.readSpace();
	    		c = inf.readInt(1, 1000000000);
	    inf.readSpace();
	    		d = inf.readInt(1, 1000000000);
	    inf.readSpace();
	    		e = inf.readInt(1, 1000000000);
	    inf.readSpace();
	    		f = inf.readInt(1, 1000000000);
	    inf.readEoln();

        assert(1<=a && a<=pow(10,9));
        assert(1<=b && b<=pow(10,9));
        assert(1<=c && c<=pow(10,9));
        assert(1<=d && d<=pow(10,9));
        assert(1<=e && e<=pow(10,9));
        assert(1<=f && f<=pow(10,9));

		s = abs((a - e) * (d - f) - (c - e) * (b - f));
		l = (int)min({ a, c, e });
		r = (int)max({ a, c, e });
	}
	for (auto& [s, l, r] : query) {
		int t;
		t = inf.readInt(1, 2);
		inf.readSpace();

        assert(t==1 || t==2);

		if (t == 2) {
			l = inf.readInt(1, 1000000000);
			inf.readSpace();
			r = inf.readInt(l, 1000000000);
			inf.readEoln();
			
			assert(1<=l && l<=r && r<=pow(10,9));
			
			s = 0;
			++r;
		}
		else {
			ll a, b, c, d, e, f;
		a = inf.readInt(1, 1000000000);
	    inf.readSpace();
	    		b = inf.readInt(1, 1000000000);
	    inf.readSpace();
	    		c = inf.readInt(1, 1000000000);
	    inf.readSpace();
	    		d = inf.readInt(1, 1000000000);
	    inf.readSpace();
	    		e = inf.readInt(1, 1000000000);
	    inf.readSpace();
	    		f = inf.readInt(1, 1000000000);
	    inf.readEoln();

        assert(1<=a && a<=pow(10,9));
        assert(1<=b && b<=pow(10,9));
        assert(1<=c && c<=pow(10,9));
        assert(1<=d && d<=pow(10,9));
        assert(1<=e && e<=pow(10,9));
        assert(1<=f && f<=pow(10,9));

		s = abs((a - e) * (d - f) - (c - e) * (b - f));
		l = (int)min({ a, c, e });
		r = (int)max({ a, c, e });
		}
	}

	int siz = 0;
	//zaatsu
	{
		vector<int> x;
		for (const auto& [s, l, r] : t) {
			x.push_back(l);
			x.push_back(r);
		}
		for (const auto& [s, l, r] : query) {
			x.push_back(l);
			x.push_back(r);
		}
		sort(all(x));
		x.erase(unique(all(x)), x.end());
		for (auto& [s, l, r] : t) {
			l = distance(x.begin(), lower_bound(all(x), l));
			r = distance(x.begin(), lower_bound(all(x), r));
		}
		for (auto& [s, l, r] : query) {
			l = distance(x.begin(), lower_bound(all(x), l));
			r = distance(x.begin(), lower_bound(all(x), r));
		}
		siz = x.size();
	}

	auto seg = get_segtree2D(siz, -1ll, [](ll a, ll b) {return max(a, b); });

	for (const auto& [s, l, r] : t) {
		seg.preset(l, r);
	}
	for (const auto& [s, l, r] : query) {
		seg.preset(l, r);
	}
	seg.build();
	for (const auto& [s, l, r] : t) {
		seg.update(l, r, s);
	}

	for (const auto& [s, l, r] : query) {
		if (s) {
			seg.update(l, r, s);
		}
		else {
			printf("%lld\n", seg.query(l, r, l, r));
		}
	}
inf.readEof();
	Please AC;
}
0