ABC@home

ABC@home
	; ABC@home logo
	;
开发者
版本历史
运算平台	Windows/Linux
项目平台	BOINC
程序情况
任务情况
项目状态	运行中/开放注册
项目类别	数学类
优化程序	无
计算特点	CPU密集：支持0分享率：支持GPU计算：
官方网址	ABC@home
	[{{{rss}}} 通过 RSS 获取项目新闻]

ABC@home 是基于 BOINC 平台寻找满足 ABC 猜想三元数组的分布的项目。

项目简介

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

加入方法

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

项目研究内容简介

ABC@home 利用分布式计算穷举直到 c<=10¹⁸ 的满足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 %

搜索到的三元数组可以在这里找到。