اشترك

الاستمرار بالحساب الحالي

شارك
شارك
Article image
مصدر الصورة: إم إس تك | سوبرريمبو عبر كودينج تراين



هذه المحاولة لحل فرضية كولاتز المستعصية تمثل (فشلاً مشرّفاً) يبين الإمكانات الواعدة لتقنيات التفكير المؤتمت.

2021-09-05 15:47:59

05 سبتمبر 2021
يمثل العثور على تحدٍّ رياضي جيد هدفاً دائماً لعالم الحاسوب مارجين هول. يعمل هول أستاذاً مساعداً في جامعة كارنيجي ميلون، ويتمتع بصيت ذائع في حل المعضلات الرياضية باستخدام الأدوات الحاسوبية. وعلى سبيل المثال، فقد تمكن في 2016 من حل "معضلة الثلاثيات البوليانية الفيثاغورية" بإثبات هائل شكل مادة دسمة للعناوين الصحفية: إثبات رياضي هو الأضخم على الإطلاق بحجم 200 تيرابايت. والآن، يعمل على تطبيق طريقة مؤتمتة لحل فرضية كولاتز التي توحي بالبساطة بشكل مخادع. وقد طُرحت هذه الفرضية لأول مرة (وفقاً لبعض المصادر) في الثلاثينيات من قبل عالم الرياضيات الألماني لوثار كولاتز، وهي معضلة في نظرية الأعداد تتضمن وصفة، أو خوارزمية، لتوليد تسلسل رقمي. ويكفي أن تبدأ مع أي عدد صحيح وموجب. فإذا كان زوجياً، اقسمه على اثنين. وإذا كان فردياً، اضربه بثلاثة واجمعه مع الواحد. وقم بإعادة العملية مراراً وتكراراً. وتنص الفرضية على أن هذا التتابع سينتهي على الدوام بالرقم 1 (ومن ثم سيدخل في حلقة مفرغة من الأرقام 4، 2، 1). وعلى سبيل المثال، فإن الرقم 5 يولد فقط ستة عناصر: 5، 16، 8، 4، 2، 1 أما الرقم 27 فيولد تتابعاً بطول 111 رقماً، متذبذباً

أدخل بريدك الإلكتروني واقرأ المقال مجاناً

أنشئ حساباً مجاناً واقرأ مقالتين مجاناً كل شهر من أوسع تشكيلة محتوى أنتجته ألمع العقول العالمية والعربية.