#pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; //#define int long long typedef long long ll; typedef unsigned long long ul; typedef unsigned int ui; //constexpr ll mod = 998244353; constexpr ll mod = 1000000007; const ll INF = mod * mod; typedef pairP; #define rep(i,n) for(int i=0;i=0;i--) #define Rep(i,sta,n) for(int i=sta;i=1;i--) #define Rep1(i,sta,n) for(int i=sta;i<=n;i++) #define all(v) (v).begin(),(v).end() typedef pair LP; template void chmin(T& a, T b) { a = min(a, b); } template void chmax(T& a, T b) { a = max(a, b); } template void cinarray(vector& v) { rep(i, v.size())cin >> v[i]; } template void coutarray(vector& v) { rep(i, v.size()) { if (i > 0)cout << " "; cout << v[i]; } cout << "\n"; } ll mod_pow(ll x, ll n, ll m = mod) { if (n < 0) { ll res = mod_pow(x, -n, m); return mod_pow(res, m - 2, m); } if (abs(x) >= m)x %= m; if (x < 0)x += m; //if (x == 0)return 0; ll res = 1; while (n) { if (n & 1)res = res * x % m; x = x * x % m; n >>= 1; } return res; } struct modint { int n; modint() :n(0) { ; } modint(ll m) { if (m < 0 || mod <= m) { m %= mod; if (m < 0)m += mod; } n = m; } operator int() { return n; } }; bool operator==(modint a, modint b) { return a.n == b.n; } bool operator<(modint a, modint b) { return a.n < b.n; } modint operator+=(modint& a, modint b) { a.n += b.n; if (a.n >= mod)a.n -= mod; return a; } modint operator-=(modint& a, modint b) { a.n -= b.n; if (a.n < 0)a.n += mod; return a; } modint operator*=(modint& a, modint b) { a.n = ((ll)a.n * b.n) % mod; return a; } modint operator+(modint a, modint b) { return a += b; } modint operator-(modint a, modint b) { return a -= b; } modint operator*(modint a, modint b) { return a *= b; } modint operator^(modint a, ll n) { if (n == 0)return modint(1); modint res = (a * a) ^ (n / 2); if (n % 2)res = res * a; return res; } ll inv(ll a, ll p) { return (a == 1 ? 1 : (1 - p * inv(p % a, a)) / a + p); } modint operator/(modint a, modint b) { return a * modint(inv(b, mod)); } modint operator/=(modint& a, modint b) { a = a / b; return a; } const int max_n = 1 << 20; modint fact[max_n], factinv[max_n]; void init_f() { fact[0] = modint(1); for (int i = 0; i < max_n - 1; i++) { fact[i + 1] = fact[i] * modint(i + 1); } factinv[max_n - 1] = modint(1) / fact[max_n - 1]; for (int i = max_n - 2; i >= 0; i--) { factinv[i] = factinv[i + 1] * modint(i + 1); } } modint comb(int a, int b) { if (a < 0 || b < 0 || a < b)return 0; return fact[a] * factinv[b] * factinv[a - b]; } modint combP(int a, int b) { if (a < 0 || b < 0 || a < b)return 0; return fact[a] * factinv[a - b]; } ll gcd(ll a, ll b) { a = abs(a); b = abs(b); if (a < b)swap(a, b); while (b) { ll r = a % b; a = b; b = r; } return a; } typedef long double ld; typedef pair LDP; const ld eps = 1e-8; const ld pi = acosl(-1.0); template void addv(vector& v, int loc, T val) { if (loc >= v.size())v.resize(loc + 1, 0); v[loc] += val; } /*const int mn = 100005; bool isp[mn]; vector ps; void init() { fill(isp + 2, isp + mn, true); for (int i = 2; i < mn; i++) { if (!isp[i])continue; ps.push_back(i); for (int j = 2 * i; j < mn; j += i) { isp[j] = false; } } }*/ //[,val) template auto prev_itr(set& st, T val) { auto res = st.lower_bound(val); if (res == st.begin())return st.end(); res--; return res; } //[val,) template auto next_itr(set& st, T val) { auto res = st.lower_bound(val); return res; } using mP = pair; const string drul = "DRUL"; //DRUL int dx[4] = { 1,0,-1,0 }; int dy[4] = { 0,1,0,-1 }; //----------------------------------------- struct uf { private: vector par, ran; public: uf(int n) { par.resize(n, 0); ran.resize(n, 0); rep(i, n) { par[i] = i; } } int find(int x) { if (par[x] == x)return x; else return par[x] = find(par[x]); } void unite(int x, int y) { x = find(x), y = find(y); if (x == y)return; if (ran[x] < ran[y]) { par[x] = y; } else { par[y] = x; if (ran[x] == ran[y])ran[x]++; } } bool same(int x, int y) { return find(x) == find(y); } }; #define ftt function #define ftu function #define fuu function template struct SegT { private: int n; vector node; vector lazy; T et; U eu; ftt f; ftu g; fuu h; public: SegT(vector ori, T _et, U _eu, ftt _f, ftu _g, fuu _h) { int sz = ori.size(); et = _et, eu = _eu; f = _f, g = _g, h = _h; n = 1; while (n < sz)n <<= 1; node.resize(2 * n - 1, et); lazy.resize(2 * n - 1, eu); rep(i, sz) { node[i + n - 1] = ori[i]; } per(i, n - 1) { node[i] = f(node[2 * i + 1], node[2 * i + 2]); } } SegT(int sz, T _et, U _eu, ftt _f, ftu _g, fuu _h) { et = _et, eu = _eu; f = _f, g = _g, h = _h; n = 1; while (n < sz)n <<= 1; node.resize(2 * n - 1, et); lazy.resize(2 * n - 1, eu); } void eval(int k, int l, int r) { if (lazy[k] == eu)return; node[k] = g(node[k], lazy[k], l, r); if (r - l > 1) { lazy[2 * k + 1] = h(lazy[k], lazy[2 * k + 1]); lazy[2 * k + 2] = h(lazy[k], lazy[2 * k + 2]); } lazy[k] = eu; } void add(U x, int a, int b, int k = 0, int l = 0, int r = -1) { if (r < 0)r = n; eval(k, l, r); if (r <= a || b <= l)return; if (a <= l && r <= b) { lazy[k] = h(x, lazy[k]); eval(k, l, r); } else { add(x, a, b, k * 2 + 1, l, (l + r) / 2); add(x, a, b, k * 2 + 2, (l + r) / 2, r); node[k] = f(node[k * 2 + 1], node[k * 2 + 2]); } } T query(int a, int b, int k = 0, int l = 0, int r = -1) { if (r < 0)r = n; eval(k, l, r); if (r <= a || b <= l)return et; if (a <= l && r <= b)return node[k]; else { T vl = query(a, b, k * 2 + 1, l, (l + r) / 2); T vr = query(a, b, k * 2 + 2, (l + r) / 2, r); return f(vl, vr); } } void update(int loc, T x) { int k = 0, l = 0, r = n; stack

st; while (k < n - 1) { eval(k, l, r); st.push({ l,r }); if (loc < (l + r) / 2) { k = 2 * k + 1; r = (l + r) / 2; } else { k = 2 * k + 2; l = (l + r) / 2; } } eval(k, l, r); st.push({ l,r }); node[k] = x; while (k > 0) { k = (k - 1) / 2; st.pop(); l = st.top().first, r = st.top().second; eval(2 * k + 1, l, (l + r) / 2); eval(2 * k + 2, (l + r) / 2, r); node[k] = f(node[2 * k + 1], node[2 * k + 2]); } } //k以上でf(x,node[y+sz-1])をtrueにするような最小のy int searchloc(int le, T x, function comp) { int k = 0, l = 0, r = n; while (k < n - 1) { eval(k, l, r); int m = (l + r) / 2; if (le < m) { k = 2 * k + 1; r = m; } else { k = 2 * k + 2; l = m; } } assert(k == le + n - 1); eval(k, l, r); if (comp(x, node[k]))return le; //x=f(x,node[k]); while (k > 0) { int mem = k; k = (k - 1) / 2; if (2 * k + 1 == mem) { r += r - l; } else { l -= r - l; } if (2 * k + 1 == mem) { eval(2 * k + 2, (l + r) / 2, r); if (comp(x, node[2 * k + 2])) { k = 2 * k + 2; l = (l + r) / 2; break; } //x=f(x,node[2*k+2]); } } if (k == 0)return n; while (k < n - 1) { eval(2 * k + 1, l, (l + r) / 2); eval(2 * k + 2, (l + r) / 2, r); if (comp(x, node[2 * k + 1])) { k = 2 * k + 1; r = (l + r) / 2; } else { k = 2 * k + 2; l = (l + r) / 2; //x=f(x,node[2*k+1]); } } return k - (n - 1); } }; template struct BIT { private: vector node; int n; public: BIT(int n_) { n = n_; node.resize(n, 0); } //0-indexed void add(int a, T w) { for (int i = a; i < n; i |= i + 1)node[i] += w; } //[0,a) T sum(int a) { T ret = 0; for (int i = a - 1; i >= 0; i = (i & (i + 1)) - 1)ret += node[i]; return ret; } //[a,b) T sum(int a, int b) { return sum(b) - sum(a); } }; const int mn = 200005; void solve() { int n, m; cin >> n >> m; vector a(n), b(n), c(n); rep(i, n)cin >> a[i] >> b[i] >> c[i]; vector p(m), q(m), r(m); rep(i, m)cin >> p[i] >> q[i] >> r[i]; vector

vy(mn, P{ -1,-1 }); rep(i, n)vy[a[i]] = { b[i],c[i] }; vector> ads(mn); vector> dels(mn); rep(i, m) { ads[q[i]].push_back(p[i]); dels[r[i]].push_back(p[i]); } set les; les.insert(0); les.insert(mn); int tmp = 0; auto f = [&](int a, int b) { if (a < 0)return b; if (b < 0)return a; return a; }; auto g = [&](int a, int b, int l, int r) { if (!b)return a; if (l + 1 == r&&a>=0) { a = tmp; tmp++; } return a; }; auto h = [&](int a, int b) { return a | b; }; SegT st(mn, -1, 0, f, g, h); BIT bt(mn); bt.add(0, 1); st.update(0, 0); tmp++; uf u(4 * mn); ll ans = 1; rep(i, mn) { for (int loc : ads[i]) { int cl = *prev_itr(les, loc); int cr = *next_itr(les, loc); int id = st.query(cl, cl + 1); //cout << "? " << id << "\n"; st.update(loc, id); les.insert(loc); bt.add(loc, 1); //cout << "! " << loc << "\n"; } if (vy[i].first >= 0) { auto itr = next_itr(les, vy[i].first); int cl = *itr; itr = les.upper_bound(vy[i].second); itr--; int cr = *itr; if (cl < cr){ ans += bt.sum(cl, cr); st.add(1, cl, cr); } } for (int loc : dels[i]) { int cl = *prev_itr(les, loc); int leid = st.query(cl, cl + 1); int riid = st.query(loc, loc + 1); //cout << "? " << loc << "\n"; //cout << "? " << leid << " " << riid << "\n"; if (!u.same(leid, riid)) { ans--; u.unite(leid, riid); } st.update(loc, -1); les.erase(loc); bt.add(loc, -1); } } cout << ans-1 << "\n"; } signed main() { ios::sync_with_stdio(false); cin.tie(0); //cout << fixed << setprecision(10); init_f(); //init(); //while(true) //expr(); //int t; cin >> t; rep(i, t) solve(); return 0; }