1969年的论文《高斯消去法并非最优》(Gaussian Elimination is Not Optimal)引入了一种矩阵乘法方法,打破了现有的速度限制,证明了大矩阵运算的完成速度可以显著快于传统的立方时间复杂度。这一发现确立了福尔克·施特拉森(Volker Strassen)作为理论计算机科学和算法设计演进中的关键人物地位。
早期教育与学术轨迹
施特拉森于1936年出生在德国杜塞尔多夫-格雷斯海姆,他追求涵盖哲学、物理学、音乐和数学的广泛学术课程。1962年,他在康拉德·雅各布斯的指导下在哥廷根大学完成了博士学业。他早期的职业生涯将他带到了加州大学伯克利分校,在那里他在数学和统计学系工作,最终晋升为副教授。1968年,他转至苏黎世大学领导应用数学研讨会,担任该职位二十年,随后于1988年转至康斯坦茨大学,直到1998年退休。
对概率论的基础性贡献
在转向计算复杂性之前,施特拉森在概率论方面取得了重大进展。他1964年的著作《重对数定律的不变性原理》(An Invariance Principle for the Law of the Iterated Logarithm)使他在1966年莫斯科国际数学家大会上获得了演讲机会。到1965年,他推导出了关于概率测度和鞅的必要和充分条件。他1973年与胡贝尔在极小极大检验和奈曼-皮尔逊引理方面的合作研究,为后来稳健统计学领域的发展奠定了基石。
算法效率的进步
施特拉森在算法设计方面的影响包括1971年开发的用于整数乘法的Schönhage-Strassen算法,该算法在几十年来提供了已知的最快方法。1977年,他与罗伯特·M·索洛维合作创建了Solovay-Strassen素性检验,标志着向随机多项式时间验证的转变。他1983年与沃尔特·鲍尔的合作提供了一种限制有理函数复杂性的方法,进一步扩展了他之前在1974年温哥华国际数学家大会上提出的关于代数复杂性的研究。
专业认可
在他的职业生涯中,施特拉森入选了多个机构,包括德国国家科学院(利奥波第那科学院)、哥廷根科学院和海德堡科学院。他还是美国数学学会的会士。他获得的奖项包括1999年的康托尔奖章、2003年的帕里斯·卡内拉基斯奖、2008年的高德纳奖和2011年的康拉德·楚泽奖章。
快速事实
- 出生:1936年,杜塞尔多夫 - 国籍:德国 - 博士学位:哥廷根大学,1962年 - 代表算法:用于矩阵乘法的施特拉森算法 - 高德纳奖:2008年 - 康托尔奖章:1999年 - 康拉德·楚泽奖章:2011年 - 学术基地:康斯坦茨大学
读者常见问题
### 施特拉森算法的意义是什么?
它证明了大矩阵的乘法可以比传统的O(n³)时间界限执行得更快。
### 福尔克·施特拉森获得了哪些主要奖项?
他获得的荣誉包括康托尔奖章、高德纳奖、帕里斯·卡内拉基斯奖和康拉德·楚泽奖章。



