Jak definiuje się analizę asymptotyczną (duża o, mała o, duża theta, duża theta itp.) Dla funkcji z wieloma zmiennymi?
Wiem, że artykuł w Wikipedii zawiera sekcję, ale wykorzystuje wiele notacji matematycznych, których nie znam. Znalazłem również następujący artykuł: http://people.cis.ksu.edu/~rhowell/asymptotic.pdf Jednak artykuł jest bardzo długi i zawiera pełną analizę analizy asymptotycznej, a nie tylko definicję. Ponownie częste stosowanie notacji matematycznej bardzo utrudniało zrozumienie.
Czy ktoś mógłby podać definicję analizy asymptotycznej bez złożonej notacji matematycznej?
Odpowiedzi:
Notacja asymptotyczna dla funkcji wielu zmiennych jest definiowana analogicznie do jej pojedynczego zmiennego odpowiednika. W przypadku pojedynczej zmiennej mówimy, że wtedy i tylko wtedy, gdy istnieją stałe C , N takie, że dla wszystkich n > N mamy f ( n ) ≤ C g ( n ) . Innymi słowy f ( n ) jest górne ograniczone pewną wielokrotnością g ( n )fa( n ) ∈ O ( g( n ) ) do, N n > N fa( n ) ≤ Csol( n ) fa( n ) sol( n ) dla wszystkich większe niż pewnej ustalonej N .n N.
W przypadku wielowymiarowym definicja jest prawie taka sama, z tym wyjątkiem, że musisz się martwić o kilka zmiennych. Załóżmy, że jest funkcją dwóch zmiennych. Chcemy związać f od góry inną funkcją dwóch zmiennych. Mówimy więc, że f ( n , m ) ∈ O ( g ( n , m ) ) wtedy i tylko wtedy, gdy istnieją stałe C , N takie, że dla wszystkich n > N i m > N mamyfa( n , m ) fa fa( n , m ) ∈ O ( g( n , m ) ) do, N n > N m > N . Definicja ta jest niemal dokładnie takie same, z wyjątkiem teraz wszystkich naszych zmiennych musi być większa niż nasze ustalonej stałej N .fa( n , m ) ≤ Csol( n , m ) N.
Artykuł w Wikipedii użył aby oznaczać wektor w R d, co oznaczałoby, że f i g były wielowymiarowymi funkcjami zmiennych d (tj. F , g : R d → R ). Mówiąc, że x i > N dla wszystkich I oznacza, że każdy składnik → x musi być większa niż N .x→ Rre fa sol re fa, g: Rre→ R xja> N i x→ N.
źródło