Я знаю и полностью понимаю концепцию принципа. Я объясняю это кратко.
Принцип инвариантности
Две программы одного и того же алгоритма отличаются только постоянным коэффициентом. (Во временной эффективности).
t_ {1} (n) \ leqslant c* t_ {2} (n)
Определение порядка
Пусть две функции т (п) а также е (п) Сказать, что т (п) принадлежит к порядку O f (n) если есть постоянная c и порог П- {0} :
t_ (n) \ leqslant c* f (n)
Неформальный порядок
Но я не совсем понимаю, откуда родилась формула определения неформального порядка, чья формула:
c_ {1} \ leqslant \ frac {t_ {1} (n)} {t_ {2} (n)} \ leqslant c_ {2}
Почему существуют две константы с1 и с2? Разве это не должна быть одна константа c?