堵丁柱

堵丁柱（1948年5月21日—），美籍華裔計算機科學家，德克薩斯州大學達拉斯分校計算機科學教授。^[1]他因為證明了Gilbert-Pollak猜想和Derman-Leiberman-Ross猜想而著名。^[2][3]

堵丁柱
出生	(1948-05-21) 1948年5月21日（77歲）
網站	Ding-Zhu Du
科學生涯
研究領域	計算機算法
機構	德克薩斯州大學達拉斯分校

生平

1982年畢業於中國科學院應用數學所運籌學專業，獲碩士學位。1985年，1985年獲得美國加利福尼亞大學聖塔芭芭拉分校博士學位。^[1]

出版著作

• Theory of Computational Complexity.^[4]
• Problem Solving in Automata, Languages, and Complexity.^[5]
• Pooling Designs and Nonadaptive Group Testing.^[6]
• Mathematical Theory of Optimization.^[7]
• Combinatorial Group Testing and Its Applications (2nd Edition).^[8]
• Connected Dominating Set: Theory and Applications.^[9]
• Design and Analysis of Approximation Algorithms.^[10]
• Steiner Tree Problems In Computer Communication Networks.^[11]

葛立恆 (Ronald L. Graham) 獎項懸賞與撤回

1990年，在堵丁柱（Ding-Zhu Du）與黃光明（Frank K. Hwang）宣布他們已證明 Gilbert–Pollak 猜想 之後，著名數學家葛立恆（Ronald L. Graham）向堵丁柱寄出了一張 500美元的支票，以示對這一被認為是重大突破的認可。此事被《紐約時報》以標題《解決一道老難題：捷徑究竟有多短》（Solution to Old Puzzle: How Short a Shortcut）^[2]予以公開報道 。

葛立恆在2019 SEICCGTC的學術報告。

2019年3月，美國數學家葛立恆在佛羅里達大西洋大學的 SEICCGTC 大會上演講，明確表示堵–黃的「證明」並不完整，並懸賞1000美元尋求真正的嚴格證明。此舉被廣泛視為對1990年原先認定的公開撤回。

然而，近三十年後，在 2019年3月，葛立恆於佛羅里達大西洋大學（Florida Atlantic University）舉辦的 第50屆東南部組合數學、圖論與計算會議（SEICCGTC） 上發表受邀學術報告時，再次提及該猜想。在這次學術報告中——隨後以《Some of My Favorite Problems (I)》為題發表在會議文集中^[12][13]——他明確表示：堵丁柱和黃光明早期的「證明」並不完整，並重新提出一項 1000美元的懸賞，以獎勵對該猜想的完整和嚴謹的證明。

這一聲明被廣泛認為是他對1990年認可行為的正式、公開撤回。葛立恆在2019年的立場凸顯了該猜想持續的難度，也反映出數學界的普遍共識：堵–黃方法並不構成一個有效的證明。此舉進一步強化了學界對於此前證明完整性的懷疑，並明確指出該猜想在幾何優化領域仍處於未解決狀態。

個人生活

堵丁柱的妻子是伍偉麗（Weili Lily Wu），也是德克薩斯大學達拉斯分校計算機科學系的教授。兩人相識於明尼蘇達大學，當時伍偉麗是該校的學生，而堵丁柱是任教的教授，他們共同育有有三個子女 ^[14]。堵丁柱和伍偉麗是彼此最頻繁的合作者，自伍偉麗作為研究生於1997年發表第一篇學術論文（和堵丁柱合作）以來，兩人已共同發表了超過85篇學術論文^[15][16]。