English  

كتب hierarchical theorems

اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.

عرض المزيد

مبرهنات الهرمية (معلومة)


هذه المبرهنات تعتبر نتائج اساسية التي بواسطتها يمكن فصل أقسام التعقيد، والحدس خلف هذه المبرهنات هو أنك إذا كان عندك موارد أكثر باستطاعتك ان تفعل أكثر، ولهذه المبرهنات عدة نصوص إذ أنه لكل مورد ومقياس تعقيد يوجد نص خاص به، وندرج بعض هذه:

  • إذا كانت (f(n يمكن حسابها بوقت ((O(f(n حيث أن (log(n)<f(n حينها :
  • فلتكن (s(n و- (g(n دالتين يمكن حسابهما بواسطة ((O(s(n و- ((O(g(n مكان حينها وإذا : (o(g(n))=s(n , حينها :

ونتيجة لهذه المبرهنات فاننا نحصل على: وكذلك: وكذلك: ، كما أن هذه المبرهنات بشكل ما تناقض أطروحة ادموندز- كوبهام إذ انه هذا يعني أن هنالك مسائل لا يمكن حلها بوقت اقل من وبشكل واضح هذا الوقت يُعتبر غير واقعي وغير قابل للوصول حتى بالنسبة ل- n=2 !

المصدر: wikipedia.org