不等式推理游戏：从线索推出唯一的排队顺序
线索清单只告诉你「小舟比小禾高」这样的关系，把所有人排成从高到矮的一列：点两位交换位置，让每条线索都成立。入门 4 人 4 条线索（默认档）、进阶 5 人 6 条、挑战 5 人只有 5 条——每一局都经过校验：恰好只有一种排法满足全部线索。队形正确自动完成；拿不准点查一查：按线索顺序找出第一条矛盾，引用线索原文、指出两人站位、讲清谁该挪到谁前面。最强武器是传递性：甲比乙高、乙比丙高，甲就一定比丙高。免下载、免注册、不上传。
开一局线索推全序 · 全程在你这台设备里算
点两位交换，让每条线索都成立。
队形正确时自动完成；查一查按线索顺序找出第一条矛盾，引用线索原文讲清两个人该站哪——不惩罚，查询次数如实计入
这一页怎么用
- 选难度开一局：入门 4 人（默认档，4 条线索）、进阶 5 人（6 条线索）、挑战 5 人（只有 5 条线索钉死全序，最烧脑）；换过档会记住，下次进来还是你上次的档；
- 读线索清单，把所有人排成从高到矮的一列：点一位、再点另一位，两人交换——和排排序同一套手感；
- 队形让每条线索都成立就自动完成。拿不准点查一查：按线索顺序找出第一条被违反的，引用线索原文、指出两人现在的站位、讲清谁该挪到谁前面。
推理策略：从最确定的开始钉
- 先钉「链头」和「链尾」：被说「比谁都高」的那位一定站第 1 位；被说「比谁都矮」的那位一定站最后。先把最确定的位置定下来，剩下的范围立刻变小；
- 传递性是最有力的武器：甲比乙高、乙比丙高，甲就一定比丙高——哪怕线索里从没直接说过甲和丙。把线索串成链（A>B>C>D>E），整条队的顺序就定了；
- 没有直接关系的两人，用「排除法」定：如果甲只能站在一个不违反任何线索的位置，那个位置就是他的。一局推到最后常常只剩一个空位、一个名字，不用猜；
- 每换一次位，回头扫一遍线索：换位可能同时修正两条线索，也可能把原来对的换错——交换不是免费的，想好再换。
如实说清楚的几件事
- 每一局都是唯一解：出题时枚举了所有人的全部排队方式，恰好只有一种排法满足全部线索才出题——推理题出多解是伪题，这里从生成机制上承诺；
- 查一查找的是「第一条被违反的线索」并给出正确指引，不吊答案；查询次数如实计入结算；
- 计时是这一局的成绩维度（推理也有熟练度），但只与本机自己比，不设排行榜；
- 成绩按难度分开记（最好用时与完成局数），只存你这台设备的浏览器；中途刷新就重开，不做中断续局，如实说明。
常见问题
怎么开始玩？
打开页面就是一局：线索清单和乱排的队形都已就位。点一位再点另一位，两人交换位置；让每条线索都成立（谁比谁高的说法全部兑现）就自动完成。入门档 4 个人 4 条线索，从「被说比谁都高的」开始钉最快。
每一局的答案都是唯一的吗？
是，这是出题的底线：每一局的线索集都会枚举所有人全部的排队方式，恰好只有一种排法满足全部线索才出题。推理题出多解，猜对也算对，那是伪题——这里从生成机制上承诺唯一解，页内也如实标注。
卡住了怎么办？查一查会直接给答案吗？
查一查按线索顺序找出第一条被违反的，讲解三件事：这条线索说的是谁和谁、两人现在各站第几位、谁该挪到谁前面——指引到「下一步怎么挪」，不是把整队答案甩给你。查询次数如实计入结算，不惩罚。
传递性是什么？为什么重要？
甲比乙高、乙比丙高，那么甲一定比丙高——哪怕线索里从没直接说过甲和丙。把线索串成链（A>B>C>D>E），整条队的顺序就定了。这是不等式推理最有力的武器，结算和 doc 里都会带你用它。
挑战档「5 人 5 条线索」为什么更难？
钉死 5 个人的全序，5 条线索已经是接近最少的用量——每条线索都要被充分利用，几乎不能浪费在「已经确定的关系」上。入门和进阶档线索更充裕，可以用「多几条确定关系」换取思考空间；挑战档要求你把传递性用满。
为什么这一局要计时？
推理也有熟练度：熟悉的套路（钉链头、用传递性、排除法收尾）用得越顺越快。计时只和你自己的最好成绩比，没有排行榜；如果你更想慢慢想，忽略它就好——它不影响任何判定。
成绩存在哪里？会被上传吗？
只存在你自己浏览器的 localStorage 里：每个难度的完成局数和最好用时。出题、唯一解校验、矛盾讲解全部在你浏览器里跑（枚举的是几十一百多个排列，毫秒级），服务器只负责把页面发给你。换设备或清理浏览器数据成绩就没有了，「重置成绩」要连点两次确认。