http://www.funnyfox.org/thenotebook.htm。 笑死我了
阅读全文>
发表于 @ 2005年05月14日 01:18:00|评论(loading...)|编辑
4月14号过世，终年95岁。Saunders是美国数学界的大牛，在代数方面造诣良深。不过对搞计算机的人来说，他最重要的贡献是1945提出了范畴论。范畴论提出的初衷是处理不同数学分支间的转换，但后来在程序设计理论方面应用广泛。这里是卜告。阅读全文>
发表于 @ 2005年05月13日 22:55:00|评论(loading...)|编辑
终年52岁。Leonid在1972年首次给出了线性规划的多项式算法。虽然之前大家都知道Simplex算法，而且Simplex算法效率在实际应用中也不错，但Leonid的椭圆算法给出了线性规划在最坏情况下多项式解法的严格证明。在他之前，没有知道线性规划到底属于哪个复杂类（complexity class)。比较绝的是，虽然他的算法解决的是线性优化问题，但这个算法是基于非线性优化中的凸优化方法。他的这个算法在近似算法中也有重要应用，比如说Goemans-Williamson algorithm。他的算法也在TSP(旅行推销员问题）的研究上开辟了新的方向。
说到线性规划，不能不提到他的发明人丹齐格（George Danzig）。1930年，George还是UC Berkeley的研究生。一天他上课迟到，发现黑板上写了两道题。他以为是家庭作业，于是把他们抄下来。结果这是他做过的最难的作业。他没日没夜地做了一周才做出来。 交作业的时候他还相当郁闷，觉得作业交晚了，肯定要被扣分了。结果几周后一个周末的早上，丹齐格在睡梦中被急促的敲门声惊醒。睡眼惺忪的他开门看见教授一脸兴奋地扬着几张纸说“你解阅读全文>
发表于 @ 2005年05月03日 01:15:00|评论(loading...)|编辑