100道动态规划11——UVA 10817 Headmaster's Headache 刷表法 小小的位运算

居然1A！难以置信。。。可喜可贺，再接再厉。。。

定义状态dp[i][s][s0]，其中s表示已经有一个人教的课程集合，s0表示已经有两个人教的课程的集合，状态就是前i个人，s，s0的所用资金的最小值

由于我用的是刷表法，是要根据dp[i][s][s0]去更新可以更新到的地方，teach[i]表示第i个人可以教的课程的集合，cost[i]表示第i个人的代价

对于i,s,s0来说

dp[i+1][s][s0]=min(dp[i][s][s0],dp[i+1][s][s0])，这是第一个式子

dp[i+1][s^teach[i]][s0|(s&teach[i])]=min(dp[i+1][s^teach[i]][s0|(s&teach[i])]，dp[i][s][s0]+cost[i])，这是主要的状态转移方程

PS:我觉得第一维可以优化掉，然后就可以去掉第一个式子。

(注：刚刚在吃饭的时候想了一下，发现第一维应该是不能优化掉的，01背包可以这样优化的原因是它的状态转移方程式只依赖于前面的，因此只需要倒着更新就可以了，但是我这儿是刷表。。而且我感觉不是刷表用递推的话也是有点麻烦的。。，因为你做异或之后可能需要在你后面的状态。)

s^teach[i]之后就是剩下的一个人教的课程的集合，s&teach[i]表示新增加的两个人的课程的集合，s0|(s&teach[i])就是新的两个人课程的集合了。

至于强制选老师的做法，那就是把前m个人的cost都故意算做0，最后的时候再+上来。

#include <cstdio>
#include <cstring>
#include <iostream>

using namespace std;

int n,m,s,cost[125],teach[125],te,dp[125][1<<8][1<<8],limi,ans;
char c;

int main(){
	ios_base::sync_with_stdio(false);
	while(cin>>s>>m>>n&&s){
		cin.get();
		for(int i=0;i<m+n;++i){
			cin>>cost[i];
			while(cin.get(c)&&c!='\n')
				cin>>te,teach[i]|=(1<<(te-1));
		}
		te=0;
		for(int i=0;i<m;++i)
			te+=cost[i],cost[i]=0;
		for(int i=0;i<s;++i)
			limi|=(1<<i);

		for(int i=0;i<=m+n;++i)
			memset(dp[i],0x3f,sizeof dp[i]);

		dp[0][0][0]=0;
		for(int i=0;i<m+n;++i)
		for(int s=0;s<=limi;++s)
		for(int s0=0;s0<=limi;++s0)
			dp[i+1][s][s0]=min(dp[i+1][s][s0],dp[i][s][s0]),dp[i+1][s^teach[i]][s0|(s&teach[i])]=min(dp[i+1][s^teach[i]][s0|(s&teach[i])],dp[i][s][s0]+cost[i]);

		ans=0x3f3f3f3f;
		for(int s=0;s<=limi;++s)
			ans=min(ans,dp[m+n][s][limi]);
		cout<<te+ans<<endl;
		memset(teach,0,sizeof teach);
		limi=0;
	}
	return 0;
}