原题:n 个选手(n ≥ 3)参加花样自行车比赛,100 个裁判独立对各选手的表现给出无并列排名。已知对任意三个选手 A、B、C 和任意三个裁判 X、Y、Z 均不会出现如下的情形:
X 给出 A > C > B;Y 给出 B > A > C;Z 给出 C > B > A。(P > Q 表示 P 比 Q 排名靠前)
证明:存在所有选手的一种无并列排名,对任意两个选手 A 和 B,在该排名中若有 A > B,则至少有一半的裁判给出的排名中也有 A > B。

:对任意两个选手 A 和 B,综合100个裁判给出的排名,会有一个排名统计对比结果,具体可分为如下三种情形:

(1). 给出 A > B 的裁判比给出 B > A 的裁判多,此情形称为统计排名 A 比 B 靠前,简记为 A >> B;

(2). 给出 B > A 的裁判比给出 A > B 的裁判多,此情形称为统计排名 B 比 A 靠前,简记为 B >> A;

(3). 给出 A > B 的裁判数和给出 B > A 的裁判数相等,此情形称为统计排名 A 和 B 相等,简记为 A == B。

为表述方便,把 A >> B 或 A == B 简记为 A >>== B。

前两种情形统称为统计排名不等的情形。n 个选手中任意两个选手都会有一个统计排名对比结果,要么不等,要么相等。本题要证明的结论实际就是存在一种无并列排名能顺应多数裁判的判断。一个自然的构造这种排名的方法是:对每一对统计排名对比结果为不等的选手 A 和 B,若 A >> B,则把 A 排在 B 的前面,即令 A > B;否则,把 B 排在 A 的前面,即令 B > A。

>> 关系如果出现环路的情形,如 P1 >> P2,P2 >> P3,...,Pk-1 >> Pk,Pk >> P1,就无法构造出符合要求的排名,因为,由 P1 >> P2 有 P1 > P2;由 P2 >> P3 有 P2 > P3;...;由 Pk >> P1 有 Pk > P1,综合起来会有 P1 > P2 > ... > Pk > P1,矛盾。因此,为使得所证命题成立,必然有如下结论成立:

引理:在题设条件下,对于任意三个选手 A、B、C,若满足 A >> B 和 B >> C,则必有 A >> C。

用反证法来证明这个引理,假设所有裁判给出的排名中,存在三个选手 A、B、C,同时满足 A >> B,B >> C,C >>== A。

设有 m 个裁判给出 C > A,由 C >>== A 知,m ≥ 50。由 A >> B 知,这 m 个裁判中,能给出 B > A 的至多有49个,因此至少有一个必然给出 A > B,即至少有一个裁判给出 C > A > B,记其中之一为 Z。

同样由 B >> C 知,这 m 个裁判中至少有一个给出 B > C > A,记其中之一为 Y。

而综合 A >> B 和 B >> C 可知,至少有 51 - 49 = 2 个裁判给出 A > B > C,记其中之一为 X。

这样就找到了三个裁判 X、Y、Z 和三个选手 A、B、C 与题设的约束条件矛盾。故引理成立。

引理说明,>> 关系,和 > 关系一样,具有传递性。

以下用数学归纳法来证明存在一种无并列排名能顺应多数裁判的判断。

当 n = 3 时,用 A、B、C 指代三个选手,有以下几种情形:

(I). 两两统计排名对比结果全是相等关系

即有 A == B,B == C,C == A,此时,三个选手的任意一个无并列排名(如 A > B > C)都满足题设要求;

(II). 两两统计排名对比结果恰有一个是不等关系

不妨设 A >> B,B == C,C == A,此时, A > B > C 和 C > A > B 这两种无并列排序都满足题设要求;

(III). 两两统计排名对比结果恰有两个是不等关系

此情形,不能设 A >> B,B >> C(因为由引理会有 A >> C)。不失一般性,可设 A >> B,A >> C,B == C,此时,A > B > C 和 A > C > B 这两种无并列排序都满足题设要求;

(IV). 两两统计排名对比结果全是不等关系

不妨设 A >> B,B >> C,A >> C,此时,无并列排序 A > B > C 满足题设要求。

综合上述四种情形,可知 n = 3 时,命题成立。假设 n ≤ k 时命题成立,来考虑 n = k + 1 的情形。

设 k + 1 个选手为 P1、P2、...、Pk、Q ,且排名 P1 > P2 > ... > Pk 满足题设要求。在此基础上考虑 Q 与其他 k 个选手的统计排名对比结果,有以下一些情形:

[1]. Pi >>== Q, i = 1,2,...,k

此时,P1 > P2 > ... > Pk > Q 满足题设要求;

[2]. Q >>== Pi, i = 1,2,...,k

此时,Q > P1 > P2 > ... > Pk 满足题设要求;

[3]. Pr >> Q,Q >> Ps,1 ≤ r < s ≤ k

此时,由引理有 Pr >> Ps,由此可知需要把 Q 排在 Pr 和 Ps 之间。在排名 P1 > P2 > ... > Pk 中,Pr 和 Ps 之间有 m = s - r - 1 (≤ k - 2) 个选手,根据 m 的取值不同又细分为如下两种子情形:

[3-1]. m = 0

此时 s = r + 1,即 Pr 和 Ps 相邻,直接把 Q 排在 Pr 和 Ps 之间,得到 P1、P2、...、Pk、Q 的一个排名:

P1 > ... > Pr > Q > Ps > ... > Pk      ①

若排名 ① 中在 Ps 之后还有选手(即 s < k 的情形),任取其一,记为 Pt,则必有 Q >>== Pt(不然,由 Pt >> Q 和 Q >> Ps,有Pt >> Ps,从而导致排名 P1 > P2 > ... > Pk 因 Ps > Pt 而不满足题设要求,这与假设相矛盾);

同样,若排名 ① 中在 Pr 之前还有选手(即 r > 1 的情形),任取其一,记为 Pg,则必有 Pg >>== Q(不然,由 Pr >> Q 和 Q >> Pg,有Pr >> Pg,从而导致排名 P1 > P2 > ... > Pk 因 Pr > Pg 而不满足题设要求,这与假设相矛盾) 。

综上可知,当 m = 0 时,可知排名 ① 满足题设要求。

[3-2]. m > 0

此时,m + 1 ≤ k - 1,由假设可知 Pr+1、...、Ps-1 和 Q 这 m + 1 个选手存在一个满足题设要求的排名,记为 H1 > H2 > ... > Hm > Hm+1,在 H1、...、Hm+1 中有一个是 Q。于是可以得到 P1、P2、...、Pk、Q 的一个排名:

P1 > ... > Pr > H1 > H2 > ... > Hm > Hm+1 > Ps > ... > Pk     ②

若排名 ② 中在 Ps 之后还有选手(即 s < k 的情形),任取其一,记为 Pt,则必有 Q >>== Pt(不然,由 Pt >> Q 和 Q >> Ps,有Pt >> Ps,从而导致排名 P1 > P2 > ... > Pk 因 Ps > Pt 而不满足题设要求,这与假设相矛盾);

同样,若排名 ② 中在 Pr 之前还有选手(即 r > 1 的情形),任取其一,记为 Pg,则必有 Pg >>== Q(不然,由 Pr >> Q 和 Q >> Pg,有Pr >> Pg,从而导致排名 P1 > P2 > ... > Pk 因 Pr > Pg 而不满足题设要求,这与假设相矛盾) 。

综上可知,当 m > 0 时,可知排名 ② 满足题设要求。

综上分析,n = k + 1 的情形存在 P1、P2、...、Pk、Q 的一个排名满足题设要求。原命题证毕。

以下为拓展分析部分。

拓展问题一:上面对原题的分析中证明了 >> 关系有传递性。== 关系以及 >>== 关系是否也都有传递性?

考虑 n = 3 的情形,对选手 A、B、C,令一半的裁判给出排名 C > A > B,而令另一半的裁判给出排名 B > C > A。易知 A == B,B == C,C >> A,满足题设要求。由这个实例可知,== 关系以及 >>== 关系都不具有传递性。

拓展问题二:原题中让证明存在一个所有选手的无并列排名,对任意两个选手 A 和 B,在该排名中若有 A > B,则必有 A >>== B。请问所有裁判给出的排名中是否一定也有这样一个排名?

考虑 n = 4 的情形,对选手 P、Q、R、S,令 第一组 49 个裁判给出排名 P > Q > S > R,第二组 49 个裁判给出 Q > P > R > S,第三组的两个裁判给出 R > S > P > Q。

对 P、Q、R,第一组给出 P > Q > R,第二组给出 Q > P > R,即 R 在 P、Q、R 三者中两组裁判都认为排名最靠后,对照原题的题设要求,可知是符合要求的。

同样,对 P、Q、S,第一组给出 P > Q > S,第二组给出 Q > P > S,即 S 在 P、Q、S 三者中两组裁判都认为排名最靠后,可知也是符合题设要求的。

对 P、R、S,第一组给出 P > S > R,第二组给出 P > R > S,即 P 在 P、R、S 三者中两组裁判都认为排名最靠前,对照原题的题设要求,可知是符合要求的。

同样,对 Q、R、S,第一组给出 Q > S > R,第二组给出 Q > R > S,即 Q 在 Q、R、S 三者中两组裁判都认为排名最靠前,可知也是符合题设要求的。

易知 P >> Q,Q >> R,R >> S,满足题设要求(即顺应多数裁判的判断)的排名只有 P > Q > R > S,而 100 个裁判中没有一个给出这个排名。由这个实例可知,拓展问题二的答案是否定的。

拓展问题三:原题中若允许某三个裁判 X、Y、Z 对某三个选手 A、B、C 的排名分别为 X 给出 A > C > B;Y 给出 B > A > C;Z 给出 C > B > A。请问一定会出现 >> 关系环路的情形吗?

考虑 n = 3 的情形,对选手 A、B、C,令 98 个裁判给出排名 A > C > B,一个裁判给出排名 B > A > C,还有一个裁判给出排名 C > B > A。易知 A >> C,C >> B,A >> B,并没有出现 >> 关系环路的情形。这个实例说明,拓展问题三的答案是否定的。

100个裁判对n个选手做无并列排名问题探析的更多相关文章

  1. jquery.form 和MVC4做无刷新上传DEMO

    jquery.form 和MVC4做无刷新上传DEMO HTML: <script src="~/Scripts/jquery-1.10.2.min.js"></ ...

  2. 完美解决windows10磁盘占用100%并出现卡顿、假死无反应

    完美解决windows10磁盘占用100%并出现卡顿.假死无反应 想必大家也跟我一样,自从用win10系统以后经常会出现这种情况:磁盘突然占用100%然后开始出现假死现象,电脑卡住,点击任何软件没反应 ...

  3. 为何要做seo关键词排名

    http://www.wocaoseo.com/thread-229-1-1.html 武汉seo百度指数在150左右,做seo的同仁们都知道这样的一件事情. 真正搜索武汉seo关键词能作为潜在客户的 ...

  4. 这种ERP系统核查工作实际是在做无用功

    前段时间跟朋友聊起他们公司持续了好几年的ERP核查工作,此时他正在一家分公司做核查.ERP核查工作我是知道的,一个季度一次,每个模块出一个人去子公司巡回巡查,主要核查ERP系统的使用情况. 核查工作主 ...

  5. TP2.0或3.1 或者 3.2 下使用ajax+php做无刷新分页(转+自创)

    1.前言 作为一名php程序员,我们开发网站主要就是为了客户从客户端进行体验,在这里,thinkphp框架自带的分页类是每次翻页都要刷新一下整个页面,这种翻页的用户体验显然是不太理想的,我们希望每次翻 ...

  6. Ajax做无刷新分页

    1.主页面代码 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www ...

  7. Ajax做无刷新三级联动

    1.引入JS and Jquery包 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" " ...

  8. Hive语法及其进阶(二)

    1.使用JDBC连接Hive 1 import java.sql.Connection; 2 import java.sql.DriverManager; 3 import java.sql.Prep ...

  9. GitHub Android Libraries Top 100 简介

    本项目主要对目前 GitHub 上排名前 100 的 Android 开源库进行简单的介绍, 至于排名完全是根据 GitHub 搜索 Java 语言选择 (Best Match) 得到的结果, 然后过 ...

随机推荐

  1. informix常用函数

    一.常用函数 1.decimal decimal(14,2):14位数,小数占两位:decimal(26,8),有效长度为26,小数位占8位. 2.cast cast:Oracle中的数据类型转换函数 ...

  2. 动静态web项目(三)

    在Eclipse中将web项目分为了Dynamic Web Project和Static Web Project. 那么这两种有什么区别呢? 其实这里的Dynamic和Static是通过页面来区分的. ...

  3. string子串匹配(用string自带函数,不涉及char数组转换)

    using namespace std; #include <iostream> #include<string> //第1种,用string自带的s.subdtr()截取任意 ...

  4. 【阅读笔记】Java核心技术卷一 #5.Chapter7

    7 异常.断言和日志 在 Java 中,如果某个方法不能够采用正常的途径完整它的任务,就可以通过另外一个路径退出方法. 在这种情况下,将会立刻退出,并不返回任何值,而是抛出(throw)一个封装了错误 ...

  5. ifix与AB PLC contrologix 5300系列的通讯

    在最近一个改造项目中,由于先前的4G 平台不稳定,本公司自己组建4G VPN来实现.遇到问题:AB 高版本PLC(1769-L33ER)使用标签名直接代替了地址,ifix的ABR驱动只支持SLC500 ...

  6. JBoss 5.x/6.x 反序列化漏洞(CVE-2017-12149)

    检测

  7. 大数据学习(09)—— Hive语法

    Hive官方网站上有详细的语法说明,参考LanguageManual. 这里我把最常用的几块列出来. HIVE DDL Database 建库语句 CREATE (DATABASE|SCHEMA) [ ...

  8. 这个大表走索引字段查询的 SQL 怎么就成全扫描了,我TM人傻了

    今天收到运营同学的一个 SQL,有点复杂,尤其是这个 SQL explain 都很长时间执行不出来,于是我们后台团队帮忙解决这个 SQL 问题,却正好发现了一个隐藏很深的线上问题. select a. ...

  9. netty系列之:中国加油

    目录 简介 场景规划 启动Server 启动客户端 消息处理 消息处理中的陷阱 总结 简介 之前的系列文章中我们学到了netty的基本结构和工作原理,各位小伙伴一定按捺不住心中的喜悦,想要开始手写代码 ...

  10. skywalking简介

    监控的分类 Logging,Metrics和Tracing Logging用于记录离散的事件例如,应用程序的调试信息或错误信息,Logging是我们诊断问题的依据. Metrics用于记录可聚合的数据 ...