【摘 要】
：
首先简单介绍一下IP(InteractiveProof)证明系统.IP证明系统包括两个部分:证明方和验证方;它们共同完成一次证明.交互性和随机性是IP证明系统很重要的特性.本文从以下方面研
【机 构】
：
复旦大学计算机科学与工程系,上海,200433
【出 处】
：
2004年全国理论计算机科学学术年会
论文部分内容阅读
首先简单介绍一下IP(InteractiveProof)证明系统.IP证明系统包括两个部分:证明方和验证方;它们共同完成一次证明.交互性和随机性是IP证明系统很重要的特性.本文从以下方面研究了GNI问题的PAM协议：1.完美AM证明系统和GNI(图不同构问题)。2.Hash函数和Isolation定理。3.GNI的PAM协议。
其他文献
目的探讨细胞色素P450酶3A5(CYP3A5)基因和多药耐药基因(MDR1)C1236T、G2677T/A、C3435T多态性对肝移植患者口服他克莫司(TAC)后体内药动学参数的影响。方法采集28例肝移植患
任务调度就是根据一定的调度规则和调度策略,把组成并行程序的一组任务按照一定执行时序分配到并行分布系统的多个计算节点上,以最小化并行应用程序的完成时间.当前,基于任务
Ker-Ⅰ和UweSch(o)ning给出了NP的一个分解,定义了语言类(^L)pn和(^H)pn,并且证明了对每一个自然数n,若PH≠Δpn,则(^L)pn∩(^H)pn=φ.本文对该分解做进一步的探讨,考虑是否
目的建立HPLC法测定盐酸胺碘酮及其有关物质的含量。方法采用Dikma Diamonsil C18柱(150 mm×4.6mm,5μm),流动相为乙腈-甲醇-水(33∶30∶37)等度洗脱,紫外检测波长240 nm,流
目的比较8种格列美脲片之间的质量差异,为临床用药提供参考。方法依据2010版《中华人民共和国药典(二部)》附录中方法对不同厂家片剂的重量差异、崩解时限、含量均匀度、溶出
图灵于20世纪30年代提出了一个理想化的计算模型-图灵机模型,该模型用一个无限长的带子作为存储,有一个能在带子上读写和前后移动的读写头.该模型形式简单,对现代计算理论的
6月26日,一个阳光灿烂的日子,长白山主峰在蓝天的衬托下显得更加的雄浑。为了能够拍摄到更多的野生花卉,我们选了一条鲜为人知的
June 26, a sunny day, the main peak of C
目的 探索合理有效的氯硝西泮撤药方案.方法 收集2010至2011年来我院失眠整合门诊就诊的使用氯硝西泮治疗失眠并成功撤药的患者的相关信息,采用SPSS 19.0软件进行统计分析.结
目的探讨重症手足口病治疗过程中药学监护的临床价值。方法结合全程诊疗用药和患者个体特点,重点关注组织脱水药、抗菌药、抗病毒药、糖皮质激素和抗心律失常药的使用,协助医
目的 根据5个民族受试者口服氟吡汀后的血药浓度数据建立氟吡汀的群体药动学模型,从而实现个体化用药.方法 选择汉、蒙、朝、维和回族各10名健康受试者(男女各半),将给药后收