温尼伯,MB -解决长期存在的猜想和未决问题是数学领域进步的标志。温尼亚愽国际app下载伯大学二人组James Currie和Narad Rampersad-最近在该领域取得了重大进展解决Dejean猜想．
2009年5月7日，数学与统计学系教授Currie和客座博士后Rampersad宣布了他们对Dejean猜想的证明。这个由法国数学家弗朗索瓦·德让(Francoise Dejean)于1972年发表的猜想，探讨了符号序列能够避免重复的程度。除了具有理论意义外，文字的重复还与用于创建压缩计算机文件的算法的性能有关，例如Internet上常用的。zip文件。
在最近的记忆中，费马大定理(Fermat 's Last Theorem)被征服引起了相当大的公众兴趣。费马大定理在陈述了大约350年后，终于在1993年得到了证明。在这种背景下，Currie和Rampersad的成就是微不足道的。然而，他们解决了困扰数学家近40年的一个问题。
数学家Currie教授和理论计算机科学家Rampersad博士发现了几种数学结构，可以将建立最终证明的过程简化为长时间但可行的计算机搜索，并对其中一些进行了评估六个十亿美元(约6.673 x 1018）双字．每个“单词”是由100(100)个0和1组成的字符串。这项研究涉及的存储空间迅速增长，超出了他们笔记本电脑的容量，他们转向大学的理论物理小组借用计算能力。最终，这也是不够的，所以研究人员求助于西电网，加拿大西部用于科学计算的高性能网络。
在一周半的时间里，Currie和Rampersad使用WestGrid的几台计算机开始更清晰地识别他们搜索空间的“形状”，进而改进他们的搜索算法。具有讽刺意味的是，最终他们的算法得到了极大的改进，使得搜索再次可以装在一台笔记本电脑上。事实上，在他们提交的论文中，计算完全消失了，只剩下它的结果——一个由12个函数组成的列表，在打印的论文中还不到一页。
一个有趣的转折是，就在Currie和Rampersad在网上发布他们的解决方案时，一位年轻的法国研究员Michael Rao宣布他也到达了终点线。Rao的理论方法是不同的，所以有一个明确的同时发现的案例。在5月底的蒙特利尔，即将召开的加拿大2009年离散和算法数学会议将组织一个特别会议来介绍这两种方法。
看到www.ifrasturias.com ~ currie / dejean.html了解更多关于德让猜想的信息。
