GT 3

Machine Translated by Google
Bài giảng 3.
Sự phát triển của các chức năng - Phân tích tiệm cận
Giới thiệu về các thuật toán

Đại học Khoa học và Công nghệ Đà Nẵng
Đặng Thiên Bình

dtbinh@dut.udn.vn
Phòng thí nghiệm mạng thông minh Phòng thí nghiệm mạng thông minhĐặng
của Thiên
Copyright
Bình 2000-2022
1/20
Tổng quan về ký hiệu tiệm cận
Một cách để mô tả hành vi của các hàm trong giới hạn

Chúng tôi đang nghiên cứu hiệu quả tiệm cận
Mô tả sự phát triển của các chức năng
Tập trung vào những gì quan trọng bằng cách loại bỏ các thuật ngữ
bậc thấp và các yếu tố không đổi
Cách chúng tôi chỉ ra thời gian chạy của các thuật toán
Một cách để so sánh "kích thước" của các hàm
Phòng thí nghiệm mạng thông minh Đặng Thiên Bình 20/2
Ký hiệu tiệm cận
Hiệu quả tiệm cận của các thuật toán

Quan tâm đến việc thời gian chạy tăng lên như thế nào với
kích thước của đầu vào trong giới hạn
tức là, khi kích thước của đầu vào tăng lên mà không bị ràng buộc.
Một thuật toán tiệm cận hiệu quả hơn là tốt nhất
sự lựa chọn
Thời gian chạy tiệm cận của một thuật toán được xác
định theo hàm có miền là tập các số tự nhiên N =
{0, 1, 2, ...}
- Kí hiệu (1/5)
- ký hiệu (theta)
(g (n)) = {f (n) : tồn tại các hằng số dương c1 , c2 và n0 sao cho
0 () fn
() c1 gn
c2 gn () cho tất cả n n0}
(g (n)) là tập các hàm
f (n) = (g (n)) thực sự có nghĩa là f (n) thuộc (g (n))
g (n) được gọi là một giới hạn chặt chẽ về tiệm cận đối với f (n)
- Kí hiệu (2/5)
- ký hiệu
g () là một giới hạn chặt chẽ về tiệm cận đối với f ()
- Kí hiệu (3/5)
- ký hiệu
d
Nếu f (n) là đa thức bậc d thì f (n) = (n )
Ví dụ:
2 n - 2n = (n2 )
200n 2 - 100n = (n 2 )
2
Tồn tại một số lựa chọn cho c1 , c2 và n0 , các hàm là (n )
(n0 )?
- Kí hiệu (4/5)
n2 - 2n = (n2 )
- Kí hiệu (5/5)
200n 2 - 100n = (n 2 )
O - Kí hiệu (1/2)
O - ký hiệu (big-oh)
f (n) = O (g (n)): g (n) là một tiệm cận trên của f (n)
O (g (n)) = {f (n): tồn tại các hằng số dương c và n0

như vậy cho 0
tất cả}
f (n) cg (n) n n0
f (n) = (g (n)) ngụ ý f (n) = O (g (n)),

nhưng f (n) = O (g (n)) KHÔNG ngụ ý f (n) = ( g (n))
Ví dụ:
n 2
- 2n = O (n )
2
200n 2 - 100n = O (n
2 3
) = O (n ) = ...
2
n = O (n )
O phù hợp để mô tả thời gian chạy trong trường hợp xấu nhất của một
thuật toán
O - Ký hiệu (2/2)
O - ký hiệu
- Kí hiệu (1/2)
- ký hiệu (omega)
f (n) = (g (n)): g (n) là một tiệm cận dưới của f (n)
(g (n)) = {f (n): tồn tại các hằng số dương c và n0 sao cho 0
0 cg (n) f (n) cho tất cả n n0 }
f (n) = (g (n)) ngụ ý f (n) = (g (n)),

nhưng f (n) = (g (n))
(g ( KHÔNG
N)) ngụ ý f (n) =
Ví dụ: - 2n
n 2 2
= (N )
200n 2 - 100n = 2
(N ) = (n) = (1)
n 2 = (N)
rất tốt cho việc mô tả thời gian chạy trường hợp tốt nhất của
một thuật toán
Định lý
f (n) = (g (n)) nếu và chỉ khi f (n) = O (g (n)) và f (n) = (g (n))
- Kí hiệu (2/2)
- ký hiệu (omega)
Ký hiệu tiệm cận trong phương trình
Ở phía bên tay phải

n = O (n 2 ) có nghĩa là “n thuộc O (n 2) ”
Nói chung, ký hiệu tiệm cận là viết tắt của một số

hàm ẩn danh
Ví dụ: 2n 2
+ 3n + 1 2
= +
2n (n) nghĩa là có một hàm
số f (n) (n) làm cho đẳng thức đúng, tức là f (n) = 3n + 1
2n 2 + (n) = (n 2 ) có
nghĩa là đối với bất kỳ hàm f (n) (n), có một số hàm

g (n) (n2 ) sao cho 2n 2 + f (n) = g (n) với mọi n
2n 2 + 3n + 1 = 2n 2 + (n) = (n 2 ) (một chuỗi các mối quan hệ)
o - Ký hiệu
o - ký hiệu (little-oh)
O - ký hiệu có thể có hoặc không chặt chẽ về mặt tiệm cận
2n 2 = O (n 2 ) là tiệm cận chặt chẽ, nhưng 2n = O (n 2) không phải
f (n) = o (g (n)): g (n) là giới hạn trên của f (n)

không có tiệm cận chặt
o (g (n)) = {f (n): với mọi hằng số dương c > 0, tồn tại

một hằng số n0 > 0 sao cho0 mọi
f (n) cg (n) n n0}
2n = o (n 2 ), nhưng 2n 2 o (n
2
)
O: với một hằng số c, o: với mọi hằng số c
Trong ký hiệu o, hàm f (n) trở nên không đáng kể

so với g (n) khi n tiến tới vô cùng
fn()
tức là, lim = 0
n
gn()
- Kí hiệu
- ký hiệu (ít omega)

2n 2 = (n 2 ) là tiệm cận chặt chẽ, nhưng 2n 3 = (n 2 ) không phải
f (n) = (g (n)): g (n) là giới hạn dưới của f (n) không

có tiệm cận chặt
(g (n)) = {f (n): với mọi hằng số dương c > 0, tồn tại a

hằng số n0 > 0 sao 0 cg (n) f (n) với mọi n n0}
= cho (n), nhưng(N2 )
2n 2
Trong tương đối

2n 2lớn
-chú
với
thích,
g (n) hàm
khi fn (n)
tiến
trở
tới
nên
vô tùy
cùng
ý
fn() =
tức là, lim
n
gn()
So sánh các chức năng (1/2)
Nhiều tính chất quan hệ của số thực cũng áp dụng cho phép so
sánh tiệm cận
Tính phản xạ
f (n) = (f (n))
Điều này đúng với O,
Đối xứng
f (n) = (g (n)) nếu và chỉ khi g (n) = (f (n))
Đối xứng Transpose
f (n) = O (g (n)) nếu và chỉ khi g (n) = (f (n))
f (n) = o (g (n)) nếu và chỉ khi g (n) = (f (n))
Độ nhạy
f (n) = (g (n)) và g (n) = (h (n)) ngụ ý f (n) = (h (n))
Điều này đúng với O, , o, và
So sánh các chức năng (2/2)
Tương tự với số thực
f (n) = O (g (n)) một b
f (n) = (g (n)) một b
f (n) = (g (n)) a = b
f (n) = o (g (n)) a <b
f (n) = (g (n)) a> b
Ví dụ: f (n) = 3n3 + 4

f (n) = (n3 )
f (n) = O (n3 ) = O (n4 ) = ...
f (n) = (n3 ) = (n2 ) = (n) = (1)
f (n) = o (n4 ) = o (n5 ) ...
= f (n) = (n2 ) = (n) = (1)
Ký hiệu tiêu chuẩn và các chức năng phổ biến (1/2)
Tính đơn điệu: Một hàm số f (n) là:

tăng đơn điệu nếu giảm a b ngụ ý f (a) f (b)
đơn điệu nếu tăng đơn điệu a b ngụ ý f (a) f (b)
nếu a < b ngụ ý f (a) < f (b)
giảm hẳn nếu a < b ngụ ý f (a) > f (b)
Sàn và trần nhà

Tầng: là số nguyên lớn nhất x
Trần là số nguyên nhỏ nhất x
nhà: Ví dụ:
Ký hiệu tiêu chuẩn và các chức năng phổ biến (2/2)
Logarit
: logarit của n cơ số b
lg = log2 (logarit nhị phân)
ln = (logarit tự nhiên, e = 2,7182 ...)
Hệ số
= 0
- 1! > 0
= 1
*
= 1 * 2 * 3 ... N
* , do đó O ()
Xấp xỉ của Stirling
1
! = 2 1 + Θ
Từ tính gần đúng của Stirling, những điều sau đây là:
! = ()
! = (2)
lg (!) = (lg)
Vấn đề thực hành
Chứng minh hoặc bác bỏ những điều sau:

một. 4 +2 n3 + n2 O()
n2
b. 2 n+ +O n 2
2 +4 +6 +8 n2 +... 2
()
c. 22n = O(2)
N
Sẽ được giải quyết trong phần hỏi đáp
Cảm ơn những người đóng góp
Anh Phạm Văn Nguyên (2022)
Tiến sĩ Thiên Bình Đăng (2017 - 2022)
Giáo sư Hyunseung Choo (2001 - 2022)
Phòng thí nghiệm mạng thông minh Phòng thí nghiệm mạng thông minh
Đặng
củaThiên
Copyright
Bình 21/20
2000-2022

GT 3

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

GT 3

Uploaded by

Copyright:

Available Formats

Machine Translated by Google

Giới thiệu về các thuật toán

Đặng Thiên Bình

Tổng quan về ký hiệu tiệm cận

Một cách để mô tả hành vi của các hàm trong giới hạn

Mô tả sự phát triển của các chức năng

Một cách để so sánh "kích thước" của các hàm

Ký hiệu tiệm cận

Hiệu quả tiệm cận của các thuật toán

(g (n)) là tập các hàm

f (n) = (g (n)) thực sự có nghĩa là f (n) thuộc (g (n))

g () là một giới hạn chặt chẽ về tiệm cận đối với f ()

O (g (n)) = {f (n): tồn tại các hằng số dương c và n0

f (n) = (g (n)) ngụ ý f (n) = O (g (n)),

f (n) = (g (n)) ngụ ý f (n) = (g (n)),

f (n) = (g (n)) nếu và chỉ khi f (n) = O (g (n)) và f (n) = (g (n))

Ký hiệu tiệm cận trong phương trình

Ở phía bên tay phải

Nói chung, ký hiệu tiệm cận là viết tắt của một số

số f (n) (n) làm cho đẳng thức đúng, tức là f (n) = 3n + 1

nghĩa là đối với bất kỳ hàm f (n) (n), có một số hàm

2n 2 + 3n + 1 = 2n 2 + (n) = (n 2 ) (một chuỗi các mối quan hệ)

O - ký hiệu có thể có hoặc không chặt chẽ về mặt tiệm cận

2n 2 = O (n 2 ) là tiệm cận chặt chẽ, nhưng 2n = O (n 2) không phải

f (n) = o (g (n)): g (n) là giới hạn trên của f (n)

o (g (n)) = {f (n): với mọi hằng số dương c > 0, tồn tại

O: với một hằng số c, o: với mọi hằng số c

Trong ký hiệu o, hàm f (n) trở nên không đáng kể

- ký hiệu (ít omega)

f (n) = (g (n)): g (n) là giới hạn dưới của f (n) không

(g (n)) = {f (n): với mọi hằng số dương c > 0, tồn tại a

Trong tương đối

So sánh các chức năng (1/2)

Điều này đúng với O,

f (n) = (g (n)) nếu và chỉ khi g (n) = (f (n))

Đối xứng Transpose

f (n) = O (g (n)) nếu và chỉ khi g (n) = (f (n))

f (n) = o (g (n)) nếu và chỉ khi g (n) = (f (n))

f (n) = (g (n)) và g (n) = (h (n)) ngụ ý f (n) = (h (n))

Điều này đúng với O, , o, và

So sánh các chức năng (2/2)

Tương tự với số thực

f (n) = O (g (n)) một b

f (n) = (g (n)) một b

f (n) = o (g (n)) a <b

f (n) = (g (n)) a> b

Ví dụ: f (n) = 3n3 + 4

f (n) = O (n3 ) = O (n4 ) = ...

f (n) = (n3 ) = (n2 ) = (n) = (1)

f (n) = o (n4 ) = o (n5 ) ...

= f (n) = (n2 ) = (n) = (1)

Ký hiệu tiêu chuẩn và các chức năng phổ biến (1/2)

Tính đơn điệu: Một hàm số f (n) là:

đơn điệu nếu tăng đơn điệu a b ngụ ý f (a) f (b)

nếu a < b ngụ ý f (a) < f (b)

giảm hẳn nếu a < b ngụ ý f (a) > f (b)

Sàn và trần nhà

Trần là số nguyên nhỏ nhất x

Ký hiệu tiêu chuẩn và các chức năng phổ biến (2/2)

Vấn đề thực hành

Chứng minh hoặc bác bỏ những điều sau:

Sẽ được giải quyết trong phần hỏi đáp

Cảm ơn những người đóng góp