Mürəkkəblik haqqında teoremlər. Teorem1:Fərz edək ki, f funksiyasının yuxarı asimptotu g-yə bərabərdir, onda cf(n) funksiyasının da yuxarı asimptotu həmin funksiyaya bərabərdir. Burada c hər hansı sabitdir.
İsbatı:
Şərtə görə:
│cf(n)│ │c││f(n)│ │c││k││g(n)│=c1│g(n)│
Deməli,
Teoem 2: Əgər f(n) və h(n) funksiyalarının hər birinin yuxarı asimptotu g(n)-ə bərabər olarsa, onda bunların cəmindən ibarət olan funksiyanın yuxarı asimptotu da g(n) funksiyasına bərabər olar.
İsbatı:
=(c1+c2) g(n)= c g(n) Teorem3: Əgər və olarsa, olar. İsbatı: c1 g(n) c2 e(n) =c g(n) e(n) . Burada c=c1c2.
Teorem 4: İxtiyari 1 natural və r həqiqi ədədləri üçün nr s, yəni nr= O(ns).
İsbatı: Doğurdan da r bərabərsizliyinin hər iki tərəfini ln n-ə vursaq, r ln nln n. Buradan ln nr ln ns ,yəni nr ns.
Teorem 5: Tutaq ki, P(n)=ak nk +ak-1 nk-1+...+a1 n+a0 n-dən asılı olan çoxhədlidir. Onda: P(n)=O (nk) .
İsbatı:│p(n)│ │aknk+ak-1nk-1+...+a1n+a0│ │aknk│+
│ak-1nk-1│+...+│a1n│+│ a0│ │ak│nk+│ak-1│nk-1 +...+│a1│n+
│ a0│ (│ak│+│ak-1│ +...+│a1│+│a0│) nk =cnk.
Deməli, P(n)=O (nk) .
Bu teorem göstərir ki, P(n) çoxhədlisinin majorantı onun ən yüksək dərəcəli birhədlisinin majorantına, yəni nk ifadəsinə bərabərdir.
Teorem 6:1-dən böyük olan ixtiyari a və b tam ədədləri üçün aşağıdakı münüsibət doğrudur:
logan=O(logbn).
İsbatı: logan= =clogb n
Teorem 7: İxtiyari n natural ədədi üçün aşağıdakı münüsibət doğrudur:
n=O(2n).
İsbatı riyazi induksiya ilkə yerinə yetirək:
n=0 olduqda o 20=1 alınır, bu doğrudur;
n=1 olduqda 1 21=2 alınır, bu da doğrudur;
n=k olduqda k 2k olduğunu qəbul edək;
k+1 k+k 2k+2k=2k+1