Dərs vəsaiti baki -2018 azərbaycan döVLƏt neft və SƏnaye universiteti



Yüklə 0,88 Mb.
səhifə16/33
tarix25.12.2023
ölçüsü0,88 Mb.
#194870
növüDərs
1   ...   12   13   14   15   16   17   18   19   ...   33
C fakepath5.ALQ HAZd rslik

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 n ln 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

Yüklə 0,88 Mb.

Dostları ilə paylaş:
1   ...   12   13   14   15   16   17   18   19   ...   33




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
rəhbərliyinə müraciət

gir | qeydiyyatdan keç
    Ana səhifə


yükləyin