العربية  

books hierarchical theorems

If you do not find what you're looking for, you can use more accurate words.

View more

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


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

  • إذا كانت (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 !

Source: wikipedia.org