#1186132 (C++23(gcc16)) No.3709 Unknown Treasure

• 問題: No.3709 Unknown Treasure
• ユーザー: Nanmo
• 提出日時: 2026-09-11 21:39:43
• 言語: C++23(gcc16) (gcc 16.1.0 + boost 1.92.0 + ACL)
• 結果: AC
• 実行時間: 70 ms / 2,000 ms
• コード長: 3,010 bytes
• コンパイル時間: 6,201 ms
• コンパイル使用メモリ: 388,704 KB
• 実行使用メモリ: 19,200 KB
• 最終ジャッジ日時: 2026-09-11 21:39:56
• 合計ジャッジ時間: 8,083 ms
• ジャッジサーバーID （参考情報）: judge2_0 / judge3_0

ファイルパターン	結果
sample	AC * 3
other	AC * 36

ソースコード

#include <bits/stdc++.h>
#include <atcoder/all>
#pragma GCC optimize("O3")
using namespace std;
using namespace atcoder;
using ll = long long;
using ull = unsigned long long;
using vi = vector<int>;
using vll = vector<ll>;
using vull = vector<ull>;
using vs = vector<string>;
using vb = vector<bool>;
using vc = vector<char>;
using vf = vector<float>;
using vd = vector<double>;
using vvi = vector<vector<int>>;
using vvll = vector<vector<ll>>;
using vvull = vector<vector<ull>>;
using vvs = vector<vector<string>>;
using vvc = vector<vector<char>>;
using vvb = vector<vector<bool>>;
using vvf = vector<vector<float>>;
using vvd = vector<vector<double>>;
using pi = pair<int, int>;
using pll = pair<ll, ll>;
using vpi = vector<pi>;
using vpll = vector<pll>;
#define cYes cout << "YES\n"
#define cNo cout << "NO\n"
#define cyes cout << "Yes\n"
#define cno cout << "No\n"
#define fi first
#define se second
#define pb push_back
#define eb emplace_back
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
template <typename T>
inline istream& operator >> (istream& is, vector<T>& v){
    for(size_t i=0; i<v.size(); i++){
        is >> v[i];
    }
    return is;
}
template <typename T, typename U>
inline istream& operator >> (istream& is, vector<pair<T,U>>& v){
    for(size_t i=0; i<v.size(); i++){
        is >> v[i].first >> v[i].second;
    }
    return is;
}
template <typename T>
inline istream& operator >> (istream& is, vector<vector<T>>& v){
    for(size_t i=0; i<v.size(); i++){
        for(size_t j=0; j<v[i].size(); j++){
            is >> v[i][j];
        }
    }
    return is;
}
template <typename T, typename U, typename S, typename V>
inline istream& operator >> (istream& is, vector<pair<pair<T,U>, pair<S,V>>>& v){
    for(size_t i=0; i<v.size(); i++){
        is >> v[i].first.first >> v[i].first.second >> v[i].second.first >> v[i].second.second;
    }
    return is;
}
const double PI = 3.14159265359;
vi dx = {0, -1, 0, 1};
vi dy = {1, 0, -1, 0};

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int H, W, N;
    cin >> H >> W >> N;
    vvi G(H, vi(W, 0));
    while(N--){
        pi A, B;
        cin >> A.fi >> A.se >> B.fi >> B.se;
        A.fi--, A.se--, B.fi--, B.se--;
        G[A.fi][A.se]++;
        if(B.se+1 < W){
            G[A.fi][B.se+1]--;
        }
        if(B.fi+1 < H){
            G[B.fi+1][A.se]--;
        }
        if(B.fi+1 < H && B.se+1 < W){
            G[B.fi+1][B.se+1]++;
        }
    }
    for(int i=0; i<H; i++){
        for(int j=1; j<W; j++){
            G[i][j] += G[i][j-1];
        }
    }
    for(int j=0; j<W; j++){
        for(int i=1; i<H; i++){
            G[i][j] += G[i-1][j];
        }
    }
    int ans = 0;
    for(int i=0; i<H; i++){
        for(int j=0; j<W; j++){
            if(G[i][j] == 0) ans++;
        }
    }
    cout << ans << "\n";
    // for(int i=0; i<H; i++){
    //     for(int j=0; j<W; j++){
    //         cerr << G[i][j];
    //     }
    //     cerr << "\n";
    // }
}