理查德·卡普（Richard M.Karp）。;米歇尔·鲁比;尼尔·马德拉斯 枚举问题的蒙特卡罗近似算法。 （英语） Zbl 0678.65001号 J.算法 10，第3期，429-448（1989）. 研究了产生枚举问题近似解的蒙特卡罗算法。蒙特卡罗近似算法用于计算n个变量（所有可能的真值赋值集为U）上满足真值赋权的数量，以析取范式表示公式。该算法的输入是公式和参数\（epsilon\）和\（delta \）。该算法产生的估计值介于1-\（ε）和\（1+\ε）乘以概率至少为1-\（δ）的满足真值赋值数。对于a（u在u中），计算f（u）的值为1，并在此情况下估计值（G），G是u的子集。文中提到了在网络可靠性问题、物理化学和统计物理中的应用。附录中证明了计算中使用的零估计定理和自调整覆盖算法定理。审核人：V.布尔扬 引用于1审查引用于50文件 MSC公司： 65二氧化碳 蒙特卡罗方法 68瓦99 计算机科学中的算法 68页第10页 搜索和排序 关键词：门蒂卡罗算法;枚举问题;估计;网络可靠性;物理化学;统计物理学;零估计定理;自调整覆盖算法定理 PDF格式BibTeX公司 XML格式引用 \textit｛R.M.Karp｝等人，J.Algorithms 10，No.32429-448（1989；Zbl 0678.65001） 全文： 内政部