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, Nn > Nfa( n ) ≤ Csol( n )fa( n )sol( n )dla wszystkich większe niż pewnej ustalonej N .nN.
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 )fafa( n , m ) ∈ O ( g( n , m ) )do, Nn > Nm > 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→Rrefasolrefa, g: Rre→ Rxja> Nix→N.