الأخبار
ملحق التكنولوجيا والصحة والعلوم والبيئة
مسألة رياضيات احتاجت 48 ساعة و200 تيرابايت لحلها
مسألة رياضيات احتاجت 48 ساعة و200 تيرابايت لحلها
مسألة رياضيات احتاجت 48 ساعة و200 تيرابايت لحلها


06-03-2016 11:02 PM
أبوظبي - سكاي نيوز عربية
استطاع ثلاثة علماء حل أكبر وأعقد مسألة رياضية، احتاجت إلى 200 تيرابايت لكتابة النص الأساسي، على الرغم من مساعدة كمبيوتر عملاق.

ويخزن تيرابايت واحد حوالى 340 ألف نسخة من كتاب الحرب والسلام، وهو أحد أكبر الروايات المكتوبة، وكان النص السابق لمحاولة حلها احتاج إلى 13 غيغابايت ونشر في 2014.

المسألة تتعلق بمشكلة نظرية فيثاغورس الثلاثية، وقد طرحها عالم الرياضيات في كاليفورنيا واسمه رونالد غراهام في الثمانينات، وسميت حينها برقم غراهام أو منشور غراهام.

ووضع غراهام مكافأة قدرها 100 دولار لمن يقوم بحلها.

علماء الرياضيات مارجين هيلي من جامعة تكساس، وفيكتور ماريك من جامعة كنتاكي، وأوليفر كلمان من جامعة سوانزي في بريطانيا، استخدموا العديد من التقنيات المختلفة لحل المسألة.

واستغرق الكمبيوتر العملاق الذي تبلغ قوة المعالج فيه 800، يومان للوصول إلى النمط الذي كان يبحث عنه غراهام.

وكتب العلماء الاستنتاج في ملف كدليل على الوصول إلى الإجابة، واحتاج الملف إلى 200 تيرابايت لتخزينه، ما يعادل تخزين جميع الكتب في مكتبة الكونغرس. وقام العلماء بضغط الحل في 68 غيغابايت، ما احتاج إلى 30 ألف ساعة للتحميل.

لكن المشكلة التي تحتاج إلى حل فعليا، هي أنه لا أحد يستطيع قراءة هذا الحل!


تعليقات 1 | إهداء 0 | زيارات 11009

التعليقات
#1471091 [Amumar]
0.00/5 (0 صوت)

06-04-2016 07:26 PM
كلام غير علمي

[Amumar]

ردود على Amumar
European Union [mohieldinabdelghaffar] 06-23-2016 06:02 AM
Boolean Pythagorean triples problem


From Wikipedia, the free encyclopedia


Jump to: navigation, search


The Boolean Pythagorean triples problem is a problem relating to Pythagorean triples which was solved using a computer-assisted proof in May 2016.[1]

This problem is from Ramsey theory and asks if it is possible to color each of the positive integers either red or blue so that no Pythagorean triple of integers a, b, c, satisfying a 2 + b 2 = c 2 {\displaystyle a^{2}+b^{2}=c^{2}} are all the same color. For example, a coloring with a and b red and c blue is an admissible coloring, but all three blue would not be.

The proof shows that such a coloring is impossible. Up to the number 7824 it is possible to color the numbers such that all Pythagorean triples are admissible, but the proof shows that no such coloring can be extended to also color the number 7825. The actual statement of the theorem proved is


Theorem — The set {1, . . . , 7824} can be partitioned into two parts, such that no part contains a Pythagorean triple, while this is impossible for {1, . . . , 7825}.[2]

There are 27825 colorings for the numbers up to 7825. These possible colorings were logically narrowed down to just under a trillion cases, and those were examined using a Boolean satisfiability solver. Creating the proof took two days of computer execution time on the Stampede supercomputer at the Texas Advanced Computing Center and generated 200 terabytes of data.

In the 1980s Ronald Graham offered a $100 prize for the solution of the problem, which has now been awarded to Marijn Heule. The paper describing the proof was published on arXiv on 3 May 2016[2] and has been accepted for the SAT 2016 conference.

References]
1.Jump up ^ Lamb, Evelyn (26 May 2016). "Two-hundred-terabyte maths proof is largest ever". Nature. doi:10.1038/nature.2016.19990.
2.^ Jump up to: a b Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W. (2016-05-03). "Solving and Verifying the Boolean Pythagorean Triples problem via Cube-and-Conquer". arXiv:1605.00723.



خدمات المحتوى
  • مواقع النشر :
  • أضف محتوى في Digg
  • أضف محتوى في del.icio.us
  • أضف محتوى في StumbleUpon
  • أضف محتوى في Google
  • أضف محتوى في Facebook


مساحة اعلانية





الرئيسة |المقالات |الأخبار |الصور |راسلنا | للأعلى


المقالات والتعليقات وكل الآراء المنشورة في صحيفة الراكوبة سواء كانت بأسماء حقيقية أو مستعارة لا تـمـثـل بالضرورة الرأي الرسمي لإدارة الموقع بل تـمـثـل وجهة نظر كاتبيها.

Powered by Dimofinf cms Version 3.0.0
Copyright© Dimensions Of Information Inc.
Copyright © 2017 www.alrakoba.net - All rights reserved

صحيفة الراكوبة