洛瓦兹,拉兹洛 A.A.Razborov的作品。 (英语) Zbl 0743.01025号 程序。国际会议。数学。,京都/日本1990年,第一卷,37-40(1991)。 [关于整个系列,请参见兹比尔074100019.]也许计算机科学中最困难的领域是推导各种问题的计算复杂性的下限(即证明任何算法都无法在一定时间内解决给定问题)。布尔电路计算模型提出的使用组合方法的思想为解决这些问题提供了一种新的方法。最近几年,A.A.Razborov和其他一些数学家开发了用于证明各种布尔函数电路复杂度指数下界的组合方法。本文是对这些结果的简要概述。Razborov的证明技术非常重要:他引入了一种非常强大的新方法,即近似法。作者简述了这种方法的总体思路。他强调,拉兹博罗夫的作品受到了极大的关注,并在世界各地的研讨会上得到了热烈的讨论。这篇文章可能对算法和问题复杂性分析方面的专家有用。审核人:I.N.Lushchakova(明斯克) MSC公司: 01A65号 当代数学的发展 65年第68季度 算法和问题复杂性分析 关键词:算法分析;算法的下限;布尔电路模型;近似法 传记参考: 拉兹博罗夫,A.A。 引文:Zbl 0741.00019号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lovász},in:国际数学家大会(ICM)会议记录,1990年8月21日至29日,日本京都。第一卷东京等:Springer-Verlag。37-40(1991年;Zbl 0743.01025)