結果
| 問題 | No.3464 Max and Sum on Grid |
| コンテスト | |
| ユーザー |
noya2
|
| 提出日時 | 2026-03-03 00:23:56 |
| 言語 | C++23 (gcc 15.2.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 812 ms / 5,000 ms |
| コード長 | 8,033 bytes |
| 記録 | |
| コンパイル時間 | 3,739 ms |
| コンパイル使用メモリ | 356,048 KB |
| 実行使用メモリ | 10,752 KB |
| 最終ジャッジ日時 | 2026-03-03 00:24:11 |
| 合計ジャッジ時間 | 12,273 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 |
| other | AC * 10 |
ソースコード
#line 2 "/Users/noya2/Desktop/Noya2_library/template/template.hpp"
using namespace std;
#include<bits/stdc++.h>
#line 1 "/Users/noya2/Desktop/Noya2_library/template/inout_old.hpp"
namespace noya2 {
template <typename T, typename U>
ostream &operator<<(ostream &os, const pair<T, U> &p){
os << p.first << " " << p.second;
return os;
}
template <typename T, typename U>
istream &operator>>(istream &is, pair<T, U> &p){
is >> p.first >> p.second;
return is;
}
template <typename T>
ostream &operator<<(ostream &os, const vector<T> &v){
int s = (int)v.size();
for (int i = 0; i < s; i++) os << (i ? " " : "") << v[i];
return os;
}
template <typename T>
istream &operator>>(istream &is, vector<T> &v){
for (auto &x : v) is >> x;
return is;
}
void in() {}
template <typename T, class... U>
void in(T &t, U &...u){
cin >> t;
in(u...);
}
void out() { cout << "\n"; }
template <typename T, class... U, char sep = ' '>
void out(const T &t, const U &...u){
cout << t;
if (sizeof...(u)) cout << sep;
out(u...);
}
template<typename T>
void out(const vector<vector<T>> &vv){
int s = (int)vv.size();
for (int i = 0; i < s; i++) out(vv[i]);
}
struct IoSetup {
IoSetup(){
cin.tie(nullptr);
ios::sync_with_stdio(false);
cout << fixed << setprecision(15);
cerr << fixed << setprecision(7);
}
} iosetup_noya2;
} // namespace noya2
#line 1 "/Users/noya2/Desktop/Noya2_library/template/const.hpp"
namespace noya2{
const int iinf = 1'000'000'007;
const long long linf = 2'000'000'000'000'000'000LL;
const long long mod998 = 998244353;
const long long mod107 = 1000000007;
const long double pi = 3.14159265358979323;
const vector<int> dx = {0,1,0,-1,1,1,-1,-1};
const vector<int> dy = {1,0,-1,0,1,-1,-1,1};
const string ALP = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
const string alp = "abcdefghijklmnopqrstuvwxyz";
const string NUM = "0123456789";
void yes(){ cout << "Yes\n"; }
void no(){ cout << "No\n"; }
void YES(){ cout << "YES\n"; }
void NO(){ cout << "NO\n"; }
void yn(bool t){ t ? yes() : no(); }
void YN(bool t){ t ? YES() : NO(); }
} // namespace noya2
#line 2 "/Users/noya2/Desktop/Noya2_library/template/utils.hpp"
#line 6 "/Users/noya2/Desktop/Noya2_library/template/utils.hpp"
namespace noya2{
unsigned long long inner_binary_gcd(unsigned long long a, unsigned long long b){
if (a == 0 || b == 0) return a + b;
int n = __builtin_ctzll(a); a >>= n;
int m = __builtin_ctzll(b); b >>= m;
while (a != b) {
int mm = __builtin_ctzll(a - b);
bool f = a > b;
unsigned long long c = f ? a : b;
b = f ? b : a;
a = (c - b) >> mm;
}
return a << std::min(n, m);
}
template<typename T> T gcd_fast(T a, T b){ return static_cast<T>(inner_binary_gcd(std::abs(a),std::abs(b))); }
long long sqrt_fast(long long n) {
if (n <= 0) return 0;
long long x = sqrt(n);
while ((x + 1) * (x + 1) <= n) x++;
while (x * x > n) x--;
return x;
}
template<typename T> T floor_div(const T n, const T d) {
assert(d != 0);
return n / d - static_cast<T>((n ^ d) < 0 && n % d != 0);
}
template<typename T> T ceil_div(const T n, const T d) {
assert(d != 0);
return n / d + static_cast<T>((n ^ d) >= 0 && n % d != 0);
}
template<typename T> void uniq(std::vector<T> &v){
std::sort(v.begin(),v.end());
v.erase(unique(v.begin(),v.end()),v.end());
}
template <typename T, typename U> inline bool chmin(T &x, U y) { return (y < x) ? (x = y, true) : false; }
template <typename T, typename U> inline bool chmax(T &x, U y) { return (x < y) ? (x = y, true) : false; }
template<typename T> inline bool range(T l, T x, T r){ return l <= x && x < r; }
} // namespace noya2
#line 8 "/Users/noya2/Desktop/Noya2_library/template/template.hpp"
#define rep(i,n) for (int i = 0; i < (int)(n); i++)
#define repp(i,m,n) for (int i = (m); i < (int)(n); i++)
#define reb(i,n) for (int i = (int)(n-1); i >= 0; i--)
#define all(v) (v).begin(),(v).end()
using ll = long long;
using ld = long double;
using uint = unsigned int;
using ull = unsigned long long;
using pii = pair<int,int>;
using pll = pair<ll,ll>;
using pil = pair<int,ll>;
using pli = pair<ll,int>;
namespace noya2{
/* ~ (. _________ . /) */
}
using namespace noya2;
#line 2 "c.cpp"
#line 2 "/Users/noya2/Desktop/Noya2_library/misc/mo_algorithm.hpp"
#line 8 "/Users/noya2/Desktop/Noya2_library/misc/mo_algorithm.hpp"
/*
usage : https://nyaannyaan.github.io/library/modulo/multipoint-binomial-sum.hpp
*/
namespace noya2{
struct mo_algorithm {
int width;
std::vector<int> left, right, order;
mo_algorithm (int n = 1, int q = 1): order(q) {
width = std::max<int>(1, 1.0 * n / std::max<double>(1.0, std::sqrt(q * 2.0 / 3.0)));
std::iota(begin(order), end(order), 0);
left.reserve(q);
right.reserve(q);
}
void insert(int l, int r) { /* [l, r) */
left.emplace_back(l);
right.emplace_back(r);
}
void run(auto add_left, auto add_right, auto delete_left, auto delete_right, auto rem){
assert(left.size() == order.size());
std::sort(begin(order), end(order), [&](int a, int b) {
int ablock = left[a] / width, bblock = left[b] / width;
if (ablock != bblock) return ablock < bblock;
if (ablock & 1) return right[a] < right[b];
return right[a] > right[b];
});
int nl = 0, nr = 0;
for (auto idx : order) {
while (nl > left[idx]) add_left(--nl);
while (nr < right[idx]) add_right(nr++);
while (nl < left[idx]) delete_left(nl++);
while (nr > right[idx]) delete_right(--nr);
rem(idx);
}
}
};
} // namespace noya2
#line 2 "/Users/noya2/Desktop/Noya2_library/data_structure/fenwick_tree.hpp"
#line 4 "/Users/noya2/Desktop/Noya2_library/data_structure/fenwick_tree.hpp"
namespace noya2{
template <class T> struct fenwick_tree {
public:
fenwick_tree() : _n(0) {}
explicit fenwick_tree(int n_) : _n(n_), data(n_) {}
void add(int p, T x) {
assert(0 <= p && p < _n);
p++;
while (p <= _n) {
data[p - 1] += x;
p += p & -p;
}
}
T sum(int l, int r) {
assert(0 <= l && l <= r && r <= _n);
return sum(r) - sum(l);
}
private:
int _n;
vector<T> data;
T sum(int r) {
T s = 0;
while (r > 0) {
s += data[r - 1];
r -= r & -r;
}
return s;
}
};
} // namespace noya2
#line 5 "c.cpp"
void solve(){
int n, q; in(n,q);
vector<int> a(n), b(n); in(a,b);
const int mx = 100100;
fenwick_tree<int> xcnt(mx), xsum(mx), ycnt(mx), ysum(mx);
ll ans = 0;
auto addx = [&](int x){
x = a[x];
ll sml = ycnt.sum(0,x);
ll big = ysum.sum(x,mx);
ans += big + sml * x;
xcnt.add(x,1);
xsum.add(x,x);
};
auto addy = [&](int y){
y = b[y];
ll sml = xcnt.sum(0,y);
ll big = xsum.sum(y,mx);
ans += big + sml * y;
ycnt.add(y,1);
ysum.add(y,y);
};
auto delx = [&](int x){
x = a[x];
ll sml = ycnt.sum(0,x);
ll big = ysum.sum(x,mx);
ans -= big + sml * x;
xcnt.add(x,-1);
xsum.add(x,-x);
};
auto dely = [&](int y){
y = b[y];
ll sml = xcnt.sum(0,y);
ll big = xsum.sum(y,mx);
ans -= big + sml * y;
ycnt.add(y,-1);
ysum.add(y,-y);
};
vector<ll> memo(q);
auto rem = [&](int i){
int coef = (i%4 < 2 ? 1 : -1);
memo[i/4] += ans * coef;
};
mo_algorithm mo(n,q*4);
rep(i,q){
int l, d, r, u; in(l,d,r,u); l--, d--;
mo.insert(l,d);
mo.insert(r,u);
mo.insert(l,u);
mo.insert(r,d);
}
mo.run(delx,addy,addx,dely,rem);
rep(i,q){
out(memo[i]);
}
}
int main(){
int t = 1; //in(t);
while (t--) { solve(); }
}
noya2