hihoCoder#1042 跑马圈地

原题地址

经网友jokeren提醒，后面给出的代码虽然可以AC原题，但存在bug，主要是在矩形覆盖情况的判断上处理的不够完全。

看似挺复杂的，但是仔细分析一下可以化简：

首先，不用枚举周长，因为更长的周长总是能够围成更大的面积，所以只要考虑如何在周长为L的前提下枚举面积就行了。

下图中，用蓝色线框表示跑马的路线，灰色矩形表示臭水塘。

假设可以穿越臭水塘，那么：圈地面积=蓝矩形面积 - 蓝矩形内部的灰色矩形面积。

现在不让穿越臭水塘，为了维持面积不变，就需要绕着臭水塘走：

注意：绕路以后，面积不变。

上面这个例子说明：不管你怎么跑马，圈出什么形状的地，都可以转化成一个蓝矩形和黑矩形覆盖的情况（当然如果二者不相交就更简单了）。

所以，不用去考虑圈地的形状，只需要枚举蓝矩形面积，然后减掉臭水塘的面积，就是圈地的面积。

上面的转化看上去很美好，但问题来了，虽然面积不变，但周长可能会变化。仔细分析，一共有这几种情况：

情况I：绕路以后，周长不变：

情况II：绕路以后，周长增加：

情况III：绕路以后，周长变小：

情况IV：矩形不相交，无变化：

情况V：蓝矩形覆盖灰矩形，无变化：

情况VI：这种情况是不合法的，遇到就直接跳过吧：

情况I、IV、V最好，直接计算即可

情况II不考虑，因为周长爆了，不满足周长等于L的条件

情况III也不考虑，因为当计算两个矩形不相交的时候会覆盖到这种情景。

所以，只需要考虑情况I、IV、V即可，是不是瞬间变简单了！

那如何判断是情况I、IV、V呢？

仔细观察，可以发现矩形的重叠情况跟灰矩形在蓝矩形内部的点的数量有关：

如果灰矩形在蓝矩形内部的顶点数分别对应了上面的几种情况。需要注意的是，顶点数为0实际上对应情况V和情况VI，但因为情况VI是非法的，所以这里需要额外判断一下。

代码：

 #include <iostream>

 using namespace std;

 int n, m, L;
 int l, r, t, b;

 int run_horse(int pl, int pr, int pt, int pb) {
   int ll = max(l, pl);
   int rr = min(r, pr);
   int tt = max(t, pt);
   int bb = min(b, pb);

   if (ll >= rr || tt >= bb)
     return (pr - pl) * (pb - pt);

   int inside = ;
   if (ll > pl && ll < pr && tt > pt && tt < pb)
     inside++;
   if (rr > pl && rr < pr && tt > pt && tt < pb)
     inside++;
   if (ll > pl && ll < pr && bb > pt && bb < pb)
     inside++;
   if (rr > pl && rr < pr && bb > pt && bb < pb)
     inside++;

   if (inside ==  || inside == )
     return (pr - pl) * (pb - pt) - (rr - ll) * (bb - tt);
   else
     return ;
 }

 int main() {
   int res = ;

   cin >> n >> m >> L;
   cin >> l >> r >> t >> b;

   for (int i = ; i < n; i++) {
     for (int j = ; j < m; j++) {
       int w = ;
       int h = (L -  * w) / ;
       while (w >  && h > ) {
         res = max(res, run_horse(j, min(m, j + w), i, min(n, i + h)));
         w++;
         h = (L -  * w) / ;
       }
     }
   }

   cout << res << endl;
 }