العلامات الشائعة：
الافتراضية أمان DNS التحقق الرسمي تحليل قابلية الوصول أخطاء المترجم تضارب الماكرو امتدادات الويب إطار عمل تطوير كومودور 64 بياسيك 2.0 جميع العلامات

دحض ادعاء P مقابل NP: مجلة Springer تنشر بحثًا خاطئًا

2025-08-06

نُشر بحث يدعي إثبات نتيجة أقوى من P≠NP في مجلة Frontiers of Computer Science التابعة لدار نشر Springer Nature، مما أثار جدلاً واسعًا. أحد مؤلفي البحث هو نائب رئيس تحرير المجلة. اكتشف علماء الحاسوب Ryan Williams و Eric Allender عيوبًا خطيرة في البرهان، تتناقض حتى مع الخوارزميات المعروفة. وقد قدما تعليقًا يطلبون فيه سحب البحث، لكن رئيس التحرير رفض ذلك، واكتفى بالموافقة على نشر نسخة معدلة من تعليقهما. يكشف هذا الحادث عن مشاكل خطيرة في عملية مراجعة الأقران في المجلة، مما يثير مخاوف بشأن سمعتها. هذه أخبار في مجال التكنولوجيا.

اقرأ المزيد
(blog.computationalcomplexity.org)
التكنولوجيا

جائزة جودل لعام 2025 تُمنح لبحثٍ رائدٍ في مُستخلصات المصادر المُزدوجة الصريحة

2025-06-09
جائزة جودل لعام 2025 تُمنح لبحثٍ رائدٍ في مُستخلصات المصادر المُزدوجة الصريحة

حاز إشان تشاتوبادهياي وديفيد زوكرمَن على جائزة جودل لعام 2025 لورقتهما البحثية الرائدة "المُستخلصات الصريحة ذات المصدرين والوظائف المُقاومة"، المنشورة في مؤتمر STOC لعام 2016 وفي مجلة Annals of Math لعام 2019. يُحسّن هذا العمل بشكلٍ كبير من بناء رسوم رامزي، ويُحقق حدًا أُسيًا يتجاوز الأساليب السابقة. وقد لاقى هذا البحث إشادةً كبيرة لتأثيراته في مجال إلغاء العشوائية وتطبيقه المُفاجئ في نظرية رامزي، مما أثار نقاشًا حول أهميته المُزدوجة في مجال الصدفية الكاذبة والمُجتمعات.

اقرأ المزيد
(blog.computationalcomplexity.org)
التطوير نظرية رامزي إلغاء العشوائية

تحول زلزالي في محاكاة الخوارزميات: اختراق في الذاكرة

2025-06-07

أحدثت نتيجة ثورية تغييرا جذريا في أساسيات محاكاة الخوارزميات. تُظهر البحوث الجديدة التي أجراها ريان ويليامز أنه يمكن محاكاة جميع الخوارزميات باستخدام ذاكرة أقل بكثير من وقت تشغيلها الأصلي، وهو تحسن هائل مقارنة بأفضل النتائج المعروفة سابقًا. يعتمد هذا الاختراق على خوارزمية تقييم الشجرة الموفرة للمساحة من كوك و ميرتز، حيث يقوم بتجزئة حسابات آلة تورينج بذكاء ويستخدم ترميز الحقل المحدود لتحقيق تحسن شبه تربيعي في تعقيد المساحة. على الرغم من أنه لا يحافظ على حد الزمن، إلا أن هذه النتيجة الأساسية لها آثار عميقة على نظرية التعقيد، وتفتح آفاقًا لأبحاث المستقبل، مثل تقليل حدود تعقيد المساحة أكثر، مما قد يؤدي إلى فصل فئات التعقيد P و PSPACE.

اقرأ المزيد
(blog.computationalcomplexity.org)
التطوير