poj Jury Compromise

//首先检讨一下自己没有看见每个人的支持和反对度都不会大于20,这直接导致自己动规的状态无法定义,因为若f[i][j]表示前i个人,选出j个代表的最小值那么由于|P-D|绝对值的存在,子问题的最优性变得不在与此状态有关系;

//其实可以这样定义状态,,,,,, f[j][k]代表选取j个人,P-D的值为k的时候P+D的最大值(这里P,D 代表选取人的总和);

//如果注意到了上述问题,其实此题就不难了,,另一个可能存在的问题是在|P-D|绝对值处理上, 其实可以把状态*2 让状态有正有负,那么绝对值就可以去掉只用P-D表示了,,,计算完毕后只要在状态表中找最优值就可以了;

//状态转移方程为: f[j][k]=max｛f[j-1][k-V[i]]+S[i]｝,这里的i需要枚举,V是差,S是和,,注意dp转移都是在有条件的情况下的,这题转移的必要条件就是:选取的i 之前没有选取过

//我参考的是http://www.cppblog.com/mythit/archive/2009/06/23/88378.html

//最后还是要提醒自己注意读题不要拉条件,,这道不错的题目浪费怪可惜的了!

 

/*
ID:1192432
PROG: castle
LANG: C++
*/
#include <iostream>
#include <queue>
#include <stack>
#include <string>
#include <map>
#include <vector>
#include <cstring>
#include <cstdio>
#include <cmath>
#include <algorithm>
using namespace std;
const int MAX=20*20*2+5,MAXN=205,INF=1<<30;
int path[25][MAX],f[25][MAX];
int p[MAXN],d[MAXN],
    V[MAXN],S[MAXN];
vector<int> vec;
bool ok (int p1,int p2,int i){
    int num;
    while(p1){
        num=path[p1][p2];
        if(num==i)
            return 0;
        --p1;
        p2-=V[num];
    }
    return 1;
}

int main()
{
#ifndef ONLINE_JUDGE
    freopen("i.txt", "r", stdin);
#endif
    int n,m,base,
        minVal,val,sign;
    int ans1,ans2,num,testCase=1;
    while(scanf("%d%d",&n,&m)==2){
        if(!n&&!m)
            break;

        base=20*m;
        memset(f,-1,sizeof(f));
        for(int i=1;i<=n;i++){
            scanf("%d%d",&p[i],&d[i]);
            V[i]=p[i]-d[i];
            S[i]=p[i]+d[i];
        }

        f[0][base]=0;

        for(int j=1;j<=m;j++){
            for(int k=0;k<=2*base;k++){
                for(int i=1;i<=n;i++){
                    if((k-V[i])>=0&&ok(j-1,k-V[i],i)&&
                        f[j-1][k-V[i]]!=-1&&f[j-1][k-V[i]]+S[i]>f[j][k]){
                        f[j][k]=f[j-1][k-V[i]]+S[i];
                        path[j][k]=i;
                    }
                }
            }
        }

        minVal=INF;val=INF;
        for(int k=0;k<=2*base;k++){
            if(f[m][k]!=-1){
                if(k<base){
                    if(base-k<minVal){
                        minVal=base-k;
                        sign=k;
                        val=f[m][k];
                    }
                    else if(base-k==minVal&&val<f[m][k]){
                        sign=k;
                        val=f[m][k];
                    }
                }
                else{
                    if(k-base<minVal){
                        minVal=k-base;
                        sign=k;
                    }
                    else if(k-base==minVal&&val<f[m][k]){
                        sign=k;
                        val=f[m][k];
                    }
                }
            }
        }

        vec.clear();
        ans1=ans2=0;
        while(m){
            num=path[m][sign];
            ans1+=p[num];
            ans2+=d[num];
            vec.push_back(num);
            --m;
            sign-=V[num];
        }
        printf("Jury #%d\n",testCase++);
        printf("Best jury has value %d for prosecution and value %d for defence:\n",
               ans1,ans2);
        sort(vec.begin(),vec.end());
        for(int i=0;i<(int)vec.size();i++)
            printf(" %d",vec[i]);
        printf("\n");
    }

    return 0;
}