HDU 1052（贪心 田忌赛马）

题目链接：hdu 1052

题目大意

田忌和齐王赛马，各自有n匹马，每匹马有一个能力值，能力值大的获胜，赢一局得200分输一局-200分平局得0分.问田忌最多得到多少分？

分析

根据题意很容易想到二分图匹配，将每一组田忌比齐王大的连上一条边，这样通过二分图匹配可以求得田忌最多胜多少局。但仔细想了之后发现平局的情况会比较难以处理。

这是一道贪心题，只是需要花些功夫来证明贪心策略的正确性，一开始的策略想复杂了（田忌的每匹马去赢它刚好能够赢的齐王的马，出一看没什么问题，具体做的时候会发现细节还是很难处理）

看了网上很多博客发现基本都没去证明其中一个策略的正确性（贪心题你不证明清楚这不是耍流氓吗），后来培训的时候还一知半解地还给大一把这道题地证明讲了，问听懂没有，回答听懂了（我也是醉了，我自己都没懂我是怎么把他们讲懂的？）后来仔细想了很久总算搞懂了。

现在来详细分析一下这道题的解题思路：

这里用T来表示田忌的马，Q来表示齐王的马
先分类
①$T_小<Q_小:$说明$T_小比Q的任何一只都小$，无论这样都是输，要输的最有价值，用$T_小去把齐王最大的Q_大拖下水$
②$T_小>Q_小:$齐王最小的马无论和田忌哪匹马比都是输，田忌肯定是选择用他最小的马去比。
③$T_小=Q_小$这个时候情况就要复杂一点了，再分为三种情况：
$a$:$T_大>Q_大$用$T_大去和Q_大比$最有价值
$b$:$T_大<Q_大：，Q_大无论和田忌哪匹马比都赢，那就拿田忌最小的去把Q_大拖下水最划算$
$c$:$T_大=Q_大：$这是这道题的关键了，先说结论:这个时候也是用田忌最小的马去和齐王最大的马比最划算。别的博客里都是一笔带过，难道这是显而易见的吗？

现在我们要证明在$T_小=Q_小且T_大=Q_大$的情况下$(T_小，Q_大)是比(T_大，Q_大)更优的选择$
我们先画出分别做出这两个选择后的局面：

假设第一种局面得到的结果是$ans_1$第二种是$ans_2$，我们要证明的是$ans_1 \ge ans_2+1$(因为我们到达局面一是输了一局，而到局面二是平的)

此时，最终$T_小$只有两种情况，要么和$Q_小$去平要么输给齐王的匹马：

1.如果$T_小$是和$Q_小$平，我们可以通过在局面二引入$T_大$，让$T_大$去赢$Q_小$，然后删掉$T_小$此时的局面就是局面一，$ans_1 = ans_2+1$
2.如果$T_小$是输给齐王的某匹马，我们可以通过在局面二引入$T_大$，让$T_大$去赢这匹马，然后删掉$T_小$此时的局面就是局面一，$ans_1 >ans_2+1$(因为撤销了一场输掉的比赛，增加了一场赢的比赛)

这样我们就证明了$ans_1 \ge ans_2+1$
所以我觉得这个证明过程不是显而易见的啊！！！

代码

#include<cstdio>
#include<iostream>
#include<cmath>
#include<cstring>
#include<cstdlib>
#include<queue>
#include<algorithm>
using namespace std;
int n;
int ans;
int T[1005];
int K[1005];
int main()
{
    while(scanf("%d",&n)!=EOF && n)
    {
          for(int i=1;i<=n;i++)scanf("%d",&T[i]);
          for(int i=1;i<=n;i++)scanf("%d",&K[i]);
          sort(T+1,T+n+1);
          sort(K+1,K+n+1);
          int win=0,lose=0;
          int t_low=1,t_fast=n;
          int k_low=1,k_fast=n;
          while(t_low <= t_fast )
          {
                if(T[t_low] < K[k_low])
                {
                      lose++;
                      t_low++;
                      k_fast--;
                }
                else if(T[t_low] > K[k_low])
                {
                      win++;
                      t_low++;
                      k_low++;
                }
                else
                {
                      if(T[t_fast] > K[k_fast])
                      {
                            t_fast--;
                            k_fast--;
                            win++;
                      }
                      else
                      {
                            if(T[t_low]<K[k_fast])lose++;
                            t_low++;
                            k_fast--;
                      }
                }
          }
          printf("%d\n",200*(win-lose));
    }
    return 0;
}