[jzoj 2679] 跨时代 {暴力状压+背包}

题目

Description
钟逆时针而绕，恶物狰狞的倾巢，我谦卑安静地于城堡下的晚祷，压抑远古流窜的蛮荒暗号，而管风琴键高傲的说，那只是在徒劳。我的乐器在环绕，时代无法淘汰我霸气的皇朝。 你无法预言，因为我越险，翅越艳；没有句点，跨时代蔓延，翼朝天。 月下浮雕，魔鬼的浅笑，狼迎风嚎，蝠翔似黑潮，用孤独去调尊严的色调。我跨越过世代，如兽般的姿态，琴声唤起沉睡的血脉。不需要被崇拜，如兽般的悲哀，只为永恒的乐曲存在，醒过来。 去年万众瞩目的《跨时代》专辑发行之后，周杰伦又开始了他的世界巡回演唱会《超时代》。有人说过：如果你喜欢一个人，那你一定要去看一场他的演唱会；电视机前的1m距离和在演唱会现场哪怕100m的距离，两种感觉都是截然不同的。
所以小G作为铁杆歌迷，也计划带着小Y去看周杰伦的演唱会。 演唱会当然要圈出一个空地，然后才能布置道具。 演唱会的第一站，公司临时跟当地的消防局借了n个栏杆，打算用这n个栏杆围出一个矩形。而麻烦的是，这些栏杆有长有短，这就给围场地带来了一些难度。 所以公司聘请你来写一个程序，计算用这n个栏杆做多围出面积多大的矩形。
（注：必须要刚好围成一个矩形，即不能出现多余的边长，且不能切断栏杆，但所给栏杆不一定要全部用上）

Input
第一行一个正整数n，表示栏杆的数量。
第二行n个正整数，表示每根栏杆的长度li。

Output
仅一行一个正整数，表示用给出的栏杆围成最大矩形的面积，如果不能围成矩形，输出”No Solution”（不包含引号）。

---

解题思路

这道题目可以用折半搜索做，就是先搜一半的木棍，然后对剩下的一个木棍进行哈希或者是二分查找，效率较高。

我们也可以考虑以下做法：
如果一条边$\frac{n}{2}$是可以被组合成的，那么$n$肯定也可以被组合成，也就是说只要$n$是合法的，那么以$\frac{n}{2}$为长（或宽）的矩形存在。
所以我们枚举所有情况， 保留木棍总长度为偶数的，然后用背包判断是否可以组合成$\frac{n}{2}$。
接着$dfs$长和宽即可。

以上均可用xxy的：

1. 减少搜索层数（折半搜索）
2. 减少决策选择

---

代码

#include<cstdio>
#include<algorithm>
#include<cstring>
#define rep(i,x,y) for (register int i=x;i<=y;i++)
using namespace std;
int n,a[17],ans,sum; bool g[1<<17],f[3001];   
void dfs(int x,int q,int w,int e,int r){
	if (x==n) {
		if(g[q]&&g[e]) ans=max(ans,w*r/4); 
		return; 
	}
	dfs(x+1,q,w,e,r); 
	dfs(x+1,q|(1<<x),w+a[x+1],e,r); 
	dfs(x+1,q,w,e|(1<<x),r+a[x+1]); 
}
int main(){
	scanf("%d",&n);
	rep(i,1,n) scanf("%d",&a[i]); 
	rep(i,1,(1<<n)-1){
		sum=0; 
		rep(j,1,n) if ((i>>(j-1))&1) sum+=a[j]; 
		if (sum&1) continue; 
		memset(f,0,sizeof(f)); 
		f[0]=1; 
		rep(j,1,n) if ((i>>(j-1))&1){
		 for(int k=sum;k>=a[j];k--)
		  f[k]|=f[k-a[j]]; 	
		}
		if (f[sum>>1]) g[i]=true; 
	}
	dfs(0,0,0,0,0); 
	if (!ans) printf("No Solution"); else printf("%d",ans); 
}