Да, вы правы, если f is BigO(g)
и f is Omega(g)
, то f is BigTheta(g)
.Фактически, это в точности определение из BigTheta
.
. Чтобы применить это к алгоритмам, если алгоритм, например, BigO(n^2)
и Omega(n^2)
, то это BigTheta(n^2)
.И если это BigTheta(n^2)
, то это BigO(n^2)
и Omega(n^2)
.