@第{zbMATH00722490条，作者={Hougardy，S.和Pr{\“o}mel，H.J.和Steger，A.}，标题={近似算法的概率可检查证明及其结果}，FJournal={离散数学}，日记={离散数学}，ISSN={0012-365X}，体积={136}，数字={1-3}，页码={175--223}，年份={1994}，语言={英语}，DOI={10.1016/0012-365X（94）00112-V}，关键词={68R10,68Q25,05C15}，zbMATH={722490}，Zbl={0824.68087}}