結果

問題 No.960 マンハッタン距離3
ユーザー FF256grhyFF256grhy
提出日時 2019-12-23 05:15:19
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 126 ms / 2,000 ms
コード長 4,126 bytes
コンパイル時間 1,798 ms
コンパイル使用メモリ 180,212 KB
実行使用メモリ 6,912 KB
最終ジャッジ日時 2024-09-15 04:56:40
合計ジャッジ時間 12,183 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge6
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 216
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
using LL = long long int;
#define incID(i, l, r) for(int i = (l)    ; i <  (r); ++i)
#define incII(i, l, r) for(int i = (l)    ; i <= (r); ++i)
#define decID(i, l, r) for(int i = (r) - 1; i >= (l); --i)
#define decII(i, l, r) for(int i = (r)    ; i >= (l); --i)
#define inc(i, n)  incID(i, 0, n)
#define inc1(i, n) incII(i, 1, n)
#define dec(i, n)  decID(i, 0, n)
#define dec1(i, n) decII(i, 1, n)
#define inID(v, l, r) ((l) <= (v) && (v) <  (r))
#define inII(v, l, r) ((l) <= (v) && (v) <= (r))
#define PB push_back
#define EB emplace_back
#define MP make_pair
#define FI first
#define SE second
#define  ALL(v)  v.begin(),  v.end()
#define RALL(v) v.rbegin(), v.rend()
auto setmin   = [](auto & a, auto b) { return (b <  a ? a = b, true : false); };
auto setmax   = [](auto & a, auto b) { return (b >  a ? a = b, true : false); };
auto setmineq = [](auto & a, auto b) { return (b <= a ? a = b, true : false); };
auto setmaxeq = [](auto & a, auto b) { return (b >= a ? a = b, true : false); };
auto fl = [](auto a, auto b) { assert(b != 0); return a / b - (a % b != 0 && ((a >= 0) != (b >= 0)) ? 1 : 0); };
auto ce = [](auto a, auto b) { assert(b != 0); return a / b + (a % b != 0 && ((a >= 0) == (b >= 0)) ? 1 : 0); };
auto mo = [](auto a, auto b) { assert(b != 0); a %= b; if(a < 0) { a += abs(b); } return a; };
LL gcd(LL a, LL b) { return (b == 0 ? a : gcd(b, a % b)); }
LL lcm(LL a, LL b) { return a / gcd(a, b) * b; }
#define bit(b, i) (((b) >> (i)) & 1)
#define SI(v) static_cast<int>(v.size())
#define RF(e, v) for(auto & e: v)
#define until(e) while(! (e))
#define if_not(e) if(! (e))
#define ef else if
#define UR assert(false)

// ----

#define inCI(v, l, r) ((l) <  (v) && (v) <= (r))
#define inCD(v, l, r) ((l) <  (v) && (v) <  (r))

int main() {
	LL h, w, n;
	cin >> h >> w >> n;
	vector<LL> a(n), b(n);
	set<int> parity;
	inc(i, n) {
		LL x, y;
		cin >> x >> y;
		a[i] = x - y;
		b[i] = x + y;
		parity.insert((x + y) % 2);
	}
	
	auto xy = [](LL a, LL b) -> pair<LL, LL> {
		assert((a + b) % 2 == 0);
		return { (b + a) / 2, (b - a) / 2 };
	};
	
	auto ok = [&](LL x, LL y) -> bool {
		set<LL> d;
		inc(i, n) {
			auto p = xy(a[i], b[i]);
			d.insert(abs(x - p.FI) + abs(y - p.SE));
		}
		return (SI(d) == 1);
	};
	
	auto solve = [&]() -> LL {
		if(SI(parity) == 2) { return 0; }
		
		LL INF = 1e12;
		LL s = +INF, S = -INF;
		LL t = +INF, T = -INF;
		inc(i, n) {
			setmin(s, a[i]);
			setmax(S, a[i]);
			setmin(t, b[i]);
			setmax(T, b[i]);
		}
		inc(i, n) {
			if(inCD(a[i], s, S) && inCD(b[i], t, T)) { return 0; }
		}
		
		auto st = xy(s, t);
		auto sT = xy(s, T);
		auto St = xy(S, t);
		auto ST = xy(S, T);
		
		if(s == S && t == T) { return h * w; }
		
		if(s == S) {
			LL x = st.FI, y = st.SE;
			LL X = ST.FI, Y = ST.SE;
			return x * (w + 1 - Y) + (h + 1 - X) * y + (n == 2 ? X - x - 1 : 0);
		}
		if(t == T) {
			LL x = st.FI, Y = st.SE;
			LL X = ST.FI, y = ST.SE;
			return x * y + (h + 1 - X) * (w + 1 - Y) + (n == 2 ? X - x - 1 : 0);
		}
		
		LL A = S - s, B = T - t, ans = 0;
		if(A >= B) {
			LL x = sT.FI, y = ST.SE;
			LL X = St.FI, Y = st.SE;
			if(ok(x, y)) { ans += 1; }
			if(ok(X, Y) && A != B) { ans += 1; }
			if(ok(x + 1, y + 1) && A != B) { ans += X - x - 1; }
			if(ok(x - 1, y)) { ans += x - 1; }
			if(ok(x, y - 1)) { ans += y - 1; }
			if(ok(X + 1, Y)) { ans += h - X; }
			if(ok(X, Y + 1)) { ans += w - Y; }
		} else {
			LL x = St.FI, y = st.SE;
			LL X = sT.FI, Y = ST.SE;
			if(ok(x, Y)) { ans += 1; }
			if(ok(X, y)) { ans += 1; }
			if(ok(x + 1, Y - 1)) { ans += X - x - 1; }
			if(ok(x - 1, Y)) { ans += x - 1; }
			if(ok(X, y - 1)) { ans += y - 1; }
			if(ok(X + 1, y)) { ans += h - X; }
			if(ok(x, Y + 1)) { ans += w - Y; }
		}
		return ans;
	};
	
	cout << solve() << endl;
	
	/*
	auto solve2 = [&]() -> LL {
		LL ans = 0;
		inc1(i, h) {
		inc1(j, w) {
			if(ok(i, j)) { ans++; }
		}
		}
		return ans;
	};
	LL s1 = solve() ; cout << s1 << endl;
	LL s2 = solve2(); cout << s2 << endl;
	inc1(i, h) {
	inc1(j, w) {
		cout << (ok(i, j) ? "# " : ". ");
	} cout << endl;
	} cout << endl;
	assert(s1 == s2);
	*/
	
	return 0;
}
0