“ABC@home”的版本间的差异

来自中国分布式计算总站
跳转至: 导航搜索
(新页面: <big>'''ABC@home'''</big><br>寻找满足 ABC 猜想三元数组的分布<br> ==项目简介== ABC@home是一个由荷兰的一个数学研究院 [http://www.math.leidenuniv.nl/nl/hom...)
 
加入方法
第4行: 第4行:
 
<br><br>
 
<br><br>
 
==加入方法==
 
==加入方法==
本项目运行在分布式平台 [[BOINC]] 上,希望加入该项目的请参见[[BOINC新手指南]]。加入项目以后,您可以在项目参数设置中选择您想要参加的子项目。
+
本项目运行在分布式平台 [[BOINC]] 上,希望加入该项目的请参见[[BOINC新手指南]]<br><br>
<br><br>
+
 
 
==项目研究内容简介==
 
==项目研究内容简介==
 
[[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猜想]]。
 
[[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猜想]]。

2008年3月1日 (六) 07:10的版本

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

项目简介

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

加入方法

本项目运行在分布式平台 BOINC 上,希望加入该项目的请参见BOINC新手指南

项目研究内容简介

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猜想的资料(英文)
项目新闻