美英数学家攻克世界难题 证明过程若看完需10亿年
2016-07-12 07:46:00 来源：环球网
【环球网留学综合报道】据台湾“联合新闻网”7月11日报道，美国和英国三个数学家日前对一道35年来悬而未决的数学难题提出解答，获得当初提出这个问题的数学家提供的100美元赏金，可是要证明这个解答本身就造成问题，因为要把它全部读完得花10亿年功夫。
“布尔毕氏三元数问题”(Boolean Pythagorean Triples)是蓝西理论(Ramsey Theory)范畴一个长久未能解决的谜题。1980年代提出这个问题的美国数学家格拉汉姆(Ronald Graham)，为此悬赏征求解答。 来自德州大学、肯塔基大学和英国斯旺西大学的三名数学家表示他们利用分块攻克策略(Cube-and-Conquer)这种混合性的可满足性测试方法，解答及证明了布尔毕氏三元数问题。
不过，他们承认要证明他们的解答很难，因为在德州先进运算中心超级计算机协助下产生的证明文件，大小达到200TB，相当于美国国会图书馆所有数码资料的总和，这也是人类迄今得到的最“长”的一个数学“证明”。
这个数学问题本身似乎很简单：能否将正整数(例如1、2、3)染成蓝色或红色，并使满足勾股定理(A的平方+B的平方=C的平方)的任何数字系列不全是同一种颜色。例如，3的平方加4的平方=5的平方;如3和4是红色，5就得是蓝色，不能三个数字全是蓝色或红色。
证明显示一直到7824这个数字为止，这种染色方式是可能的，可是超过这个数字就不行。超级计算机足足跑了两天才得到这种证明。(实习编译：李璇 审稿：谭利娅)
编辑：安红丽
关键词：证明;数学家;美英;Boolean;证明文件;超级计算机;可满足性;勾股定理;肯塔基大学;正整数
银行工作人员失误，将八旬老人身份证号码输错，老人拿着存折取款时，因身份证号码不一致，银行让老人到派出所开具“我就是我的证明”。
2016-06-05 10:32:00
老人取钱需证明"我是我" 派出所给银行差评,银行工作人员失误，将八旬老人身份证号码输错，老人拿着存折取款时，因身份证号码不一致，银行让老人到派出所开具“我就是我的证明”。6月2日下午，一名白发苍苍的老人来到房县公安局城关派出所，请求开具一张证明“222”开头的身份证就是他的证明。
2016-06-04 17:55:00
老爸走后老妈继承房产真难 建议：早立遗嘱很重要,如果没有遗嘱，则需要按照法律规定的顺序来继承，其中第一顺位包括配偶、子女、父母，第二顺位包括兄弟姐妹、祖父母、外祖父母。对此，律师提示大家，为避免继承纠纷的出现，老人尽可能要在生前订立遗嘱，并在遗嘱中写明房屋归属和处理方式。
2016-03-28 15:45:00
参与讨论
我想说
央广网官方微信
手机央广网
说两句