Является ли log (n!) = Θ (n · log (n))?

Я должен показать, что log ( n !) = Θ ( n · log ( n )) .

Намек был дан, что я должен показать верхнюю границу с n ⁿ и показать нижнюю границу с ( n / 2) ^{( n / 2)} . Это не кажется мне настолько интуитивным. Почему это так? Я определенно могу видеть, как преобразовать n ⁿ в n · log ( n ) (т.е. записать обе части уравнения), но это работает в обратном направлении.

Каков будет правильный подход к решению этой проблемы? Должен ли я нарисовать рекурсивное дерево? В этом нет ничего рекурсивного, так что это не похоже на вероятный подход.

Помни что

log(n!) = log(1) + log(2) + ... + log(n-1) + log(n)

Вы можете получить верхнюю границу по

log(1) + log(2) + ... + log(n) <= log(n) + log(n) + ... + log(n)
                                = n*log(n)

И вы можете получить нижнюю границу, выполнив аналогичную вещь, отбросив первую половину суммы:

log(1) + ... + log(n/2) + ... + log(n) >= log(n/2) + ... + log(n) 
                                       = log(n/2) + log(n/2+1) + ... + log(n-1) + log(n)
                                       >= log(n/2) + ... + log(n/2)
                                        = n/2 * log(n/2) 

Я понимаю, что это очень старый вопрос с принятым ответом, но ни один из этих ответов не использует подход, предложенный подсказкой.

Это довольно простой аргумент:

n!(= 1 * 2 * 3 * ... * n) - это произведение nчисел, каждое из которых меньше или равно n. Следовательно, оно меньше, чем произведение nчисел, все равных n; то есть n^n.

Половина чисел - т.е. n/2их - в n!произведении больше или равна n/2. Следовательно, их произведение больше, чем произведение n/2всех чисел, равных n/2; то есть (n/2)^(n/2).

Возьмите логи повсюду, чтобы установить результат.

Извините, я не знаю, как использовать синтаксис LaTeX в stackoverflow ...

Смотрите приближение Стирлинга :

ln (n!) = n * ln (n) - n + O (ln (n))

где последние 2 условия менее значимы, чем первый.

Для нижней границы,

lg(n!) = lg(n)+lg(n-1)+...+lg(n/2)+...+lg2+lg1
       >= lg(n/2)+lg(n/2)+...+lg(n/2)+ ((n-1)/2) lg 2 (leave last term lg1(=0); replace first n/2 terms as lg(n/2); replace last (n-1)/2 terms as lg2 which will make cancellation easier later)
       = n/2 lg(n/2) + (n/2) lg 2 - 1/2 lg 2
       = n/2 lg n - (n/2)(lg 2) + n/2 - 1/2
       = n/2 lg n - 1/2

lg (n!)> = (1/2) (n lg n - 1)

Объединяя обе границы:

1/2 (n lg n - 1) <= lg (n!) <= N lg n

Выбрав нижнюю граничную константу больше (1/2), мы можем компенсировать -1 внутри скобки.

Таким образом, lg (n!) = Theta (n lg n)

Помогая вам дальше, где оставил вас Мик Шарп:

Это deriveration довольно просто: см http://en.wikipedia.org/wiki/Logarithm -> Теория групп

log (n!) = log (n * (n-1) * (n-2) * ... * 2 * 1) = log (n) + log (n-1) + ... + log (2 ) + log (1)

Думайте как бесконечно большой . Что такое бесконечный минус один? или минус два? и т.п.

log (inf) + log (inf) + log (inf) + ... = inf * log (inf)

А затем подумайте о inf как n.

Спасибо, я нашел ваши ответы убедительны , но в моем случае, я должен использовать thetas ; свойства:

log(n!) = Θ(n·log n) =>  log(n!) = O(n log n) and log(n!) = Ω(n log n)

чтобы проверить проблему, я нашел эту сеть, где у вас есть весь процесс объяснил: http://www.mcs.sdsmt.edu/ecorwin/cs372/handouts/theta_n_factorial.htm

Это может помочь:

e ln (x) = x

и

(l m ) n = l m * n

http://en.wikipedia.org/wiki/Stirling%27s_approximation Аппроксимация Стирлинга может помочь вам. Это действительно полезно при решении проблем факториалов, связанных с огромными числами порядка 10 ^ 10 и выше.