建立选择性预测中模型比较所需的最小标签数理论界，提出预标注下界与全标签覆盖线性规划证书。