C - Sharing Chocolate （dp）_c++分巧克力-优快云博客

本文链接：https://blog.youkuaiyun.com/Lilylxl/article/details/80109939

这篇博客探讨了一道关于动态规划的C语言题目，即如何将巧克力分割成矩形块。博主分享了初次接触动态压缩DP的体验，以及一道具体的实例：给定巧克力的行数和列数及各部分尺寸，判断是否能进行分割。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

真的写的心好累啊。。
感觉脑子都不转了
好吧，生活还得继续。。
刚开始接触动态压缩DP

这个题的意思就是分割巧克力。
一个巧克力分成n块，并且这n块秀必须是矩形的，问是否可以分？
输入：
n
行列
a0 a1 a2…an

4
3 4
6 3 2 1
2

#include <iostream>
#include <bits/stdc++.h>
using namespace std;
const int N=17;
const int XY=110;
int n,x,y,w[N],sum[1<<N],visit[1<<N][XY];//sum保存如果将巧克力分成s，总共需要多少小块；
bool dp[1<<N][XY];//dp[s][x]保存将当前的巧克力按照s分，且巧克力的最短边为x,是否可以分

int count_bit(int s){//数s中1的个数
    if(s==0) return 0;
    return count_bit(s>>1)+(s&1);
} 
bool solve(int s,int x){
    if(visit[s][x]) return dp[s][x];
    visit[s][x]=1;
    if(count_bit(s)==1) return dp[s][x]=true;
    if(sum[s]%x) return dp[s][x]=false;
    int y=sum[s]/x;
    for(int s0=(s-1)&s;s0>0;s0=(s0-1)&s){
        int s1=s^s0;
        if(sum[s0]%x==0 && solve(s0,min(x,sum[s0]/x))&& solve(s1,min(x,sum[s1]/x))) return dp[s][x]=true;//x边不变，将y边掰开
        if(sum[s0]%y==0 && solve(s0,min(y,sum[s0]/y))&& solve(s1,min(y,sum[s1]/y))) return dp[s][x]=true;
    }
    return dp[s][x]=false;
} 
int main(){
    int t=1;
    while(~scanf("%d",&n) && n){
        cin>>x>>y;
        memset(sum,0,sizeof(sum));
        memset(visit,0,sizeof(visit));
        for(int i=0;i<n;i++){
            cin>>w[i];
        }
        for(int state=0;state<1<<n;state++){
            for(int i=0;i<n;i++){
                if(state&(1<<i)) sum[state]+=w[i];
            }
        }
        if(sum[(1<<n)-1]!=x*y) printf("Case %d: No\n",t);
        else if(solve((1<<n)-1,min(x,y))) printf("Case %d: Yes\n",t);
        else printf("Case %d: No\n",t);
        t++;
    }
    return 0;
}