Подтвердить что ты не робот

Что такое простой способ найти C и N при доказательстве алгоритма Big-Oh?

Я начинаю узнавать о нотации Big-Oh.

Что такое простой способ найти C и N 0 для данной функции?

Скажем, например:

(n + 1) 5 или n 5 + 5n 4 + 10n 2 + 5n + 1

Я знаю, что формальное определение для Big-Oh:

Пусть f (n) и g (n) - отображение функций неотрицательные целые числа к действительным числам. Будем говорить, что f (n) есть O (g (n)), если - вещественная постоянная s > 0 и целочисленная константа N 0 >= 1 такой, что f (n) <= cg (n) для любого целого N > N 0.

Мой вопрос: какой хороший, надежный метод для выбора значений для c и N 0?

Для данного многочлена выше (n + 1) 5 я должен показать, что это O (n 5). Итак, как мне выбрать мои c и N 0, чтобы я мог сделать указанное выше определение истинным, не догадываясь?

4b9b3361

Ответ 1

Вы можете выбрать константу c, добавив коэффициенты каждого члена в ваш многочлен. Так как

| n 5 + 5n 4 + 0n 3 + 10n 2 + 5n 1 + 1n 0 | <= | n 5 + 5n 5 + 0n 5 + 10n 5 + 5n 5 + 1n 5 |

и вы можете упростить обе стороны, чтобы получить

| n 5 + 5n 4 + 10n 2 + 5n + 1 | <= | 22n 5 |

Итак, c = 22, и это всегда будет справедливо для любого n >= 1.

Почти всегда можно найти нижний c, подняв N 0, но этот метод работает, и вы можете сделать это в своей голове.

(Операции абсолютного значения вокруг полиномов должны учитывать отрицательные коэффициенты.)

Ответ 2

Обычно доказательство проводится без сбора бетона С и №. Вместо доказательства f (n) C * g (n) вы доказываете, что f (n)/g (n) С.

Например, для доказательства n 3 + n является O (n 3), вы делаете следующее:

(n 3 + n)/n 3= 1 + (n/n 3) = 1 + (1/n 2) < 2 для любого n >= 1. Здесь вы можете выбрать любой C >= 2 с No = 1.

Ответ 3

Вы можете проверить, что lim abs (f (n)/g (n)) при n → + infitity, и это даст вам константу (g (n) в вашем примере n ^ 5, f ( n) является (n + 1) ^ 5).

Заметим, что значение Big-O при x → + бесконечности состоит в том, что если f (x) = O (g (x)), то f (x) "растет не быстрее g (x)", поэтому вам просто нужно доказать, что lim abs (f (x)/g (x)) существует и меньше + бесконечности.

Ответ 4

Это сильно зависит от функции, которую вы рассматриваете. Однако для данного класса функций вы можете придумать алгоритм.

Например, полиномы: если вы установите C на любое значение, большее, чем старший коэффициент многочлена, то вы можете решить для N 0.

Ответ 5

После того, как вы понимаете магию, вы также должны получить, что big-O - это нотация. Это означает, что вам не нужно искать эти коэффициенты при решении каждой проблемы, как только вы убедитесь, что поняли, что происходит за этими письмами. Вы должны просто управлять символами согласно значению, согласно его правилам.

Нет простого универсального правила для определения действительных значений N и c. Вы должны вспомнить свое знание исчисления, чтобы решить его.

Определение big-O запутано с определение предела. Это делает c удовлетворяющим:

c > lim | f (n)/g (n) |, учитывая n подходов + бесконечность.

Если последовательность ограничена сверху, она всегда имеет предел. Если это не так, то f не является O (g). После того, как вы выбрали конкретный c, у вас не будет проблем с поиском подходящего N.