[JZOJ 3051]【NOIP2012模拟10.25】单元格

Description
在一个R行C列的表格里，我们要选出3个不同的单元格。但要满足如下的两个条件：
（1）选中的任意两个单元格都不在同一行。
（2）选中的任意两个单元格都不在同一列。
假设我们选中的单元格分别是：A，B，C，那么我们定义这种选择的“费用”= f[A][B] + f[B][C] + f[C][A]。 其中f[A][B]是指单元格A到单元格B的距离，即两个单元格所在行编号的差的绝对值 + 两个单元格所在列编号的差的绝对值。例如：单元格A在第3行第2列，单元格B在第5行第1列，那么f[A][B] = |3-5| + |2-1| = 2 + 1 = 3。至于f[B][C], f[C][A]的意义也是同样的道理。现在你的任务是：有多少种不同的选择方案，使得“费用”不小于给定的数minT，而且不大于给定的数maxT，即“费用”在【minT, maxT】范围内有多少种不同的选择方案。答案模1000000007。所谓的两种不同方案是指：只要它们选中的单元格有一个不同，就认为是不同的方案。
Input
一行，4个整数，R、C、minT、maxT。3≤R,C≤4000, 1≤minT≤maxT≤20000。
Output
一个整数，表示不同的选择方案数量模1000000007后的结果。
Sample Input
4000 4000 4000 14000
Sample Output
859690013
Data Constraint
Hint
【数据范围】
对于30%的数据, 3 ≤ R, C ≤ 70。

The Solution

1、TLE方法，也是最裸最裸的方法。。。

发现对于三个点(x1,y1),(x2,y2),(x3,y3)，如果任意交换坐标费用不变，即如果换成(x2,y1)(x3,y2)(x1,y3)费用不变

所以题意=枚举3个横坐标和三个纵坐标，算合理的方案数

对于x1,x2,x3 , y1,y2,y3，
若有$x1<x2<x3 , y1<y2<y3$，
则方案的费用是$2(x3-x1)+2(y3-y1)$.

不妨令$x1<x2<x3 , y1<y2<y3$，则最后方案数乘6即为答案（很显然由排列组合易得 ）

枚举x1,y1,令$s=2(x1+y1)$则满足$minT<=2(x3-x1)+2(y3-y1)<=maxT$ 即
$\dfrac{minT+s}{2}<=x3+y3<=\dfrac{maxT+s}{2}$满足这个条件的（x3,y3）才可以。

则(x3,y3)对答案的更新即是(x2,y2)的个数，即$(x3-x1-1)*(y3-y1-1)$.

然后统计答案就好了，

这种做法的时间复杂度是O(n^4)的，显然TLE。。

2、正解 个人脑补的东西。。。

考场时就有想法，上面这些东东到底能不能优化呢？可不可以改成n^2的呢？

于是乎，拼命yy。。。

我们可以假设

(x1,y1)和(x3,y3)可以构成一个矩形。（别忘了，我们定$x1<x2<x3,y1<y2<y3$）

设矩形的长为x，宽为y。

它的费用是一定的就是上面推的
$2*(x3-x1)+2*(y3-y1)$

ta对答案的贡献也是一定的，即

$$(x3-x1-1)*(y3-y1-1)$$

这个矩形在r*c的网格中出现的次数也可以算出来的，ta出现了

$(r-x+1)*(c-y+1)$ 次。

那么我们可以枚举矩形的边长
在满足上述TLE方法合理的条件下，
用ans记录答案
答案便是贡献*矩形出现次数
最后别忘了ans*6了。

时间复杂度O(n^2)。o((>ω< ))o

CODE

#include <cstdio>
#include <iostream>
#define fo(i,a,b) for (int i=a;i<=b;i++)
#define LL long long 

using namespace std;

const int mo=1000000007;

int main()
{
    int R,C,MinT,MaxT;
    scanf("%d%d%d%d",&R,&C,&MinT,&MaxT);
    LL ans=0;
    fo(i,3,R)
        fo(j,3,C)
        {
            int x = 2 * (i + j - 2);
            if (x <= MaxT && x >= MinT) ans += (LL) (R - i + 1) * (C - j + 1) % mo * (i - 2) * (j - 2) % mo;
        }
   printf("%lld",ans*6%mo);
   return 0;
}