Eroxl's Notes
Big-O Notation (Discrete Math)

Big-O notation is a mathematical concept commonly utilized to describe the limiting behaviour of functions with very large inputs. Formally, it can be defined as follows:

is said to be in if there exist a real number and a natural number such that , for all .

Alternatively, .

Example

Y axisX axis001122334455-1-11122Expression 1Expression 2Expression 3"f" ( "n" )Expression 5"c" times "g" ( "n" )"n" Subscript, 0 , BaselineExpression 8f(n)f(n)c·g(n)c·g(n)n0n0

Variants

Big Omega Notation

Big omega notation written as can effectively be thought of as the inverse of big-O notation as it is usually defined as .

Alternatively, it can be defined independently from Big-O notation as follows

is said to be in if there exist a real number and a natural number such that , for all .

Alternatively, .

Example

Y axisX axis001122334455-1-11122Expression 1Expression 2Expression 3"f" ( "n" )Expression 5"c" times "g" ( "n" )"n" Subscript, 0 , BaselineExpression 8f(n)f(n)c·g(n)c·g(n)n0n0

Big Theta Notation

Big theta notation written as is a method for describing both the upper and lower limits of a function, and is usually defined as .

Alternatively, it can be defined independently from Big-O notation as follows

is said to be in if there exist two a real numbers and and a natural number such that , for all .

Alternatively, .

Example

Y axisX axis001122334455-1-11122Expression 1Expression 2Expression 3"f" ( "n" )Expression 5"c" Subscript, 1 , Baseline times "g" ( "n" )Expression 7"c" Subscript, 2 , Baseline times "g" ( "n" )"n" Subscript, 0 , BaselineExpression 10Expression 11Expression 12f(n)f(n)c1·g(n)c1·g(n)c2·g(n)c2·g(n)n0n0