Analisis asimptotik untuk dua variabel?

11

Bagaimana analisis asimptotik (big o, little o, big theta, big theta, dll.) Didefinisikan untuk fungsi dengan banyak variabel?

Saya tahu bahwa artikel Wikipedia memiliki bagian di atasnya, tetapi menggunakan banyak notasi matematika yang saya tidak terbiasa dengannya. Saya juga menemukan makalah berikut: http://people.cis.ksu.edu/~rhowell/asymptotic.pdf Namun makalah ini sangat panjang dan memberikan analisis lengkap analisis asimtotik daripada hanya memberikan definisi. Sekali lagi penggunaan notasi matematika yang sering membuatnya sangat sulit untuk dipahami.

Bisakah seseorang memberikan definisi analisis asimptotik tanpa notasi matematika yang kompleks?

sas
sumber
1
Sangat terkait: Apa arti dari O (m + n)?
Juho

Jawaban:

8

Notasi asimptotik untuk fungsi multivariabel didefinisikan secara analog dengan variabel tunggal. Dalam kasus variabel tunggal, kita mengatakan bahwa jika dan hanya jika ada konstanta C , N sehingga untuk semua n > N kita memiliki f ( n ) C g ( n ) . Dengan kata lain f ( n ) dibatasi oleh beberapa kelipatan g ( n )f(n)O(g(n))C,Nn>Nf(n)Cg(n)f(n)g(n)untuk semua lebih besar dari beberapa N tetap .nN

Dalam kasus multivarian, definisi hampir sama, kecuali Anda memiliki beberapa variabel yang perlu dikhawatirkan. Misalkan adalah fungsi dari dua variabel. Kami ingin mengikat f dari atas dengan fungsi lain dari dua variabel. Jadi kita mengatakan bahwa f ( n , m ) O ( g ( n , m ) ) jika dan hanya jika ada konstanta C , N sedemikian rupa sehingga untuk semua n > N dan m > N kita memilikif(n,m)ff(n,m)O(g(n,m))C,Nn>Nm>N . Definisi ini hampir persis sama, kecuali sekarang semua variabel kami harus lebih besar dari konstanta tetap kami N .f(n,m)Cg(n,m)N

Artikel wikipedia yang digunakan berarti vektor di R d yang berarti bahwa f dan g adalah fungsi multivariabel dari d variabel (yaitu f , g : R dR ). Mengatakan bahwa x i > N untuk semua i berarti bahwa setiap komponen x harus lebih besar dari N .xRdfgdf,g:RdRxi>NixN

Marc Khoury
sumber
2
Terima kasih! Hanya mengkonfirmasi, tetapi apakah definisi: (1) "untuk semua n> N dan m> N" atau (2) "untuk semua n> N atau m> N"? Anda dan Wikipedia menggunakan definisi "dan", namun CLRS menggunakan definisi "atau".
sas
1
Sudah pasti "dan".
Marc Khoury