Нотація Ландау

Нотація Ландау — поширена математична нотація для формального запису асимптотичної поведінки функцій. Широко вживається в теорії складності обчислень, інформатиці та математиці.

Приклад використання нотації О-велике: ${\color {red}f(x)}\in O{\color {blue}(g(x))}$ , бо існують $L>0$ (наприклад, $L=1$ ) та $x_{0}$ (наприклад, $x_{0}=5$ ), такі, що ${\color {red}f(x)}\leqslant {\color {blue}Lg(x)}$ для кожного $x\geqslant x_{0}$ .

Названа нотацією Ландау на честь німецького математика Едмунда Ландау, який популяризував цю нотацію.

Відношення « $O$ » ред.

Означення для функцій дійсного (комплексного) аргументу

Через $\mathbb {K}$ позначимо $\mathbb {R}$ або $\mathbb {C}$ . Нехай $A\subset \mathbb {K}$ , $f,g:A\to \mathbb {K}$ і $x_{0}$ — гранична точка множини $A$ . Через $B(x_{0},\delta )$ позначимо $\delta$ -окіл точки $x_{0}$ .

Функція $f$ називається підпорядкованою функції $g$ при $x\to x_{0}$ , якщо існують дійсні додатні числа $L$ та $\delta$ такі, що для довільного $x\in A\cap B(x_{0},\delta )\setminus \{x_{0}\}$ виконується нерівність $|f(x)|\leqslant L|g(x)|.$

Для $\mathbb {K} =\mathbb {R}$ функція $f$ називається підпорядкованою функції $g$ при $x\to +\infty$ , якщо існують дійсне додатнє число $L$ і дійсне $C$ такі, що для довільного $x\in A\cap (C,+\infty )$ виконується нерівність $|f(x)|\leqslant L|g(x)|.$

Для $\mathbb {K} =\mathbb {C}$ функція $f$ називається підпорядкованою функції $g$ при $x\to \infty$ , якщо існують дійсне додатнє число $L$ і дійсне $C$ такі, що для довільного $x\in A\cap \{z\in \mathbb {C} \mid |z|>C\}$ виконується нерівність $|f(x)|\leqslant L|g(x)|.$

Позначення: $f(x)=O(g(x))$ , $x\to x_{0}$ або $f=O(g)$ , $x\to x_{0}$ .

Означення для функцій цілого невід'ємного аргументу

Нехай $f,g:\mathbb {N} \cup \{0\}\to \mathbb {R} _{+}$ . Функція $f$ називається підпорядкованою функції $g$ якщо існують додатнє дійсне число $C$ і натуральне $n_{0}$ такі, що для довільного $n\geqslant n_{0}$ виконується нерівність $f(n)\leqslant Cg(n).$

Позначення: $f(n)=O(g(n))$ або $f=O(g)$ .

Також кажуть, що « $f$ зростає не швидше ніж $g$ » або « $g$ є асимптотичною верхньою оцінкою $f$ ».

Властивості ред.

$C\cdot f=O(f),x\to x_{0}$ для довільного $C\in \mathbb {K} .$
$C=O(1)$ для довільного $C\in \mathbb {K} .$
Якщо $\lim \limits _{x\to x_{0}}\left|{\frac {f(x)}{g(x)}}\right|\in \mathbb {R}$ , то $f=O(g),x\to x_{0}.$
Якщо $f=O(h),x\to x_{0}$ і $g=O(h),x\to x_{0}$ , то $f+g=O(h),x\to x_{0}.$
Якщо $f=O(g),x\to x_{0},$ то $f+g=O(g),x\to x_{0}.$
Якщо $f_{1}=O(g_{1}),x\to x_{0}$ і $f_{2}=O(g_{2}),x\to x_{0},$ то $f_{1}\cdot f_{2}=O(g_{1}\cdot g_{2}),x\to x_{0}.$
Якщо $f_{1}=O(g_{1}),x\to x_{0}$ і $f_{2}=O(g_{2}),x\to x_{0},$ то $f_{1}+f_{2}=O(\max(g_{1},g_{2})),x\to x_{0}.$
Якщо $f=O(g),x\to x_{0}$ і $g=O(h),x\to x_{0},$ то $f=O(h),x\to x_{0}.$ (транзитивність)

Відношення « $Ω$ » ред.

Означення для функцій дійсного (комплексного) аргументу

Через $\mathbb {K}$ позначимо $\mathbb {R}$ або $\mathbb {C}$ . Нехай $A\subset \mathbb {K}$ , $f,g:A\to \mathbb {K}$ і $x_{0}$ — гранична точка множини $A$ . Через $B(x_{0},\delta )$ позначимо $\delta$ -окіл точки $x_{0}$ .

Кажуть, що функція $f$ підпорядковує функцію $g$ при $x\to x_{0}$ , якщо існують дійсні додатні числа $L$ та $\delta$ такі, що для довільного $x\in A\cap B(x_{0},\delta )\setminus \{x_{0}\}$ виконується нерівність $|f(x)|\geqslant L|g(x)|.$

Для $\mathbb {K} =\mathbb {R}$ кажуть, що функція $f$ підпорядковує функцію $g$ при $x\to +\infty$ , якщо існують дійсне додатнє число $L$ і дійсне $C$ такі, що для довільного $x\in A\cap (C,+\infty )$ виконується нерівність $|f(x)|\geqslant L|g(x)|.$

Для $\mathbb {K} =\mathbb {C}$ кажуть, що функція $f$ підпорядковує функцію $g$ при $x\to \infty$ , якщо існують дійсне додатнє число $L$ і дійсне $C$ такі, що для довільного $x\in A\cap \{z\in \mathbb {C} \mid |z|>C\}$ виконується нерівність $|f(x)|\geqslant L|g(x)|.$

Позначення: $f(x)=\Omega (g(x))$ , $x\to x_{0}$ або $f=\Omega (g)$ , $x\to x_{0}$ .

Означення для функцій цілого невід'ємного аргументу

Нехай $f,g:\mathbb {N} \cup \{0\}\to \mathbb {R} _{+}$ . Кажуть, що функція $f$ підпорядковує функцію $g$ якщо існують додатнє дійсне число $C$ і натуральне $n_{0}$ такі, що для довільного $n\geqslant n_{0}$ виконується нерівність $f(n)\geqslant Cg(n).$

Позначення: $f(n)=\Omega (g(n))$ або $f=\Omega (g)$ .

Також кажуть, що « $f$ зростає не повільніше ніж $g$ » або « $g$ є асимптотичною нижньою оцінкою $f$ ».

Властивості ред.

$g=O(f),x\to x_{0}$ тоді й лише тоді, коли $f=\Omega (g),x\to x_{0}.$
$C\cdot f=\Omega (f),x\to x_{0}$ для довільного $C\in \mathbb {K} \setminus \{0\}.$
$C=\Omega (1)$ для довільного $C\in \mathbb {K} \setminus \{0\}.$
Якщо $\lim \limits _{x\to x_{0}}\left|{\frac {g(x)}{f(x)}}\right|\in \mathbb {R}$ , то $f=\Omega (g),x\to x_{0}.$
Якщо $f=\Omega (h),x\to x_{0}$ і $g=\Omega (h),x\to x_{0}$ , то $f+g=\Omega (h),x\to x_{0}.$
Якщо $f=\Omega (g),x\to x_{0},$ то $f+g=\Omega (g),x\to x_{0}.$
Якщо $f_{1}=\Omega (g_{1}),x\to x_{0}$ і $f_{2}=\Omega (g_{2}),x\to x_{0},$ то $f_{1}\cdot f_{2}=\Omega (g_{1}\cdot g_{2}),x\to x_{0}.$
Якщо $f_{1}=\Omega (g_{1}),x\to x_{0}$ і $f_{2}=\Omega (g_{2}),x\to x_{0},$ то $|f_{1}|+|f_{2}|=\Omega (\min(g_{1},g_{2})),x\to x_{0}.$
Якщо $f=\Omega (g),x\to x_{0}$ і $g=\Omega (h),x\to x_{0},$ то $f=\Omega (h),x\to x_{0}.$ (транзитивність)

Відношення « $Θ$ » ред.

Означення для функцій дійсного (комплексного) аргументу

Через $\mathbb {K}$ позначимо $\mathbb {R}$ або $\mathbb {C}$ . Нехай $A\subset \mathbb {K}$ , $f,g:A\to \mathbb {K}$ і $x_{0}$ — гранична точка множини $A$ . Через $B(x_{0},\delta )$ позначимо $\delta$ -окіл точки $x_{0}$ .

Функція $g$ називається асимптотичною точною оцінкою функції $f$ при $x\to x_{0}$ , якщо існують дійсні додатні числа $L_{1},$ $L_{2}$ та $\delta$ такі, що для довільного $x\in A\cap B(x_{0},\delta )\setminus \{x_{0}\}$ виконується нерівність $L_{1}|g(x)|\leqslant |f(x)|\leqslant L_{2}|g(x)|.$

Для $\mathbb {K} =\mathbb {R}$ функція $g$ називається асимптотичною точною оцінкою функції $f$ при $x\to +\infty$ , якщо існують дійсні додатні числа $L_{1},$ $L_{2}$ і дійсне $C$ такі, що для довільного $x\in A\cap (C,+\infty )$ виконується нерівність $L_{1}|g(x)|\leqslant |f(x)|\leqslant L_{2}|g(x)|.$

Для $\mathbb {K} =\mathbb {C}$ функція $g$ називається асимптотичною точною оцінкою функції $f$ при $x\to \infty$ , якщо існують дійсні додатні числа $L_{1},$ $L_{2}$ і дійсне $C$ такі, що для довільного $x\in A\cap \{z\in \mathbb {C} \mid |z|>C\}$ виконується нерівність $L_{1}|g(x)|\leqslant |f(x)|\leqslant L_{2}|g(x)|.$

Позначення: $f(x)=\Theta (g(x))$ , $x\to x_{0}$ або $f=\Theta (g)$ , $x\to x_{0}$ .

Означення для функцій цілого невід'ємного аргументу

Нехай $f,g:\mathbb {N} \cup \{0\}\to \mathbb {R} _{+}$ . Функція $g$ називається асимптотичною точною оцінкою функції $f$ якщо існують дійсні додатні числа $C_{1},$ $C_{2}$ і натуральне $n_{0}$ такі, що для довільного $n\geqslant n_{0}$ виконується нерівність $C_{1}g(n)\leqslant f(n)\leqslant C_{2}g(n).$

Позначення: $f(n)=\Theta (g(n))$ або $f=\Theta (g)$ .

Властивості ред.

$f=\Theta (g),x\to x_{0}$ тоді й лише тоді, коли $f=O(g),x\to x_{0}$ і $g=\Omega (f),x\to x_{0}.$
$f=\Theta (g),x\to x_{0}$ тоді й лише тоді, коли $g=\Theta (f),x\to x_{0}.$

Відношення « $o$ » ред.

Означення для функцій дійсного (комплексного) аргументу

Через $\mathbb {K}$ позначимо $\mathbb {R}$ або $\mathbb {C}$ . Нехай $A\subset \mathbb {K}$ , $f,g:A\to \mathbb {K}$ і $x_{0}$ — гранична точка множини $A$ . Через $B(x_{0},\delta )$ позначимо $\delta$ -окіл точки $x_{0}$ .

Функція $f$ називається знехтуваною у порівнянні з функцією $g$ при $x\to x_{0},$ якщо для довільного додатнього $\varepsilon$ існує додатнє $\delta$ таке, що для довільного $x\in A\cap B(x_{0},\delta )\setminus \{x_{0}\}$ виконується нерівність $|f(x)|\leqslant \varepsilon |g(x)|.$

Для $\mathbb {K} =\mathbb {R}$ функція $f$ називається знехтуваною у порівнянні з функцією $g$ при $x\to +\infty$ , якщо для довільного додатнього $\varepsilon$ існує додатнє $C$ таке, що для довільного $x\in A\cap (C,+\infty )$ виконується нерівність $|f(x)|\leqslant \varepsilon |g(x)|.$

Для $\mathbb {K} =\mathbb {C}$ функція $f$ називається знехтуваною у порівнянні з функцією $g$ при $x\to \infty$ , якщо для довільного додатнього $\varepsilon$ існує додатнє $C$ таке, що для довільного $x\in A\cap \{z\in \mathbb {C} \mid |z|>C\}$ виконується нерівність $|f(x)|\leqslant \varepsilon |g(x)|.$

Позначення: $f(x)=o(g(x))$ або $f=o(g).$

Означення для функцій цілого невід'ємного аргументу

Нехай $f,g:\mathbb {N} \cup \{0\}\to \mathbb {R} _{+}$ . Функція $f$ називається знехтуваною у порівнянні з функцією $g$ , якщо для довільного додатнього $C$ існує натуральне $n_{0}$ таке, що для довільного $n\geqslant n_{0}$ виконується нерівність $f(n)\leqslant Cg(n).$

Властивості ред.

$f=o(g),x\to x_{0}$ тоді й лише тоді, коли $\lim \limits _{x\to x_{0}}{\frac {f(x)}{g(x)}}=0.$
Якщо $f=o(g),x\to x_{0},$ то $f=O(g),x\to x_{0}.$
Якщо $f=o(g),x\to x_{0}$ і $g=O(h),x\to x_{0},$ то $f=o(h),x\to x_{0}.$ Таким чином, $o(O(h))=o(h),x\to x_{0}.$ Аналогічно $O(o(h))=o(h),x\to x_{0}.$
Якщо $f_{1}=o(g),x\to x_{0}$ і $f_{2}=o(g),x\to x_{0},$ то $f_{1}+f_{2}=o(g),x\to x_{0}.$
Якщо $f_{1}=o(g_{1}),x\to x_{0}$ і $f_{2}=O(g_{2}),x\to x_{0},$ то $f_{1}\cdot f_{2}=o(g_{1}\cdot g_{2}),x\to x_{0}.$
Якщо $f=o(g),x\to x_{0}$ і $g=o(h),x\to x_{0},$ то $f=o(h),x\to x_{0}.$ (транзитивність)

Відношення «ω» ред.

Означення для функцій дійсного (комплексного) аргументу

Через $\mathbb {K}$ позначимо $\mathbb {R}$ або $\mathbb {C}$ . Нехай $A\subset \mathbb {K}$ , $f,g:A\to \mathbb {K}$ і $x_{0}$ — гранична точка множини $A$ . Через $B(x_{0},\delta )$ позначимо $\delta$ -окіл точки $x_{0}$ .

Функція $f$ називається домінуючою у порівнянні з функцією $g$ при $x\to x_{0},$ якщо для довільного додатнього $\varepsilon$ існує додатнє $\delta$ таке, що для довільного $x\in A\cap B(x_{0},\delta )\setminus \{x_{0}\}$ виконується нерівність $|f(x)|\geqslant \varepsilon |g(x)|.$

Для $\mathbb {K} =\mathbb {R}$ функція $f$ називається домінуючою у порівнянні з функцією $g$ при $x\to +\infty$ , якщо для довільного додатнього $\varepsilon$ існує додатнє $C$ таке, що для довільного $x\in A\cap (C,+\infty )$ виконується нерівність $|f(x)|\geqslant \varepsilon |g(x)|.$

Для $\mathbb {K} =\mathbb {C}$ функція $f$ називається домінуючою у порівнянні з функцією $g$ при $x\to \infty$ , якщо для довільного додатнього $\varepsilon$ існує додатнє $C$ таке, що для довільного $x\in A\cap \{z\in \mathbb {C} \mid |z|>C\}$ виконується нерівність $|f(x)|\geqslant \varepsilon |g(x)|.$

Позначення: $f(x)=\omega (g(x))$ або $f=\omega (g).$

Означення для функцій цілого невід'ємного аргументу

Нехай $f,g:\mathbb {N} \cup \{0\}\to \mathbb {R} _{+}$ . Функція $f$ називається домінуючою у порівнянні з функцією $g$ , якщо для довільного додатнього $C$ існує натуральне $n_{0}$ таке, що для довільного $n\geqslant n_{0}$ виконується нерівність $f(n)\geqslant Cg(n).$

Властивості ред.

$g=o(f),x\to x_{0}$ тоді й лише тоді, коли $f=\omega (g),x\to x_{0}.$
$f=\omega (g),x\to x_{0}$ тоді й лише тоді, коли $\lim \limits _{x\to x_{0}}\left|{\frac {f(x)}{g(x)}}\right|=+\infty .$
Якщо $f=\omega (g),x\to x_{0},$ то $f=\Omega (g),x\to x_{0}.$
Якщо $f=\omega (g),x\to x_{0}$ і $g=\Omega (h),x\to x_{0},$ то $f=\omega (h),x\to x_{0}.$ Таким чином, $\omega (\Omega (h))=\omega (h),x\to x_{0}.$ Аналогічно $\Omega (\omega (h))=\omega (h),x\to x_{0}.$
Якщо $f_{1}=\omega (g),x\to x_{0}$ і $f_{2}=\omega (g),x\to x_{0},$ то $f_{1}+f_{2}=\omega (g),x\to x_{0}.$
Якщо $f_{1}=\omega (g_{1}),x\to x_{0}$ і $f_{2}=\Omega (g_{2}),x\to x_{0},$ то $f_{1}\cdot f_{2}=\omega (g_{1}\cdot g_{2}),x\to x_{0}.$
Якщо $f=\omega (g),x\to x_{0}$ і $g=\omega (h),x\to x_{0},$ то $f=\omega (h),x\to x_{0}.$ (транзитивність)

Відношення еквівалентності функцій ред.

Через $\mathbb {K}$ позначимо $\mathbb {R}$ або $\mathbb {C}$ . Нехай $A\subset \mathbb {K}$ , $f,g:A\to \mathbb {K}$ і $x_{0}$ — гранична точка множини $A$ .

Функції $f$ і $g$ називаються еквівалентними при $x\to x_{0},$ якщо $f-g=o(f),x\to x_{0}.$

Означення для функцій цілого невід'ємного аргументу аналогічне.

Позначення: $f(x)\sim g(x),x\to x_{0}$ або $f\sim g,x\to x_{0}.$

Властивості ред.

Відношення $\sim$ є відношенням еквівалентності на множині функцій.
Нехай для всіх $x\in A\setminus \{x_{0}\}$ $g(x)\neq 0.$ Тоді $f\sim g,x\to x_{0}$ тоді й лише тоді, коли $\lim \limits _{x\to x_{0}}{\frac {f(x)}{g(x)}}=1.$
Якщо $f_{1}\sim g_{1},x\to x_{0}$ і $f_{2}\sim g_{2},x\to x_{0},$ то $f_{1}\cdot f_{2}\sim g_{1}\cdot g_{2},x\to x_{0}.$
Нехай для всіх $x\in A\setminus \{x_{0}\}\,$ $f(x)\neq 0$ , $g(x)\neq 0$ і $f\sim g,x\to x_{0}.$ Тоді для будь-якої функції $h:\,A\to \mathbb {K}$ з існування однієї з границь

\lim _{x\to x_{0}}(f(x)\cdot h(x))

,

\lim _{x\to x_{0}}(g(x)\cdot h(x))

випливає існування другої границі і їх рівність.

Аналогічно з існування однієї з границь

\lim _{x\to x_{0}}{\frac {f(x)}{h(x)}}

,

\lim _{x\to x_{0}}{\frac {g(x)}{h(x)}}

випливає існування другої і їх рівність.

Приклади ред.

Приклад 1: Нехай $f(x)=2x^{5}-6x^{2}-15$ , $x\in \mathbb {R}$ і $x_{0}=+\infty$ . Маємо:

{\begin{aligned}|2x^{5}-6x^{2}-15|&\leqslant 2|x^{5}|+6x^{2}+15\\&\leqslant 15|x^{5}|+15|x^{5}|+15|x^{5}|\\&=45|x^{5}|,\end{aligned}}

тобто $L=45$ і ця нерівність виконується для всіх $x\in (1,+\infty ).$

Звідси $f(x)=O(x^{5}),x\to +\infty .$

|2x^{5}-6x^{2}-15|\geqslant 2|x^{5}|

, тут

L=2

і

x\in (2.2,+\infty ).

Звідси

f(x)=\Omega (x^{5}),x\to +\infty .

Отже, $f(x)=\Theta (x^{5}),x\to +\infty .$

Приклад 2: Нехай $n$ і $m$ цілі числа, $z\in \mathbb {C}$ . Якщо $n\geqslant m$ , то $z^{m}=O(z^{n})$ при $z\to \infty$ . Для доведення цього запишемо

$|z^{m}|=|z^{m-n}z^{n}|=|z^{m-n}|\cdot |z^{n}|=|z|^{m-n}\cdot |z^{n}|$

Покладемо $\delta =10$ . Тоді $|z|>\delta$ означає що $|z|^{m-n}\leqslant 10^{m-n}$ , оскільки $n\geqslant m$ . Отже, якщо $|z|>10$ , нерівність $|z|^{m}\leqslant L|z^{m-n}|$ виконується при виборі $L=10^{m-n}$ . Також, з аналогічним обмеженням на $n$ та $m$ , ми маємо, що $z^{n}=O(z^{m})$ при $z\to 0$ з $\mathbb {C}$ . Для доведення цього запишемо

$|z^{n}|=|z^{n-m}z^{m}|=|z^{n-m}|\cdot |z^{m}|=|z|^{n-m}\cdot |z^{m}|.$

Виберемо, наприклад, $\delta =3$ . Тоді, $0<|z|<3$ означає, що $|z|^{n-m}<3^{n-m}$ оскільки $n\geqslant m$ .

Використання ред.

Нотація Ландау має дві основні сфери використання:

У математичному аналізі зазвичай використовується для опису того, наскільки часткова сума ряду наближає задану функцію, наприклад, у формулі Тейлора та асимптотичному розкладі
В інформатиці використовується для аналізу алгоритмів та їх класифікації

В обох випадках функція $g(x)$ в позначеннях, як правило, вибирається максимально простою без константних множників.

Деякі важливі класи відношень ред.

Докладніше: Часова складність#Таблиця типових часових складностей

Графіки деяких поширених функцій.

Нижче наведений список класів функцій, які часто зустрічаються в аналізі алгоритмів. Тут с — додатна константа, n необмежено зростає. Функції, які зростають повільніше, наведені першими.

Нотація	Назва	Приклад
$\Theta (1)$	сталий час	Визначенно парності числа (у двійковому запису); Пошук у хеш-таблиці
$\Theta (\log \log n)$	двічі логарифмічний	Час амортизації на одну операцію при використанні обмеженої черги з пріоритетом^[1]
$\Theta (\log n)$	логарифмічний час	Двійковий пошук; Швидке піднесення до степеня
$\Theta ((\log n)^{c})$ ${\textstyle c>1}$	полілогарифмічний час
$\Theta (n)$	лінійний час	Пошук найбільшого або найменшого елементу невпорядкованого масиву
$\Theta (n\log n)=\Theta (\log n!)$	лінеаритмічний час	Швидке сортування; Сортування злиттям
$\Theta (n^{2})$	квадратичний час	Сортування бульбашкою; Сортування включенням
$\Theta (n^{c})$	поліноміальний час	Алгоритм Кармаркара для лінійного програмування; Тест простоти AKS
$\Theta (c^{n})$ ${\textstyle c>1}$	експоненціальний час	Вирішення задачі комівояжера за допомогою динамічного програмування
$\Theta (n!)$	факторіальний час	Вирішення задачі комівояжера повним перебором

Розширення нотації Ландау ред.

У інформатиці іноді використовується позначення Õ (читається як м’яке О): f(n) = Õ(g(n)) це скороченням до f(n) = O(g(n) log^k n) для деякого k.^[2] Іноді для цього використовують O^*.^[3] По суті, це нотація великого O, яка ігнорує логарифмічні множники, оскільки на швидкість зростання деякі більші функції від великих вхідних параметрів впливають значно більше, що важливіше для прогнозування поганої продуктивності під час виконання. Це позначення часто використовується, щоб уникнути «придирок» до темпів зростання, які вважаються жорстко обмеженими (log^k n завжди є o(n^ε) для будь-якої константи k і будь-якого ε > 0).

Для позначення функцій, які мають час зростання, що залежить від $\ln n$ , між поліноміальним та експоненціальним, використовують L-нотацію:

L_{n}[\alpha ,c]=e^{(c+o(1))(\ln n)^{\alpha }(\ln \ln n)^{1-\alpha }},

де $c$ — додатня стала, $\alpha \in [0,1].$

Узагальнення для функцій багатьох змінних ред.

Існує декілька узагальнень нотації Ландау для функцій багатьох функцій.^[4]^[5] Одне з них:

Для функції $h:\,\mathbb {N} _{0}^{m}\to \mathbb {R} _{+}$ , де $\mathbb {N} _{0}=\mathbb {N} \cup \{0\}$ , позначимо

{\hat {h}}(n_{1},\dots ,n_{m})=\max\{h(i_{1},\dots ,i_{m})\mid 0\leqslant i_{j}\leqslant n_{j}

для всіх

1\leqslant j\leqslant m\}.

Нехай $f,g:\mathbb {N} _{0}^{m}\to \mathbb {R} _{+}$ . Функція $f$ називається підпорядкованою функції $g$ якщо існують додатнє дійсне число $C$ і натуральне $n_{0}$ такі, що для всіх $n_{1}\geqslant n_{0},\dots ,n_{m}\geqslant n_{0}$ виконуються нерівності

f(n_{1},\dots ,n_{m})\leqslant Cg(n_{1},\dots ,n_{m})

та

{\hat {f}}(n_{1},\dots ,n_{m})\leqslant C{\hat {g}}(n_{1},\dots ,n_{m}).

Позначення: $f(n_{1},\dots ,n_{m})={\hat {O}}(g(n_{1},\dots ,n_{m}))$ або $f={\hat {O}}(g)$ .

Аналогічно, $f(n_{1},\dots ,n_{m})={\hat {\Omega }}(g(n_{1},\dots ,n_{m}))$ , якщо існують додатнє дійсне число $C$ і натуральне $n_{0}$ такі, що для всіх $n_{1}\geqslant n_{0},\dots ,n_{m}\geqslant n_{0}$ виконуються нерівності

f(n_{1},\dots ,n_{m})\geqslant Cg(n_{1},\dots ,n_{m})

та

{\hat {f}}(n_{1},\dots ,n_{m})\geqslant C{\hat {g}}(n_{1},\dots ,n_{m});

$f(n_{1},\dots ,n_{m})={\hat {\Theta }}(g(n_{1},\dots ,n_{m}))$ , якщо існують додатні дійсні числа $C_{1}$ , $C_{2}$ і натуральне число $n_{0}$ такі, що для всіх $n_{1}\geqslant n_{0},\dots ,n_{m}\geqslant n_{0}$ виконуються нерівності

C_{1}g(n_{1},\dots ,n_{m})\leqslant f(n_{1},\dots ,n_{m})\leqslant C_{2}g(n_{1},\dots ,n_{m})

та

C_{1}{\hat {g}}(n_{1},\dots ,n_{m})\leqslant {\hat {f}}(n_{1},\dots ,n_{m})\leqslant C_{2}{\hat {g}}(n_{1},\dots ,n_{m}).

Для функцій одного аргументу матимемо, що для $f(n)\neq 0$ при деякому $n\in \mathbb {N}$ буде $O(f(n))={\hat {O}}(f(n))$ , $\Omega (f(n))={\hat {\Omega }}(f(n))$ і $\Theta (f(n))={\hat {\Theta }}(f(n)).$ Однак, для $f(n)=0$ при всіх $n\in \mathbb {N}$ це не буде вірним.

$f(n_{1},\dots ,n_{m})={\hat {o}}(g(n_{1},\dots ,n_{m}))$ , якщо для кожного додатного дійсного числа $C$ існує натуральне число $n_{0}$ таке, що для всіх $n_{1}\geqslant n_{0},\dots ,n_{m}\geqslant n_{0}$ виконуються нерівності

f(n_{1},\dots ,n_{m})\leqslant Cg(n_{1},\dots ,n_{m})

та

{\hat {f}}(n_{1},\dots ,n_{m})\leqslant C{\hat {g}}(n_{1},\dots ,n_{m});

$f(n_{1},\dots ,n_{m})={\hat {\omega }}(g(n_{1},\dots ,n_{m}))$ , якщо для кожного додатного дійсного числа $C$ існує натуральне число $n_{0}$ таке, що для всіх $n_{1}\geqslant n_{0},\dots ,n_{m}\geqslant n_{0}$ виконуються нерівності

f(n_{1},\dots ,n_{m})\geqslant Cg(n_{1},\dots ,n_{m})

та

{\hat {f}}(n_{1},\dots ,n_{m})\geqslant C{\hat {g}}(n_{1},\dots ,n_{m}).

Для функцій однієї змінної відношення ${\hat {o}}$ , ${\hat {\omega }}$ збігаються з відношеннями $o$ , $\omega$ відповідно.

Додаткова умова до ${\hat {f}}$ і ${\hat {g}}$ дозволяє зберегти деякі корисні властивості.

Властивості ред.

Для довільного $C>0$ буде $Cf(n_{1},\dots ,n_{m})={\hat {O}}(f(n_{1},\dots ,n_{m})).$
Якщо $f_{1}={\hat {O}}(g_{1})$ і $f_{2}={\hat {O}}(g_{2}),$ то $f_{1}+f_{2}={\hat {O}}(\max(g_{1},g_{2})).$
Якщо $g_{1}$ не спадає по всім аргументам і $g_{1}(n_{1},\dots ,n_{m})\leqslant g_{2}(n_{1},\dots ,n_{m})$ при $n_{1}\geqslant n_{0},\dots ,n_{m}\geqslant n_{0}$ для деякого $n_{0}\in \mathbb {N} ,$ то з того, що $f={\hat {O}}(g_{1})$ випливає, що $f={\hat {O}}(g_{2}).$
Якщо $g_{1}$ та $g_{2}$ не спадають по всім аргументам, то з того, що $f_{1}={\hat {O}}(g_{1})$ та $f_{2}={\hat {O}}(g_{2})$ випливає, що $f_{1}\cdot f_{2}={\hat {O}}(g_{1}\cdot g_{2}).$

Див. також ред.

Література ред.

Дороговцев А. Я. Математичний аналіз. Частина 1. — К. : Либідь, 1993. — 320 с. — ISBN 5-325-00380-1.(укр.)
Григорій Михайлович Фіхтенгольц. Курс диференціального та інтегрального числення. — 2023. — 1900+ с.(укр.)
John M. Howie. Complex Analysis. — Springer London, 2003. — 260 с. — ISBN 978-1-4471-0027-0. — DOI:https://doi.org/10.1007/978-1-4471-0027-0.
Hardy, G. H. (1910). Orders of Infinity: The 'Infinitärcalcül' of Paul du Bois-Reymond. Cambridge University Press.
Knuth, Donald (1997). Fundamental Algorithms. The Art of Computer Programming. Т. 1 (вид. 3-тє). Addison-Wesley. ISBN 978-0-201-89683-1.
Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford (2001). Introduction to Algorithms (вид. 2-ге). MIT Press and McGraw-Hill. ISBN 978-0-262-03293-3.
Sipser, Michael (1997). Introduction to the Theory of Computation. PWS Publishing. с. 226–228. ISBN 978-0-534-94728-6.

Примітки ред.

↑ Mehlhorn, Kurt; Naher, Stefan (1990). Bounded ordered dictionaries in O(log log N) time and O(n) space. Information Processing Letters. 35 (4): 183—189. doi:10.1016/0020-0190(90)90022-P.
↑ Introduction to algorithms. Cormen, Thomas H. (вид. Third). Cambridge, Mass.: MIT Press. 2009. с. 63. ISBN 978-0-262-27083-0. OCLC 676697295.
↑ Andreas Björklund and Thore Husfeldt and Mikko Koivisto (2009). Set partitioning via inclusion-exclusion (PDF). SIAM Journal on Computing. 39 (2): 546—563. Див. розділ 2.3, с.551.
↑ Howell, Rodney (2008). On Asymptotic Notation with Multiple Variables (PDF).
↑ Guéneau, Armaël; Charguéraud, Arthur; François, Pottier (2018). A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification.

[1] Mehlhorn, Kurt; Naher, Stefan (1990). Bounded ordered dictionaries in O(log log N) time and O(n) space. Information Processing Letters. 35 (4): 183—189. doi:10.1016/0020-0190(90)90022-P.

[2] Introduction to algorithms. Cormen, Thomas H. (вид. Third). Cambridge, Mass.: MIT Press. 2009. с. 63. ISBN 978-0-262-27083-0. OCLC 676697295.

[3] Andreas Björklund and Thore Husfeldt and Mikko Koivisto (2009). Set partitioning via inclusion-exclusion (PDF). SIAM Journal on Computing. 39 (2): 546—563. Див. розділ 2.3, с.551.

[4] Howell, Rodney (2008). On Asymptotic Notation with Multiple Variables (PDF).

[5] Guéneau, Armaël; Charguéraud, Arthur; François, Pottier (2018). A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification.

[1]

[2]

[3]

[4]

[5]

Нотація Ландау

Відношення «O» ред.

Властивості ред.

Відношення «Ω» ред.

Властивості ред.

Відношення «Θ» ред.

Властивості ред.

Відношення «o» ред.

Властивості ред.

Відношення «ω» ред.

Властивості ред.

Відношення еквівалентності функцій ред.

Властивості ред.

Приклади ред.

Використання ред.

Деякі важливі класи відношень ред.

Розширення нотації Ландау ред.

Узагальнення для функцій багатьох змінних ред.

Властивості ред.

Див. також ред.

Література ред.

Примітки ред.

Відношення « $O$ » ред.

Відношення « $Ω$ » ред.

Відношення « $Θ$ » ред.

Відношення « $o$ » ред.