“ABC@home”的版本间差异
小 |
|||
| 第1行： | 第1行： | ||
<big>'''ABC@home'''</big><br>寻找满足 ABC 猜想三元数组的分布<br> | <big>'''ABC@home'''</big><br>寻找满足 ABC 猜想三元数组的分布<br> | ||
==项目简介== | ==项目简介== | ||
| − | [[ABC@home]]是一个由荷兰的一个数学研究院 [http://www.math.leidenuniv.nl/nl/home/ Mathematical Institute of Leiden University] 运作的，基于 [[BOINC]] | + | [[ABC@home]]是一个由荷兰的一个数学研究院 [http://www.math.leidenuniv.nl/nl/home/ Mathematical Institute of Leiden University] 运作的，基于 [[BOINC]] 分布式计算平台的数学类项目，旨在通过搜索满足ABC猜想条件的三元数组获得这些数组的分布从而帮助数学家解决这个猜想。 |
<br><br> | <br><br> | ||
==加入方法== | ==加入方法== | ||
| 第7行： | 第7行： | ||
==项目研究内容简介== | ==项目研究内容简介== | ||
| − | [[ABC@home]] 利用[[分布式计算]]穷举直到 c<=10<sup>18</sup> | + | [[ABC@home]] 利用[[分布式计算]]穷举直到 c<=10<sup>18</sup> 的满足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猜想。 |
<br><br> | <br><br> | ||
==计算程序== | ==计算程序== | ||
| 第19行： | 第19行： | ||
==相关链接== | ==相关链接== | ||
[http://abcathome.com 官方网站]<br> | [http://abcathome.com 官方网站]<br> | ||
| − | [http://www.math.leidenuniv.nl/~desmit/ic/abc/fritsABCpresentation.pdf | + | [http://www.math.leidenuniv.nl/~desmit/ic/abc/fritsABCpresentation.pdf 关于ABC猜想的简介 (英文pdf)]<br> |
| − | [http://www.math.unicaen.fr/~nitaj/abc.html | + | [http://www.math.unicaen.fr/~nitaj/abc.html 更多关于ABC猜想的资料（英文）]<br> |
[http://www.equn.com/forum/viewthread.php?tid=14688&pid=207574&page=1&extra=page%3D1#pid207574 项目新闻] | [http://www.equn.com/forum/viewthread.php?tid=14688&pid=207574&page=1&extra=page%3D1#pid207574 项目新闻] | ||
| + | [http://www.equn.com/forum/forum-22-1.html 项目讨论区] | ||
[[category:分布式计算项目]][[category:数学类项目]][[category:BOINC平台上的项目]][[Category:本站推荐项目]] | [[category:分布式计算项目]][[category:数学类项目]][[category:BOINC平台上的项目]][[Category:本站推荐项目]] | ||
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 %
搜索到的三元数组可以在这里找到。