HDU 1069 Monkey and Banana

传送门

最大递减（广义的递减）子序列和，需要转化。
有n种方块，每种方块都有自己的长宽高，每种方块有无限个，每个方块都可以任意摆放，现在让你用方块摞一个塔，对于每上下相邻的方块，下面方块的底面都要完全覆盖（不能正好相等）上面方块的底面，求最大能摞多高。

先看题目给的条件，首先，底面完全覆盖和面积更大是不一样的，前者更严。也就是底面的两个维度都要更大。又说方块可以任意摆放，可以想到每个方块都有6种不同的长宽高排列。
所以将数组扩充6倍，再按照长宽的字典序（降序）排序一下（其实不用整什么字典序，只要按照长的递减序就可以了（或者宽）），然后套用LIS就可以了。

其实可以想到，(a,b,c)和(b,a,c)一定不会相互摞，那为什么还要都存储？因为如果只存储一个的话，那么底面的这两个维度的比较就不是单一对应了，也就没办法定义预排序规则了（sort的cmp函数）。
（其实，(a,b,c)和(b,a,c)在序列中的子问题（基于自身为塔尖）的答案是一样的）

（4月24日补充）不是单一对应是指，你的cmp要定义成x>c.x || y>c.x了，但这绝不是一个合法的排序规则，排序规则必须满足对a->b和b->a的判断结果相反（实际上，定义排序函数千万不要想这些花哨的，就一个对应变量的比较就完事了，或者再加上相等情况的额外排序）。同理，也不可能直接写成x>c.x && y>c.y或(x>c.x && y>c.y) || (x>c.y && y>c.x)。

这样，问题可以转化为在此序列中找一个最大的按照一定顺序的子序列和（对高求和），这个一定顺序就是在这个子序列中，长宽都要分别对应严格递减。

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <vector>
#include <cstring>
#include <string>
#include <queue>
using namespace std;           // 扩充6倍，然后排序，可断言任何一个解都是此序列的 递减子序列，在其中找最大罢了

struct Cube
{
	int x, y, z;
	bool operator<(const Cube& c) const
	{
		if (x != c.x) return x > c.x;
		return y > c.y;
	}
};
vector<Cube> v;
int N;
int sum[30 * 6];
int ans;

void init()
{
	v.clear();
	ans = 0;
}

int main()
{
	int a, b, c;
	for (int cnt = 1; ~scanf("%d", &N); cnt++)
	{
		if (N == 0) break;
		init();
		for (int i = 0; i < N; i++)
		{
			scanf("%d%d%d", &a, &b, &c);
			v.push_back(Cube{ a,b,c });
			v.push_back(Cube{ a,c,b });
			v.push_back(Cube{ b,a,c });
			v.push_back(Cube{ b,c,a });
			v.push_back(Cube{ c,a,b });
			v.push_back(Cube{ c,b,a });
		}

		sort(v.begin(), v.end());
		for (int i = 0; i < 6 * N; i++)
		{
			sum[i] = v[i].z;
			int t = 0;
			for (int j = 0; j < i; j++)
				if (v[j].x > v[i].x && v[j].y > v[i].y)
					t = max(t, sum[j]);
			sum[i] += t;
			ans = max(ans, sum[i]);              // 可以提前到这里，反正该子问题已经计算完毕。其实，可以拿v[].z来存储sum
		}
		printf("Case %d: maximum height = %d\n", cnt, ans);
	}

	return 0;
}