书目详细信息 : 随机模型构造性计算理论及其应用:RG-分解方法