原题: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. selenium定位,操作元素

    1.定位方式 1.id driver.find_element_by_id('username').send_keys('byhy') 2.name driver.find_element_by_na ...

  2. selenium 配置ie11 浏览器

    1.IEDriverServer下载与配置 用淘宝的镜像地址:https://npm.taobao.org/mirrors/selenium/. 选3.0版本的  IEDriverServer_x64 ...

  3. 浅谈树模型与集成学习-从决策树到GBDT

    引言   神经网络模型,特别是深度神经网络模型,自AlexNet在Imagenet Challenge 2012上的一鸣惊人,无疑是Machine Learning Research上最靓的仔,各种进 ...

  4. django2.1实现全文检索(最详细)+遇到的坑+jieba分词

    首先django实现全文检索在这里使用的是haystack,环境是django2.1+win10 64+py3.7 1: 安装包: pip install dgango-haystack #安装全局检 ...

  5. 深入刨析tomcat 之---第6篇 how tomcat works 第5章 容器实现原理

    writedby 张艳涛

  6. 5G时代,视频会议的未来

    过去,2G打开了了移动互联网天下,3G促成了即时通信,诞生了QQ.微信等巨头,4G 带来了短视频兴起,字节跳动等公司崛起.2.3.4G的出现促成了移动互联网10年繁荣.而5G的出现,也会促成至少10年 ...

  7. 在nodejs中利用 Proxy监听对象值的获取

    1 window = new Proxy(global, { 2 get: function (target, key, receiver) { 3 console.log("window. ...

  8. 记录21.08.04 — mybatis入门学习

    mybatis入门 mybatis简介 MyBatis 是一款优秀的持久层框架,它支持自定义 SQL.存储过程以及高级映射.MyBatis 免除了几乎所有的 JDBC 代码以及设置参数和获取结果集的工 ...

  9. SpringCloud升级之路2020.0.x版-6.微服务特性相关的依赖说明

    本系列代码地址:https://github.com/HashZhang/spring-cloud-scaffold/tree/master/spring-cloud-iiford spring-cl ...

  10. MySQL执行计划【explain】详解

    本文已经收录到github仓库,仓库用于分享Java相关知识总结,包括Java基础.MySQL.Springboot.mybatis.Redis.rabbitMQ等等,欢迎大家提pr和star! gi ...