[codevs1022]覆盖

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cctype>
#include <algorithm>
using namespace std;

int read() {
	int x = 0, f = 1; char c = getchar();
	while(!isdigit(c)){ if(c == ‘-‘) f = -1; c = getchar(); }
	while(isdigit(c)){ x = x * 10 + c - ‘0‘; c = getchar(); }
	return x * f;
}

#define maxn 10010
#define maxm 160010
#define oo 2147483647
struct Edge {
	int from, to, flow;
	Edge() {}
	Edge(int _1, int _2, int _3): from(_1), to(_2), flow(_3) {}
} ;
struct Dinic {
	int n, m, s, t, head[maxn], next[maxm];
	Edge es[maxm];
	int hd, tl, Q[maxn], vis[maxn];
	int cur[maxn];
	void init(int nn) {
		n = nn; m = 0;
		memset(head, -1, sizeof(head));
		return ;
	}
	void AddEdge(int a, int b, int c) {
		es[m] = Edge(a, b, c); next[m] = head[a]; head[a] = m++;
		return ;
	}
	bool BFS() {
		memset(vis, 0, sizeof(vis)); vis[s] = 1;
		hd = tl = 0; Q[++tl] = s;
		while(hd < tl) {
			int u = Q[++hd];
			for(int i = head[u]; i != -1; i = next[i]) {
				Edge& e = es[i];
				if(!vis[e.to] && e.flow) {
					vis[e.to] = vis[u] + 1;
					Q[++tl] = e.to;
				}
			}
		}
		return vis[t] > 1;
	}
	int DFS(int u, int a) {
		if(u == t || !a) return a;
		int flow = 0, f;
		for(int& i = cur[u]; i != -1; i = next[i]) {
			Edge& e = es[i];
			if(vis[e.to] == vis[u] + 1 && (f = DFS(e.to, min(a, e.flow)))) {
				flow += f; a -= f;
				e.flow -= f; es[i^1].flow += f;
				if(!a) return flow;
			}
		}
		return flow;
	}
	int MaxFlow(int ss, int tt) {
		s = ss; t = tt;
		int flow = 0;
		while(BFS()) {
			for(int i = 1; i <= n; i++) cur[i] = head[i];
			flow += DFS(s, oo);
		}
		return flow;
	}
} sol;

#define maxs 110
bool Map[maxs][maxs];

int main() {
	int n = read(), m = read(), k = read();
	sol.init(n * m + 2); int s = n * m + 1, t = s + 1;
	for(int i = 1; i <= k; i++) {
		int a = read() - 1, b = read() - 1;
		Map[a][b] = 1;
	}
	
	for(int i = 0; i < n; i++)
		for(int j = 0; j < m - 1; j++) if(!Map[i][j] && !Map[i][j+1]) {
			int id = i * m + j + 1, rid = i * m + j + 2;
			sol.AddEdge(id, rid, 1); sol.AddEdge(rid, id, 1);
		}
	for(int i = 0; i < n - 1; i++)
		for(int j = 0; j < m; j++) if(!Map[i][j] && !Map[i+1][j]) {
			int id = i * m + j + 1, did = (i+1) * m + j + 1;
			sol.AddEdge(id, did, 1); sol.AddEdge(did, id, 1);
		}
	for(int i = 0; i < n; i++)
		for(int j = 0; j < m; j++) if(!Map[i][j]) {
			int id = i * m + j + 1;
			if((i & 1) ^ (j & 1)) sol.AddEdge(s, id, 1), sol.AddEdge(id, s, 0);
			else sol.AddEdge(id, t, 1), sol.AddEdge(t, id, 0);
		}
	
	printf("%d\n", sol.MaxFlow(s, t));
	
	return 0;
}