蛋糕划分（二维前缀和，二分，位运算）

码题集OJ-蛋糕划分 (matiji.net)

第一想法是dfs，但是dfs枚举当前位置切与不切，以及每次枚举都要进行计算当前枚举的的蛋糕的最重的蛋糕块，时间复杂度可以达到会TLE,所以考虑使用二分。

具体思路可以参见代码注释。

#include<iostream>
#include<vector>
using namespace std;
const int N=20;
int arr[N][N];
int n,k;
//二维前缀和，sum[i][j]是arr[0][0]到arr[i][j]之间所有元素的和
int sum[N][N];
int cul(int top,int down,int left,int right) {
	return sum[down][right]-sum[top-1][right]-sum[down][left-1]+sum[top-1][left-1];
}
//检查是否在刀数在k内切出的蛋糕的最大重量不大于m;
bool check(int m) {
	//以位运算来枚举横切方案
	for(int i=0; i<1<<n-1; i++) {
		int cur=i;
		int idx=0;
		vector<int>rows;
		while(cur) {
			idx++;
			if(cur&1) {
				rows.push_back(idx);
			}
			cur>>=1;
		}
		if(rows.size()>k)continue;
		rows.push_back(n);
		bool flag=true;
		//起码竖切第一刀包含第一列，如果不切可以理解为切的是整块蛋糕，即是在末尾处切了一刀，right不能小于left(1)
		int left=1,right=1;
		vector<int>cols;
		//枚举接下来的竖切
		while(right<=n) {
			//curMaxRight代表枚举的每一次竖切right能达到的最大值，代表每一块能达到的right最大值中的最小值，初始为最大;
			int curMaxRight=n;
			//枚举竖切之后当前横切的位置，确定right，即下一次竖切的位置
			for(int rowIndex=0,top,down=0; rowIndex<rows.size(); rowIndex++) {
				top=down+1,down=rows[rowIndex];
				//right一直递增直到取到了不该取的地方
				while(right<=curMaxRight&&cul(top,down,left,right)<=m) {
					right++;
				}
				//right--代表right可以取到的值，自减之后肯定要大于left，不然就低于下界了。
				right--;
				if(left>right) {
					flag=false;
					//此时枚举的横切方案不可能达到条件，赋值right为了跳出while循环，枚举下一次横切方案。
					right=n;
					break;
				}
				//短板效应，取当前横切方案中每一块最大right的最小值
				//应该是curMaxRight=min(curMaxRight,right),因为right在循环中一定<curMaxRight
				//所以直接curMaxRight=right
				curMaxRight=right;
				right=left;
			}
			cols.push_back(curMaxRight);
			left=right=curMaxRight+1;
		}
		//因为rows和cols中都多加了一个n，所以删去之后和k比较
		if(flag&&rows.size()+cols.size()-2<=k) {
			return true;
		}
	}
	return false;
}
int main(void) {
	scanf("%d%d",&n,&k);
	for(int i=1; i<=n; i++) {
		for(int j=1; j<=n; j++) {
			scanf("%d",&arr[i][j]);
			sum[i][j]=sum[i-1][j]+sum[i][j-1]-sum[i-1][j-1]+arr[i][j];
		}
	}
	//二分查找，如果此时的mid使存在一种切法使蛋糕切成的块的重量都小于mid，那么考虑是否可以mid取更小，使其仍然成立。
	int l=0,r=225000;
	while(l<r) {
		int mid=l+r>>1;
		if(check(mid)) {
			r=mid;
		} else {
			l=mid+1;
		}
	}
	printf("%d",r);
	return 0;
}

这段代码是一个切割蛋糕的问题，其中蛋糕被表示为一个二维数组，每个元素代表蛋糕的一部分。目标是找到一种切割方案，使得切割出的蛋糕块的数量不超过k，并且每块蛋糕的重量最大不超过m。

代码的主要思路是使用二维前缀和来快速计算蛋糕子矩阵的重量，并使用位运算枚举所有可能的横切方案。对于每一种横切方案，代码使用动态规划来确定竖切的位置，以最大化每块蛋糕的重量。

代码中的check函数用于检查是否存在一种切割方案，使得蛋糕的每块重量都不超过m。如果存在这样的切割方案，函数返回true，否则返回false。

在主函数中，代码使用二分查找来确定最小的m值，使得存在一种切割方案满足条件。最后，代码输出最小的m值。