#include using namespace std; struct UnionFind { int n; vector par, siz; UnionFind(int n_) : n(n_), par(n_, -1), siz(n_, 1) {} int leader(int x) { if (par[x] == -1) { return x; } else { return par[x] = leader(par[x]); } } bool same(int x, int y) { return leader(x) == leader(y); } bool merge(int x, int y) { x = leader(x); y = leader(y); if (x == y) { return false; } if (siz[x] < siz[y]) { swap(x, y); } par[y] = x; siz[x] += siz[y]; return true; } int size(int x) { return siz[leader(x)]; } vector> groups() { vector> member(n); for (int i = 0; i < n; i++) { member[leader(i)].push_back(i); } vector> result; for (int i = 0; i < n; i++) { if (member[i].size() > 0) { result.push_back(member[i]); } } return result; } }; int main() { int h, w, n, d; cin >> h >> w >> n >> d; vector x(n), y(n); map, int> mp; for (int i = 0; i < n; i++) { cin >> x[i] >> y[i]; x[i]--; y[i]--; mp[{x[i], y[i]}] = i + 1; } UnionFind uf(h * w); for (int i = 0; i < n; i++) { int a = x[i], b = y[i]; for (int j = -d; j <= d; j++) { for (int k = -d; k <= d; k++) { if (abs(j) + abs(k) > d) { continue; } int na = a + j, nb = b + k; int id = mp[{na, nb}]; if (id > 0) { uf.merge(w * a + b, w * na + nb); } } } } set s; for (int i = 0; i < h * w; i++) { int ld = uf.leader(i); if (uf.size(ld) >= 2) { s.insert(ld); } } int sz = s.size(); //周りにある星座の種類数 int mx = 0, mn = 2000000000; for (int i = 0; i < h; i++) { for (int j = 0; j < w; j++) { if (mp[{i, j}] > 0) { continue; } int now = sz; bool seiza = false, one = false; for (int k = -d; k <= d; k++) { for (int l = -d; l <= d; l++) { if (abs(k) + abs(l) > d) { continue; } int ni = i + k, nj = j + l; int id = mp[{ni, nj}]; if (id > 0) { int si = x[id - 1], sj = y[id - 1]; if (uf.size(uf.leader(w * si + sj)) >= 2) { seiza = true; } else { one = true; } } } } if (seiza) { now = max(1, now - 1); } else if (one) { now++; } mx = max(mx, now); mn = min(mn, now); } } cout << mn << " " << mx << endl; }