Srefle

真项全选，假项不选

每个选项都满足：选中 ⇔ 陈述为真。单选题恰好选一项；多选题选择所有真项，通常至少一项，也允许全部选中。允许空选时，可以零项，此时该题每条陈述都必须为假。

答案是字母集合

“选 A”表示答案包含 A；“只选 A”表示答案恰为 {A}。“答案相同”表示所选字母集合完全相等：{A,C} 与 {C,A} 相同，与 {A} 不同。

每题可用字母按 A、B、C…连续排列。某题没有 E，就视为没有选 E。集合编码统一取 A=1、B=2、C=4、D=8、E=16、F=32，将所选字母的权值相加。例如 {A,C} 的编码为 5，所选项数为 2，二者不同。

范围与边界都有约定

“全卷”包含本题；“其他题”排除本题；指定题集只统计所列题号。题号从 1 开始。实际选一项的题数依据答案大小，与预先标注的单选、多选题数不同。

“唯一最多／最少／未出现”要求唯一；出现并列时，对应陈述为假。镜像配对按首尾各取一题，不重复计对，正中央的一题不与自己配对。距离按题号之差计算；目标不存在时按题面约定处理。

整卷难度与彩框是两件事

每日与自由练习使用同一套四档配比。简单 4–6 题，以白绿题为主，4 题时最多一道蓝题。中等 5–8 题：5 题时有一道紫题或两道蓝题，6 题时有一至两道蓝题，7–8 题全白绿。困难 5–10 题：5 题含红题或紫题，6–7 题含两道蓝题或一道紫题，8 题最多两道蓝题，9–10 题全白绿。极端 8–10 题，至少一道红题或两道紫题，白绿题至多占一半。

白、绿、蓝、紫、红的外框，表示单题表达的复杂度，依次为简明、基础、关系、复合、高阶，参考涉及的关系、运算和嵌套。白框也可能身处长推理链中；红框并不表示应该最后解。颜色同时配有文字标记，方便辨认。整卷还会限制运算总量及验证时的搜索规模；这些限制会随解题反馈调整。

折叠题目只是你手动整理工作区，不表示程序已验证答案正确。实时统计依据当前勾选，未作答的题不代表已经确认空选。

每日挑战与个人记录

每天只有一份每日题卷，以北京时间 00:00 切换，所有玩家面对同一题。站长可以提前指定未来日期的难度与题数；没有指定时，简单、中等、困难、极端的抽取概率分别为 40%、30%、20%、10%，档内各题数等概率。当天开始后题卷保持固定。

当期每日答案次日 00:00 开放；往期答案与自由练习答案可以直接查看。当期题卷的整卷导出、附答案导出与离线保存也会在次日开放；仍可打印题面、分享不含答案的成绩。暂停时隐藏题面并停止计时，返回后可以继续。本机保留进度与成绩。

唯一解如何验证

验证器以每题所有合法字母集合为候选，传播选项真假的限制，并按需分支搜索。找到第二份合法完整答题卡即可确定多解；完整搜索结束且仅有一解，才标记“唯一解已验证”。达到时限或节点上限，只会标记“验证未完成”。

生成时构造的候选答案不会作为求解限制；导入文件中的答案或验证标记也不会被信任。唯一解不保证可以仅用简单局部推理完成，也不等于已经校准的人类解题难度。

自由练习、导入与离线

自由练习默认在本档范围内等概率抽取题数；关闭后可指定简单 4–6 题、中等 5–8 题、困难 5–10 题、极端 8–10 题。支持每题 2–6 项，以及单选、多选和混合模式。自定义组合仍须符合所选难度；如果无法生成合格题卷，会提示调整设置。相同版本、设置与随机种子使用同一生成序列；时限不足时可能无法完成生成。题目生成、求解和作答检查在当前设备运行；在线每日排期与开放时间以服务器为准。

右上角“题卷工具”可导入、导出 JSON，分享纯文本题面或保存完整离线页面。JSON 编辑使用结构化命题；自由输入的自然语言不会自动变成验证规则。离线页面的每日题按本地种子生成，不包含线上站长排期。题库版本更新后，旧版每日作答可以在自由练习的“旧版题卷”中继续。