看病时,医生可能先看病史,再决定要不要验血或活检。难点是:如果每得到一点信息就查看一次预测结果,并据此决定是否继续,普通的一次性保证可能失效。COINS针对这种流程,让预测区间——未来单个结果可能落入的范围——即使被反复查看、动态停止,也能保持预先承诺的覆盖保障。
它最关键的一步,是把有限的“排除名额”分配到多个阶段,而且只在尚未被排除的候选观测中继续使用;一旦排除,就不再回来,也不会重复消耗名额。作者称,在校准样本与新观测满足可交换性——直观说,交换样本次序不改变联合规律——时,这种设计能在有限样本下实现 any-stage validity,即无论在哪次检查后停下,都控制漏掉真实结果的风险。
作为对照,Bonferroni 会把容错额度预先拆给各阶段,通常更保守。论文证明,COINS在每个阶段给出的预测集合都不会比对应的 Bonferroni 方案更大。它因此适合边收集信息、边判断是否值得继续投入检测、计算或人工审核的流程;具体收益仍取决于任务如何衡量“更早得到可行动结果”的价值。