会议专题

将随机算法应用于理论证明

本文试图举例说明随机算法应用于理论研究的思路及其对证明方法的丰富和完善,以引起大家对随机算法的兴起和重视.

随机算法 理论证明 概率方法

贺红

山东大学计算机科学系(济南)

国内会议

2001年全国理论计算机科学学术会议

福州

中文

138-140

2001-09-01(万方平台首次上网日期,不代表论文的发表时间)