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