状态压缩DP

Description

马上假期就要结束了，zjm还有 n 个作业，完成某个作业需要一定的时间，而且每个作业有一个截止时间，若超过截止时间，一天就要扣一分。
zjm想知道如何安排做作业，使得扣的分数最少。
Tips: 如果开始做某个作业，就必须把这个作业做完了，才能做下一个作业。
Input
有多组测试数据。第一行一个整数表示测试数据的组数
第一行一个整数 n(1<=n<=15)
接下来n行，每行一个字符串(长度不超过100) S 表示任务的名称和两个整数 D 和 C，分别表示任务的截止时间和完成任务需要的天数。
这 n 个任务是按照字符串的字典序从小到大给出。
Output
每组测试数据，输出最少扣的分数，并输出完成作业的方案，如果有多个方案，输出字典序最小的一个。
Sample Input

2
3
Computer 3 3
English 20 1
Math 3 2
3
Computer 3 3
English 6 3
Math 6 3

Sample Output

2
Computer
Math
English
3
Computer
English
Math

Hint
在第二个样例中，按照 Computer->English->Math 和 Computer->Math->English 的顺序完成作业，所扣的分数都是 3，由于 English 的字典序比 Math 小，故输出前一种方案。

思路:

集合上的DP问题。也就是状态压缩DP。

用二进制位表示做作业的顺序。总bit=1<<15。

对于状态i，枚举当前的作业j，如果i&(1<<(j-1))，则表示当前状态含有作业j。

t=(1<<(j-1))，还原出还没做j作业之前的状态，现在就有now和pre两个状态了。

计算pre状态下做j作业的扣分情况，+c[j]-d[j]，没过期得到负数改为0。

dp转移时顺便记录下当前状态的日期，以及状态i做的是哪个作业j。

注意：因为题目要求是输出字典序小的方案，所以应该倒序循环当前作业j。

这里把思路倒一下，记录的是当前的作业，也就是后做的作业，如果正序循环，则表示先做字典序大的作业，后做字典序小的作业。

正好和题目要求相反了。

最后dp[bit-1]就是结果。

递归打印方案，从bit-1开始，每次个(1<<j)，递归终点则还原出一开始做的作业，输出即可。

代码:

#include <algorithm>
#include <cstdio>
using namespace std;
const int inf = 0x7fffff;
const int maxn = 18;
const int maxm =(1<<15)+5;
int n;
int D[maxn],C[maxn],dp[maxm],pre[maxm],t[maxm];
char s[maxn][105];


void print(int x)
{
    if(!x) return ;
    print(x-(1<<pre[x]));
    printf("%s\n",s[pre[x]]);
}


int main()
{
    int T;
    scanf("%d",&T);
    while (T--)
    {
        scanf("%d",&n);
        for(int i=0;i<n;i++)
            scanf("%s %d %d",&s[i],&D[i],&C[i]);
        for(int i=1;i<(1<<n);i++)
        {
            dp[i]=inf;
            for(int j=n-1;j>=0;j--)
            {
                int tmp=1<<j;
                if(!(i&tmp))    continue;
                int score=t[i-tmp]+C[j]-D[j];
                if(score<0)score=0;
                if(dp[i]>dp[i-tmp]+score)
                {
                    dp[i]=dp[i-tmp]+score;
                    t[i]=t[i-tmp]+C[j];
                    pre[i]=j;
                }
            }
        }
        printf("%d\n",dp[(1<<n)-1]);
        print((1<<n)-1);
    }
    return 0;
}