5.1-1 证明：假设在程序HIRE-ASSISTANT的第4行中，我们总是能够决定哪一个应聘者最佳，则这就意味着我们知道应聘者排名的全部次序。Show that the assumption that we are always able to determine which candidate is best, in line 4 of procedure Hire-Assistant, implies the we know a total order on the ranks of the candidates.
===
刚看到这个题目的时候没有理解清楚，后面证明起来无从入手，在网上搜索了一下找到两个证明方法：
1.从全排列角度理解 https://blog.csdn.net/newdye/article/details/12703819
证明：由于应聘者出现的顺序是随机的，所以所有应聘者的全序序列的任意一个都有可能出现。如果程序HIRE-ASSISTANT总是能决定哪一个应聘者最佳，就意味着无论应聘者全序序列中的那个序列出现，程序都可以比较出两个应聘者谁更有资格，全序序列包含着所有两个应聘者出现顺序的可能，所以任意两个应聘者的资格都可以给出比较结果，这样就可以给出所有应聘者的排名的总次序。2. 从关系的角度理解https://blog.csdn.net/obguy/article/details/50553929
我感觉第一个说的比较好，但是第一次读到这些说法的时候不太理解。
后面仔细分析题目后发现题目是这个意思：原伪码中line4的作用是“比较两个候选者，并知道哪一个候选者是最好的”。既然line4可以做到这样的事情，那么line4做到这个事情的之后，我们就会知道所有候选者的全部次序，也就是任意两个候选者的次序我们都会知道。
知道了题目想要表达的意思后，再看第一个博客的解释，我感觉就比较清楚了。
PS：自己水平有限，有任何错误还请指正。