#include #include using namespace std; using namespace atcoder; using lint = long long; using ulint = unsigned long long; using llint = __int128_t; struct edge; using graph = vector>; #define endl '\n' int const INF = 1<<30; lint const INF64 = 1LL<<61; lint const mod107 = 1e9+7; using mint107 = modint1000000007; long const mod = 998244353; using mint = modint998244353; lint ceilDiv(lint x, lint y){if(x >= 0){return (x+y-1)/y;}else{return x/y;}} lint floorDiv(lint x, lint y){if(x >= 0){return x/y;}else{return (x-y+1)/y;}} lint Sqrt(lint x) {assert(x >= 0); lint ans = sqrt(x); while(ans*ans > x)ans--; while((ans+1)*(ans+1)<=x)ans++; return ans;} lint gcd(lint a,lint b){if(a&v){lint ans = INF64;for(lint i:v){ans = min(ans, i);}return ans;} lint chmax(vector&v){lint ans = -INF64;for(lint i:v){ans = max(ans, i);}return ans;} double dist(double x1, double y1, double x2, double y2){return sqrt(pow(x1-x2, 2) + pow(y1-y2,2));} string toString(lint n){string ans = "";if(n == 0){ans += "0";}else{while(n > 0){int a = n%10;char b = '0' + a;string c = "";c += b;n /= 10;ans = c + ans;}}return ans;} string toString(lint n, lint k){string ans = toString(n);string tmp = "";while(ans.length() + tmp.length() < k){tmp += "0";}return tmp + ans;} vectorprime;void makePrime(lint n){prime.push_back(2);for(lint i=3;i<=n;i+=2){bool chk = true;for(lint j=0;j>19))^(t^(t>>8)) ); } struct Point { lint x, y; int quad; Point(lint X, lint Y) { x = X; y = Y; quad = getQuadrant(); } int getQuadrant() { if(x >= 0) { if(y >= 0) return 1; else return 4; } else { if(y >= 0) return 2; else return 3; } } }; bool operator<(const Point &left, const Point &right) { if(left.quad == right.quad) { return left.y * right.x < left.x * right.y; } else { return left.quad < right.quad; } } struct Frac { lint upper, lower; Frac() { Frac(0,1); } Frac(lint u, lint l) { assert(l != 0); if(u <= 0 && l < 0) { upper = -u; lower = -l; } else { upper = u; lower = l; } reduction(); } Frac(lint u) { upper = u; lower = 1; } void reduction() { if(upper != 0) { lint g = gcd(abs(upper), abs(lower)); upper /= g; lower /= g; if(lower < 0) { lower *= -1; upper *= -1; } } else { lower = 1; } } Frac operator+(const Frac &other) { lint L = lower * other.lower; lint U = upper*other.lower + lower*other.upper; return Frac(U, L); } Frac operator-(const Frac &other) { lint L = lower * other.lower; lint U = upper*other.lower - lower*other.upper; upper = U; lower = L; return Frac(U, L); } bool operator<=(const Frac &other) { return upper*other.lower <= lower*other.upper; } Frac operator*(const Frac &other) { lint L = lower * other.lower; lint U = upper * other.upper; return Frac(U, L); } Frac operator/(const Frac &other) { assert(other.upper != 0); lint L = lower * other.upper; lint U = upper * other.lower; return Frac(U, L); } }; bool operator<(const Frac &left, const Frac &right) { return left.upper*right.lower < left.lower*right.upper; } lint extGCD(lint a, lint b, lint &x, lint &y) { if (b == 0) { x = 1; y = 0; return a; } lint d = extGCD(b, a%b, y, x); y -= a/b * x; return d; } struct edge{ int to; int cost; }; vectordijkstra(int s, graph &g) { vecret(g.size(), INF64); priority_queue>que; que.push({-0, s}); ret[s] = 0; while(!que.empty()) { auto q = que.top(); que.pop(); for(auto e: g[q.second]) { if(ret[e.to] > -q.first + e.cost) { ret[e.to] = -q.first + e.cost; que.push({-ret[e.to], e.to}); } } } return ret; } int main(){ lint h,w,n,d; cin >> h >> w >> n >> d; int x[n], y[n]; map, int>mp; rep(i, n) { cin >> x[i] >> y[i]; x[i]--;y[i]--; mp[{x[i], y[i]}] = i+1; } //追加しない場合 dsu dd(n); rep(i, n) { for(int j = - d; j <= d; j++) { for(int k = -(d-abs(j)); k <= d-abs(j); k++) { int v = mp[{x[i]+j, y[i]+k}]; if(v > 0) { dd.merge(i, v-1); } } } } lint gr = 0; for(auto gg: dd.groups()) { if(gg.size() >= 2) gr++; } lint maxx = 0; lint minn = INF64; rep(ii, h) { rep(jj, w) { if(mp[{ii, jj}] > 0) continue; setS; for(int i = -d; i <= d; i++) { for(int j = -(d-abs(i)); j <= d-abs(i); j++) { int v = mp[{i+ii, j+jj}]; if(v > 0) { S.insert(dd.leader(v-1)); } } } if(S.size() == 0) { minn = min(minn, gr); maxx = max(maxx, gr); } else { lint t = gr; t++; for(auto v: S) { if(dd.size(v) > 1) t--; } minn=min(minn, t); maxx = max(maxx, t); } } } cout << minn << " " << maxx << endl; }