Интуитивно говоря, выражение f (n) = O (g (n)) означает
Для любого достаточно большого значения n значение f (n) сверху ограничено константой, кратной g (n).
Другими словами, хотя f (n) может изначально начинаться значительно больше, чем g (n), в долгосрочной перспективе вы обнаружите, что f (n) в конечном итоге совпадает или обгоняется некоторым постоянным кратным г (н).
n 0 , о котором вы здесь говорите, является формальным математическим способом закрепления этой идеи "достаточно большого". В частности, если предъявлено требование
T (n) & le; C 2 n log n, если n & ge; п 0 ,
значение n 0 - некоторый порог отсечки. То есть в этот момент мы говорим, что n «достаточно большое».
Конкретный выбор n 0 и C 2 в приведенных выше утверждениях будет зависеть от конкретной проблемы, с которой вы работаете, но, надеюсь, это даст вам представление о том, как интерпретировать то, на что вы смотрите.