ABC@home

来自中国分布式计算总站
Fwjmath讨论 | 贡献2008年7月14日 (一) 09:25的版本 加入方法
跳转至: 导航搜索

ABC@home
寻找满足 ABC 猜想三元数组的分布

项目简介

ABC@home是一个由荷兰的一个数学研究院 Mathematical Institute of Leiden University 运作的,基于 BOINC 分布式计算平台的数学类项目,旨在通过搜索满足ABC猜想条件的三元数组获得这些数组的分布从而帮助数学家解决这个猜想。

加入方法

本项目运行在分布式平台 BOINC 上,希望加入该项目的请参见BOINC 新手指南。项目网址为 http://abcathome.com

项目研究内容简介

ABC@home 利用分布式计算穷举直到 c<=1018 的满足ABC猜想条件的 (a,b,c) 三元数组,也就是说满足要求 c=a+b, a<b, rad(ABC)<C。其中 rad(n) 称为 n 的根积,意即 n 的所有质因数的乘积,若有重复的质因数则只取一个。例如,rad(504)=rad((2^3)*(3^2)*7)=2*3*7=42。项目通过研究这些三元数组的分布,试图寻找证明ABC猜想这个数学未解问题的方法。如果证明了 ABC猜想,就可以部分证明费马-卡特兰 (Fermat-Catalan) 猜想,完全证明 Schinzel-Tijdeman 猜想等等。ABC猜想的具体内容是:对于所有e>0,存在与e有关的常数C(e),对于所有满足a+b=c,a与b互质的三正整数组(a,b,c),均成立 c<=C(e)((rad(abc))^(1+e))。目前支持ABC猜想的证据有很多,比如说ABC猜想的多项式版本成立,ABC猜想也蕴含了费马大定理。D. Goldfeld 评价ABC猜想为“丢番图分析(意即系数与解均为整数的方程的分析)领域中最重要的未解决问题”。ABC@home希望能够通过了解满足条件的三元数组的分布来协助数学家解决ABC猜想。

计算程序

ABC@home支持的操作系统有 Windows, Linux 和 Mac OS X。它也对每个操作系统同时提供了 32 位和 64 位的计算程序。

搜索进度与结果

搜索进度可以在这里看到。
2008.3.1:28.5942 %
搜索到的三元数组可以在这里找到。

相关链接

官方网站
关于ABC猜想的简介 (英文pdf)
更多关于ABC猜想的资料(英文)
项目新闻 项目讨论区