堵丁柱(),美籍华裔计算机科学家,德克萨斯州大学达拉斯分校计算机科学教授。他因为证明了Gilbert-Pollak猜想和Derman-Leiberman-Ross猜想而著名。
生平
1982年毕业于中国科学院应用数学所运筹学专业,获硕士学位。1985年,1985年获得美国加利福尼亚大学圣塔芭芭拉分校博士学位。
- Problem Solving in Automata, Languages, and Complexity.
- Pooling Designs and Nonadaptive Group Testing.
- Mathematical Theory of Optimization.
- Combinatorial Group Testing and Its Applications (2nd Edition).
- Connected Dominating Set: Theory and Applications.
- Design and Analysis of Approximation Algorithms.
- Steiner Tree Problems In Computer Communication Networks.
葛立恒 (Ronald L. Graham) 奖项悬赏与撤回
1990年,在堵丁柱(Ding-Zhu Du)与黄光明(Frank K. Hwang)宣布他们已证明 Gilbert–Pollak 猜想 之后,著名数学家葛立恒(Ronald L. Graham)向堵丁柱寄出了一张 500美元的支票,以示对这一被认为是重大突破的认可。此事被《纽约时报》以标题《解决一道老难题:捷径究竟有多短》(Solution to Old Puzzle: How Short a Shortcut)——他明确表示:堵丁柱和黄光明早期的“证明”并不完整,并重新提出一项 1000美元的悬赏,以奖励对该猜想的完整和严谨的证明。
这一声明被广泛认为是他对1990年认可行为的正式、公开撤回。葛立恒在2019年的立场凸显了该猜想持续的难度,也反映出数学界的普遍共识:堵–黄方法并不构成一个有效的证明。此举进一步强化了学界对于此前证明完整性的怀疑,并明确指出该猜想在几何优化领域仍处于未解决状态。
个人生活
堵丁柱的妻子是[https://profiles.utdallas.edu/weiliwu 伍伟丽](Weili Lily Wu),也是德克萨斯大学达拉斯分校计算机科学系的教授。两人相识于明尼苏达大学,当时伍伟丽是该校的学生,而堵丁柱是任教的教授,他们共同育有有三个子女 。堵丁柱和伍伟丽是彼此最频繁的合作者,自伍伟丽作为研究生于1997年发表第一篇学术论文(和堵丁柱合作)以来,两人已共同发表了超过85篇学术论文。
参考资料
评论 (0)