奥德·戈尔德雷奇;西尔维奥·米卡利;阿维·威格德森 如何在零知识和密码协议设计方法中证明所有NP语句。 （英语） Zbl 0636.94010号 密码学进展，Proc。Conf.，圣巴巴拉/加利福尼亚州，1986年，Lect。注释计算。科学。第263171-185页（1987年）。 [关于整个系列，请参见Zbl 0624.00026号.]在加密函数存在的假设下，我们证明了NP中的所有语言都具有零知识证明。也就是说，可以证明一个CNF公式是可满足的，而不揭示该公式的任何其他性质。特别是，无屈服信道布线是VLSI电路布局设计问题的一个重要子问题。本文建立了一个精确的信道路由模型，并考虑了该问题的一些特殊变体。对于无垂直约束的河流和河道选线，给出了有关复杂性和必要航迹数的结果。对于具有垂直约束的信道路由，导出了航迹数的上下界和近似路由算法。审核人：M.Koebe先生 引用于1审查引用于58文件 MSC公司： 94A60型 密码学 65年第68季度 算法和问题复杂性分析 关键词：.;加密功能;零知识证明;CNF公式;通道布线;布局设计;超大规模集成电路;河流定线;复杂性;轨道编号;路由算法 引文：Zbl 0624.00026号 PDF格式BibTeX公司 XML格式