bzoj 3810: [Coci2015]Stanovi 动态规划

题意

n,m<=300

分析

这题有个结论就是如果一定要靠墙的话，那么一个矩形一定会被横着或竖着切成两个。
这个结论看上去感觉不是那么的显然，我也不会严格的证明。反正能过。。。
那么就可以大力dp了。设f[x,y,a,b,c,d]表示长宽以及上下左右是否为边界即可。
需要卡常。

代码

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

typedef long long LL;

const int N=305;
const LL inf=(LL)1e15;

int n,m,k;
LL f[N][N][2][2][2][2];

LL sqr(int x)
{
    return (LL)x*x;
}

void updata(LL &x,LL y)
{
    x=y<x?y:x;
}

LL solve(int x,int y,int a,int b,int c,int d)
{
    if (x>y) swap(x,y),swap(a,c),swap(b,d);
    if (f[x][y][a][b][c][d]>-1) return f[x][y][a][b][c][d];
    if (a+b+c+d==0) return inf;
    f[x][y][a][b][c][d]=sqr(k-x*y);
    if (a+c+d>0&&b+c+d>0)
        for (int i=1;i<=x;i++)
            updata(f[x][y][a][b][c][d],solve(i,y,0,a,c,d)+solve(x-i,y,0,b,c,d));
    if (c+a+b>0&&d+a+b>0)
        for (int i=1;i<=y;i++)
            updata(f[x][y][a][b][c][d],solve(x,i,a,b,0,c)+solve(x,y-i,a,b,0,d));
    return f[x][y][a][b][c][d];
}

int main()
{
    scanf("%d%d%d",&n,&m,&k);
    memset(f,-1,sizeof(f));
    printf("%lld",solve(n,m,1,1,1,1));
    return 0;
}