相当巧妙的解法（考虑到正常人看代码想半天可能也不知道为啥，特发此篇）

思路

注意到$H,W\leq3000$，暴力枚举每一个点，定义状态$f_{i,j}$为以$(i,j)$为右下角的没有洞正方形的数量，转移方程如下：

为啥了？

这一个$+1$很好理解，就是他自己一个点。前面的$min$一大串其实就是他左上方最大的没有洞正方形。不难发现$f_{i,j}$也表示一个点左上角最大没有洞正方形的边长，给一个点的左上，左，右的$f$取最小值，就是这个点左上方的最大没有洞正方形。

AC代码

#include<bits/stdc++.h>
using namespace std;
const int N=3100;
int n,m,k,a[N][N];
long long f[N][N],ans;
int main()
{
	scanf("%d%d%d",&n,&m,&k);
	for(int i=1,x,y;i<=k;i++)
	{
		scanf("%d%d",&x,&y);
		a[x][y]=1;
	}
	for(int i=1;i<=n;i++)for(int j=1;j<=m;j++)
	{
		if(a[i][j])continue;
		f[i][j]=min({f[i-1][j-1],f[i-1][j],f[i][j-1]})+1;
		ans+=f[i][j];
	}
	printf("%lld\n",ans);
	return 0;
}

代码好短~~~