BriefGPT - AI 论文速递 · 2025-04-08T00:00:00Z

近似模型计数中的系统参数决策

📝

内容提要

本文解决了近似模型计数算法$ ext{ApproxMC}$内部参数的确定问题，并将其形式化为优化问题。实验结果表明，优化后的参数使算法运行时间提高了1.6至2.4倍，具体取决于误差容忍度。

🏷️

标签

参数确定 算法优化 误差容忍度 运行时间 近似模型计数