田忌赛马——贪心正确性证明

11.break;
12.
13.int*tian =newint[n];
14.int*king =newint[n];
15.
16.for(i = 0; i < n; i++)
17.scanf("%d", &tian[i]);
18.for(i = 0; i < n; i++)
19.scanf("%d", &king[i]);
for (int i = 0; i < n; i++)
scanf("%d", &king[i]);
sort(tian, n);
sort(king, n);
int st = 0;
int sk = 0;
int et = n-1;
int ek = n-1;
int mon = 0;
for (int i = 0; i < n; i++)
3.当田忌最慢的和齐王最慢的马慢相等时，分4和5讨论。
4.当田忌最快的马比齐王最快的马快时，赢一场先。因为最快的马的用途就是来赢别人快的马，别人慢的马什么马都能赢。
5.当田忌最快的马比齐王最快的马慢时，拿最慢的马和齐王最快的马比，输一场，因为反正要输一场，不如拿最没用的马输。
6.当田忌最快的马和齐王最快的马相等时，这就要展开讨论了,贪心方法是，拿最慢的马来和齐王最快的马比.
前面的证明像公理样的，大家一看都能认同的，没有异议的，就不细说了。
证明：田忌最快的马和齐王最快的马相等时拿最慢的马来和齐王最快的马比有最优解。
1）假设他们有n匹马，看n=2的时候.
a1 a2
b1 b2
因为田忌最快的马和齐王最快的马相等所以a1=b1,a2=b2所以这种情况有2种比赛方式，易得这两种方式得分相等。
qsort(q,n,sizeof(q[0]),cmp);
for (i=0;t[0]<q[i] && i<n;i++);
for (s=-200*n;i<n;i++)
{
x=-i*200;
for (j=i,k=0;j<n;j++,k++)
2.b1<=b2,an=an+1
交换b1,b2的位置，
数列
(a1) a2 a3 a4...an an+1
b2 b1 b3 b4...bn (bn+1)
此时a2>=a1,an>=bn,
对于子表
a2 a3 a4...an
b1 b3 b4...bn
根据前面“公理”或归纳假设，有最优解。
an+1>=b2,当且仅当b2=b3=b4=..=bn+1时有an+1=b2，这种情况，a中其它元素<=b1,b2,b3,b4..bn,对于这部分来说，能赢x盘(x<=n)，假如不拿最慢的马来和齐王最快的马比则拿最快的马来和齐王最快的马比，此时平一盘，能赢x-1盘，而拿最慢的马来和齐王最快的马比，输一盘能赢x盘，总的来说，还是X这个数，没有亏。
int sum=0;
while(tl<=tr)
{
if(a[tl]<b[ql])
{
qr--;
tl++;
sum=sum-200;
}
else if(a[tl]==b[ql])
{
while(tl<=tr&&ql<=qr)
{
if(a[tr]>b[qr])
{
sum+=200;
tr--;
qr--;
}
else
{
if(a[tl]<b[qr]) sum-=200;
如果最快最慢的马都一样，则用TJ的最慢马和K的最快马比。
1.#include <iostream>
2.#include <algorithm>
ingnamespacestd;
4.
5.intmain()
6.{
7.intn,i;
8.while(scanf("%d", &n)!=EOF)
9.{
10.if(n == 0)
3.b1=b2,an<=an+1
4.b1<=b2,an<=an+1证明方法类似，不再重复。
以证得当有n+1匹马的时候，田忌和齐王最快最慢的马速度相等时，拿最慢的马来和齐王最快的马比有最优解，已知当n=2时成立，所以对于n>2且为整数（废话，马的只数当然是整数）时也成立。当n=1时....这个似乎不用讨论.
20.
21.sort(tian,tian+n);
22.sort(king,king+n);
23.intst = n-1;
24.intsk = n-1;
25.intet = 0;
26.intek = 0;
27.intmon = 0;
28.
29.for(i = 0; i < n; i++)
30.{
31.if(tian[st] > king[sk])
zju2397 hdu1052田忌赛马贪心正确性证明
算法可以用DP，或者给每匹马连线赋权变为二分图最佳匹配，还有就是贪心了。
1.当田忌最慢的马比齐王最慢的马快，赢一场先
2.当田忌最慢的马比齐王最慢的马慢，和齐王最快的马比，输一场
3.当田忌最快的马比齐王最快的马快时，赢一场先。
4.当田忌最快的马比齐王最快的马慢时，拿最慢的马和齐王最快的马比，输一场。
#include <iostream>
using namespace std;
void sort(int a[], int n)
{
for (int i = 0; i < n-1; i++)
for (int j = i+1; j < n; j++)
if (a[j] > a[i])
swap(a[j], a[i]);
}
int main()
{
int i,j,k,s,x,n,t[1000],q[1000];
scanf("%d",&n);
while (n!=0)
{
for (i=0;i<n;i++)
scanf("%d",&t[i]);
for (i=0;i<n;i++)
scanf("%d",&q[i]);
qsort(t,n,sizeof(t[0]),cmp);
49.ek++;
50.}
51.elseif(tian[et] < king[ek])
52.{
53.mon--;
54.et++;
55.sk--;
56.}
57.else
58.{
59.if(tian[et] < king[sk])
60.mon--;
61.et++;
62.sk--;
63.}
64.}
65.}
66.
5.当田忌最快的马和齐王最快的马相等时，拿最慢的马来和齐王最快的马比.
田忌赛马贪心的正确性证明。
先说简单状况下的证明：
1.当田忌最慢的马比齐王最慢的马快，赢一场先。因为始终要赢齐王最慢的马，不如用最没用的马来赢它。
2.当田忌最慢的马比齐王最慢的马慢，和齐王最快的马比，输一场。因为田忌最慢的马始终要输的，不如用它来消耗齐王最有用的马。
}
/JudgeOnline/problem?id=2287
这是2004上海两道最简单的题之一,但我做这题时用了两个半小时,其实如果一开始就采用最后的算法的话也是15分钟就通过了.唉,首先是将田忌的马和齐王的马分别进行排序,然后在齐王的序列中找到田忌最快的马的位置,它之前有几匹马那田忌就至少输掉几场比赛,然后开始枚举最终输掉的场次,将田忌最慢的马与齐王最好的马比赛,剩下的马一一对应比赛,找出赢钱的最大值就可以了.我希望直接用算法找到最后的结果,想了2个多小时也没有结果,最后在问题规模不大的情况用了这样的方法.没办法啊.
32.{
33.mon++;
34.st--;
35.sk--;
36.}
37.elseif(tian[st] < king[sk])
38.{
39.mon--;
40.sk--;
41.et++;
42.}
43.else
44.{
45.if(tian[et] > king[ek])
46.{
47.monrintf("%d/n", mon*200);
68.}
69.return0;
70.}
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int a[1010],b[1010];
int main()
{
int n;
就赶紧把我的思路贴出来吧哈
我的思路是:
如果最慢的马不同：1 . TJ快，TJ最慢拼掉QW最慢。2 . TJ慢，TJ最慢拼掉QW最快。
如果最快的马不同：1 . TJ快，TJ最快拼掉QW最快。2 . TJ慢，TJ最慢拼掉QW最快。