参数设置
在全部 m 个样本中选 n 个，找出最少的 k-样本组，使得每个 j-子集都能被覆盖 （覆盖条件：与该组的交集 ≥ s 个元素）。参数范围必须满足 s ≤ j ≤ k。
由于服务器算力有限，在线版本的求解速度和结果质量可能低于本地运行版本；如需更高质量结果，建议在本地运行程序。
使用步骤
- 第一步：填写参数 m、n、k、j、s 和 cover_count，并确认满足 s ≤ j ≤ k。
- 第二步：点击“随机选取 n 个样本”自动生成样本，或在样本输入框中手动填写 n 个样本编号。
- 第三步：选择求解策略并设置时间预算，然后点击“开始求解”。请耐心等待，预算时间越长，系统通常有更多机会搜索到更好的结果。
- 说明：时间预算是最大运行上限，不代表一定会用满。如果系统已经证明当前结果为最优，会提前结束；如果尚未证明最优且仍有剩余预算，系统会继续尝试优化结果。