天天射综合网

沙菲·戈德华瑟

2019年11月8日,星期五,上午10:30

Shafi Goldwasser-伪确定性算法和证明

导向器
西蒙斯计算理论研究所

电气工程与计算机科学教授
加州大学伯克利分校

电气工程与计算机科学教授
麻省理工学院

计算机科学与应用数学教授
魏茨曼科学研究所

摘要:与确定性算法相比,用于决策和搜索问题的概率算法可以显着提高复杂性。 但是,一个主要区别是,对于不同的随机选择,它们可能会输出不同的解决方案。 在输出的唯一性很重要的设置中,例如在生成系统范围密码参数时,或在使用不同的随机源的分布式设置中,这是不希望的。 伪确定性算法是一类随机搜索算法,它们以很高的概率输出唯一的答案。 直观地,通过多项式时间观察器对其输入/输出行为,它们与确定性算法没有区别。 在本演讲中,我将描述在顺序,子线性和并行设置中对伪确定性算法的了解。 我还将描述伪确定性算法在搜索问题的交互式证明中的扩展,其中,无论证明者采用何种策略,都可以确保验证者有很高的可能性在不同的执行中提供相同的输出。

简介: Shafi Goldwasser是西蒙斯计算理论研究所所长,也是加州大学伯克利分校的电机工程和计算机科学教授。 Goldwasser还是麻省理工学院的电气工程和计算机科学教授,以及以色列的魏兹曼科学研究所的计算机科学和应用数学教授。 Goldwasser拥有卡耐基梅隆大学(1979)的应用数学理学学士学位,以及硕士学位和博士学位。 1984年获得加利福尼亚大学伯克利分校计算机科学博士学位。

Goldwasser的开创性贡献包括引入概率加密,交互式零知识协议,椭圆曲线素性测试,组合问题近似证明的硬度以及组合属性测试。

Goldwasser曾获得2012年ACM图灵奖,1993年和2001年的Gödel奖,1996年的ACM Grace Murray Hopper奖,1998年的RSA数学奖,2008年的ACM雅典娜计算机科学女性奖, 2010年获得本杰明·富兰克林奖章,2011年获得IEEE伊曼纽尔·R·皮奥雷奖,2012年获得西蒙斯基金会研究者奖,2018年获得BBVA基金会知识前沿奖。Goldwasser是NAS,NAE,AAAS,俄罗斯人科学院,以色列科学院和伦敦皇家数学学会。 Goldwasser拥有本古里安大学,巴伊兰大学,海法大学和牛津大学的荣誉学位,并获得了加州大学伯克利分校杰出校友奖和巴纳德学院杰出奖章。

主持人: Avrim Blum

所有讲座将在TTIC的Kenwood大道南6045号( 第61街和Kenwood大道的交汇处) 526/530室举行。

停车:街边停车,或者在60th St.和Stony Island Avenue拐角处的免费停车场。

如有疑问和意见,请联系徐金波


上届杰出讲座系列