Xem mã nguồn của Độ phức tạp thuật toán

Thời gian mà [[máy tính]] khi thực hiện một [[thuật toán]] không chỉ phụ thuộc vào bản thân thuật toán đó, ngoài ra còn tùy thuộc từng máy tính. Để đánh giá hiệu quả của một thuật toán, có thể xét số các phép tính phải thực hiện khi thực hiện thuật toán này. Thông thường số các phép tính được thực hiện phụ thuộc vào cỡ của bài toán, tức là độ lớn của đầu vào. Vì thế '''độ phức tạp thuật toán''' là một hàm phụ thuộc đầu vào. Tuy nhiên trong những ứng dụng thực tiễn, chúng ta không cần biết chính xác hàm này mà chỉ cần biết một ước lượng đủ tốt của chúng.

Để ước lượng độ phức tạp của một thuật toán ta thường dùng khái niệm bậc O-lớn và bậc Θ (bậc [[Theta]]).

== Bậc O-lớn ==
<div id="Bậc O-lớn" ></div>
Gọi k là độ lớn đầu vào. Tùy thuộc từng bài toán mà <math>n</math> có thể nhận những giá trị khác nhau. Chẳng hạn, bài toán tính [[giai thừa]] thì <math>n</math> chính là số cần tính giai thừa. Nhiều bài toán [[phương pháp số|số trị]], chẳng hạn tính [[sai phân]] thì <math>n</math> là số [[chữ số có nghĩa]] cần đạt được. Trong các phép tính đối với [[ma trận]] thì <math>n</math> là số hàng hoặc cột của ma trận.

Độ phức tạp của bài toán phụ thuộc vào <math>n</math>. Ở đây ta không chỉ đặc trưng độ phức tạp bởi số lượng phép tính, mà dùng một đại lượng tổng quát là ''tài nguyên cần dùng'' <math>R(n)</math>. Đó có thể là số lượng phép tính (có thể tính cả số lần truy nhập bộ nhớ, hoặc ghi vào bộ nhớ); nhưng cũng có thể là thời gian thực hiện chương trình (''độ phức tạp về thời gian'') hoặc [[dung lượng bộ nhớ]] cần phải cấp để chạy chương trình (''độ phức tạp về không gian'').

Xét quan hệ giữa tài nguyên và độ lớn đầu vào, nếu như tìm được [[hằng số]] <math>C>0</math>, <math>C</math> không phụ thuộc vào <math>n</math>, sao cho với <math>n</math> đủ lớn, các hàm <math>R(n), g(n)</math> đều dương và
::<math>R(n)\leq C.g(n)</math>
thì ta nói thuật toán có độ phức tạp cỡ <math>O(g(n))</math>.

=== Diễn giải ===
Độ phức tạp không phải là [[độ đo]] chính xác lượng tài nguyên máy cần dùng, mà đặc trưng cho động thái của hệ thống khi kích thước đầu vào tăng lên. Chẳng hạn với thuật toán có độ phức tạp tuyến tính <math>O(n)</math> (xem phần dưới), nếu kích thước đầu vào tăng gấp đôi thì có thể ước tính rằng tài nguyên cần dùng cũng tăng khoảng gấp đôi. Nhưng với thuật toán có độ phức tạp bình phương <math>O(n^2)</math> thì tài nguyên sẽ tăng gấp bốn. Mặt khác, với thuật toán có độ phức tạp hàm mũ <math>O(2^n)</math> thì chỉ cần công thêm 2 đơn vị vào độ lớn đầu vào cũng đã làm tài nguyên tăng gấp 4 lần (tức là theo [[cấp số nhân]]) rồi.

Các độ phức tạp thường gặp đối với các thuật toán thông thường gồm có:
* Độ phức tạp hằng số, <math>O(1)</math>. Số phép tính/thời gian chạy/dung lượng bộ nhớ không phụ thuộc vào độ lớn đầu vào. Chẳng hạn như các [[thao tác hệ thống]]: đóng, mở [[Tập tin]]. đây là những kiến thức không đúng lắm
* Độ phức tạp [[tuyến tính]], <math>O(n)</math>. Số phép tính/thời gian chạy/dung lượng bộ nhớ có xu hướng [[tỉ lệ thuận]] với độ lớn đầu vào. Chẳng hạn như tính tổng các phần tử của một [[mảng một chiều]].
* Độ phức tạp [[đa thức]], <math>O(P(n))</math>, với <math>P</math> là đa thức bậc cao (từ 2 trở lên). Chẳng hạn như các thao tác tính toán với mảng nhiều chiều (tính [[định thức]] ma trận).
* Độ phức tạp [[logarit]], <math>O(\log n)</math> (chú ý: bậc của nó thấp hơn so với <math>O(n)</math>). Chẳng hạn [[thuật toán Euclid]] để tìm [[ước số chung lớn nhất]].
* Độ phức tạp [[hàm mũ]], <math>O(2^n)</math>. Trường hợp này bất lợi nhất và sẽ rất phi thực tế nếu thực hiện thuật toán với độ phức tạp này.

=== Lưu ý ===
Định nghĩa trên mang tính "an toàn" theo nghĩa nó chỉ xét sự tiêu tốn tài nguyên không vượt quá một ngưỡng <math>g(n)</math> nào đó, chứ không nhất thiết đúng bằng <math>g(n)</math> (chú ý dấu [[bất đẳng thức]]). Theo đó, một thuật toán có độ phức tạp cỡ <math>n</math> thì đồng thời sẽ có độ phức tạp cỡ <math>n^2</math>; với hàm ý rằng thuật toán này không bao giờ có động thái phức tạp hóa vượt qua ngưỡng đa thức bậc hai.

== Bậc Ω và Θ ==
<div id="Bậc Omega" ></div>
<div id="Bậc Theta" ></div>
Tương tự như với bậc O-lớn, nếu như tìm được các hằng số <math>C, k_1, k_2</math> đều dương và không phụ thuộc vào <math>n</math>, sao cho với <math>n</math> đủ lớn, các hàm <math>R(n), f(n)</math> và <math>h(n)</math> đều dương và
::<math>R(n)\geq C \cdot f(n)</math>
::<math>k_1\cdot h(n) \leq R(n) \leq k_2\cdot h(n)</math>

thì ta nói thuật toán có độ phức tạp cỡ lớn hơn <math>\Omega(f(n))</math>, và đúng bằng cỡ <math>\Theta(h(n))</math>.

Như vậy nếu xét một cách chặt chẽ, ký hiệu Θ mới biểu thị độ phức tạp của thuật toán một cách chặt chẽ. Tuy nhiên qua một thời gian dài ký hiệu <math>O(n)</math> cũng đã được dùng phổ biến, chẳng hạn <ref>Abelson, Sussman 1984. ''Structure and interpretation of computer programs.'' MIT Press, 1st Edition.</ref>.
<div>
==Xem thêm==
*[[Lý thuyết độ phức tạp tính toán]]
==Tham khảo==
{{thể loại Commons|Computational complexity}}
{{tham khảo}}
:* Abelson, Sussman 1993. ''Structure and interpretation of computer programs.'' MIT Press, 2nd Edition.

[[Thể loại:Khoa học máy tính|Kĩ thuật phần mềm]]

[[nl:Complexiteitstheorie]]
[[ru:Теория сложности вычислений]]