Car-tech

HP باحث يدعي الكراك Compsci تعقيد اللغز

Governors, Senators, Diplomats, Jurists, Vice President of the United States (1950s Interviews)

Governors, Senators, Diplomats, Jurists, Vice President of the United States (1950s Interviews)
Anonim

وبينما بكرات هيوليت باكارد من تداعيات مديرها التنفيذي مارك هيرد تنحى ، يمكن للشركة أن تستلقي في مجد إنجاز إيجابي واحد على الأقل: لقد قدم باحث في HP ما يقول إنه حل لأحد أصعب المشاكل في علوم الكمبيوتر.

قام عالم الأبحاث الرئيسي في مختبرات HP ، فيناي ديولاليكار ، بنشر ما يزعم أنه حل لما يعرف على نطاق واسع بمشكلة P مقابل NP.

لذا من المستعص على حل هذه المشكلة أن معهد Clay Mathematics قد تعهد بمنح الشخص الذي يحلها. 1 مليون دولار إنها واحدة من سبع مشاكل فقط ، والمعروفة باسم مشاكل جائزة الألفية ، وقد قدم المعهد هذه الجائزة. واحد من السبعة ، تخمين بوانكاريه ، تم حلها رسميا في عام 2006.

من غير الواضح حتى الآن إذا كان Deolalikar سيحصل على المال ، لأن كلاي لم يقل أنه يعتبر المشكلة حلها.

هذه المشكلة ، "واحدة من "تبرز المشاكل العالقة في علوم الكمبيوتر ،" تتضمن "تحديد ما إذا كانت الأسئلة موجودة يمكن التحقق من إجابتها بسرعة ، ولكنها تتطلب وقتًا طويلًا مستحيلًا لحل أي إجراء مباشر" ، تشرح صفحة المعهد. في المشكلة، P لتقف على الوقت متعدد الحدود وNP لتقف على الوقت متعدد الحدود nondeterministic.

"يسرني أن أعلن دليل على أن P لا يساوي NP"، وأعلن Deolalikar في رسالة عبر البريد الإلكتروني إلى مجموعة من أساتذة الرياضيات والذي تم نشره يوم الأحد من قبل جريج بيكر ، وهو محاضر كبير في جامعة بريتيش كولومبيا سيمون فريزر.

باختصار ، قد يعني هذا أن بعض المشاكل لا يمكن حلها إلا من خلال البحث عن القوة الغاشمة ، إذا كانت الحلول موجودة في جميع.

"والدليل يطلب من التفكيك معا من المبادئ من مناطق متعددة داخل الرياضيات، وجهد كبير في بناء هذا دليل على كشف النقاب عن سلسلة من الروابط المفاهيمية بين مختلف المجالات وعرضها من خلال عدسة المشتركة"، وكتب Deolalikar.

بطبيعة الحال ، يتردد أولئك الذين لديهم معرفة بالمشكلة في إعلان أن ديولاليكار قد حل المشكلة ، بالنظر إلى كمية التدقيق التي يتعين القيام بها. وعلى الرغم من أنها الثناء Deolalikar لنهجه شامل، واحد يختلف عن التخمينات أكثر العشوائية التي يتم تقديمها عادة، لم تعلن أي جهة نهائيا انه متصدع المشكلة.

وأضاف "يبدو أن نقدم بعض الأفكار الجديدة المثيرة للتفكير، لا سيما اتصال بين الفيزياء الإحصائية ومن الدرجة الأولى المنطق توصيف NP "، وكتب سكوت أرونسون، وهو أستاذ مساعد في الهندسة الكهربائية وعلوم الحاسوب في معهد ماساتشوستس للتكنولوجيا، في بلوق الدخول غير ملزم.

" أنا لا أعرف ما يقول ديك ليبتون ، أستاذ علوم الكمبيوتر بمعهد جورجيا للتكنولوجيا.

. اتبع Joab على تويتر علىJoab_Jackson. عنوان البريد الإلكتروني لـ Joab هو [email protected]