CF279D The Minimum Number of Variables

一、题目

题目描述

有$n$个数$a_i$，还有$m$个容器，第一步把$a_1$赋值给某一个容器，然后每一步的赋值操作就是选两个容器的和赋值给一个容器（随便选，不要求容器不同，但求和容器必须有值），第$i$步赋值操作的返回值必须等于$a_i$（从$2$开始算），求$m$的最小值，没有这样的$m$输出$-1$。

数据范围

$n\le 23$，$1\le a_i\le 1e9$

二、解法

这个数据范围很容易联想到状态压缩吧，我们设$dp[s]$为我们把当前状态$a_i$一定出现在容器里的为$1$，不一定在容器里的为$0$，那么最终需要状态为$dp[2^n]$，也就是$a_n$一定在容器里，初始化$dp[2^1]$为$1$，一开始$a_1$一定在容器里（具体实现时需要从$0$开始存）

考虑转移，我们现在需要凑出$i$，那么我们枚举$i$之前的两个数（$i$之后的不可能出现），这两个数的和为$i$，然后我们把当前状态去掉$i$这一位之后添加上枚举的两个数的位置继续搜索，得到返回值之后我们和当前状态的容器数（也就是$1$的个数）取一个最大值然后更新答案即可。

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
const int M = 23;
int read()
{
    int x=0,flag=1;
    char c;
    while((c=getchar())<'0' || c>'9') if(c=='-') flag=-1;
    while(c>='0' && c<='9') x=(x<<3)+(x<<1)+(c^48),c=getchar();
    return x*flag;
}
int n,a[M],dp[1<<M];
int dfs(int x,int p)
{
    if(dp[x]) return dp[x];
    int c=__builtin_popcount(x),res=25;
    for(int i=0;i<p;i++)
        for(int j=0;j<=i;j++)
            if(a[i]+a[j]==a[p])
            {
                int t=dfs((x&~(1<<p))|(1<<p-1)|(1<<i)|(1<<j),p-1);
                res=min(res,max(t,c));
            }
    return dp[x]=res;
}
int main()
{
    n=read();
    for(int i=0;i<n;i++)
        a[i]=read();
    dp[1]=1;
    int t=dfs(1<<(n-1),n-1);
    if(t==25) puts("-1");
    else printf("%d\n",t);
}