Вопросы с тегом «asymptotics»

Вопросы об асимптотических обозначениях и анализе

3
Как узнать, какую нотацию анализа сложности времени использовать?
В большинстве вводных классов алгоритмов вводятся нотации, такие как (Big O) и , и студент, как правило, учится использовать одну из них для определения сложности времени.ΘОOOΘΘ\Theta Однако есть и другие обозначения, такие как , и . Существуют ли какие-либо конкретные сценарии, в которых одна нотация предпочтительнее другой?Ω ωоooΩΩ\Omegaωω\omega

11
Решение или аппроксимация рекуррентных отношений для последовательностей чисел
В информатике нам часто приходится решать рекуррентные соотношения , то есть находить замкнутую форму для рекурсивно определенной последовательности чисел. При рассмотрении времени выполнения нас часто интересует в основном асимптотический рост последовательности . Примеры Время выполнения хвостовой рекурсивной функции, понижающейся до от чье тело занимает время :000nnnf(n)f(n)f(n) T(0)T(n+1)=0=T(n)+f(n)T(0)=0T(n+1)=T(n)+f(n)\qquad \begin{align} T(0) &= …

9
Есть ли какие-либо проблемы, которые становятся легче, когда они увеличиваются в размерах?
Это может быть нелепым вопросом, но возможно ли иметь проблему, которая на самом деле становится легче по мере увеличения размера входных данных? Я сомневаюсь, что любые практические проблемы такие, но, может быть, мы можем изобрести вырожденную проблему, которая обладает этим свойством. Например, возможно, он начинает «решать себя» по мере того, …

5
Как этот алгоритм сортировки Θ (n³), а не Θ (n²), в худшем случае?
Я только начал изучать структуры данных и алгоритмы, и мой ассистент дал нам следующий псевдокод для сортировки массива целых чисел: void F3() { for (int i = 1; i < n; i++) { if (A[i-1] > A[i]) { swap(i-1, i) i = 0 } } } Это может быть непонятно, …

2
Что означает ?
Это основной вопрос, но я думаю, что совпадает с , поскольку больший член должен доминировать при переходе к бесконечности? Кроме того, это будет отличаться от O (\ min (m, n)) . Это правильно? Я продолжаю видеть это обозначение, особенно при обсуждении алгоритмов графа. Например, вы обычно видите: O (| V …

4
Как называется класс функций, описываемый O (n log n)?
В «Big O» общие обозначения имеют общие имена (вместо того, чтобы говорить «о некотором постоянном множителе»): O (1) - «Константа» O (log n) является "логарифмическим" O (n) является "линейным" O (n ^ 2) является "квадратичным" O (n * log n) есть ??? Это просто "n log n" или у него …

6
Сортировка функций по асимптотическому росту
Предположим, у меня есть список функций, например nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Как мне отсортировать их асимптотически, т.е. после отношения, определенного f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , при условии, что они действительно попарно сопоставимы (см. также здесь )? Использование определения кажется неудобным, …

2
Насколько асимптотически плохо наивные тасовки?
Хорошо известно, что этот «наивный» алгоритм перестановки массива путем замены каждого элемента на другой, случайно выбранный, не работает правильно: for (i=0..n-1) swap(A[i], A[random(n)]); В частности, поскольку на каждой из итераций делается один из вариантов (с одинаковой вероятностью), существует возможных «путей» в вычислениях; потому что количество возможных перестановокне делится равномерно на …

4
Как O и Ω относятся к худшему и лучшему случаям?
Сегодня в лекции мы обсудили очень простой алгоритм поиска элемента в отсортированном массиве с использованием бинарного поиска . Нас попросили определить его асимптотическую сложность для массива из элементов.nnn Моя идея заключалась в том, что это явно или чтобы быть более конкретным, потому что - это число операций в худшем случае. …

2
Почему пустой тип C не аналогичен пустому / нижнему типу?
Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

1
Асимптотика числа слов в обычном языке заданной длины
Для обычного языка , пусть с п ( Ь ) быть число слов в L длины п . Используя Jordan канонической форму (применительно к Неаннотированным матрицам перехода некоторого DFA для L ), можно показать , что при достаточно большой п , с п ( L ) = K Е я …

10
«Для малых значений n O (n) можно рассматривать как O (1)»
Я слышал несколько раз, что при достаточно малых значениях n O (n) можно рассматривать / обрабатывать так, как будто это O (1). Пример : Мотивация для этого основана на неверной идее, что O (1) всегда лучше, чем O (lg n), всегда лучше, чем O (n). Асимптотический порядок операции имеет значение …

2
Структура данных с поиском, вставкой и удалением за амортизированное время ?
Существует ли структура данных для ведения упорядоченного списка, которая поддерживает следующие операции за время амортизации ?O ( 1 )O(1)O(1) GetElement (k) : возвращает й элемент списка.Кkk InsertAfter (x, y) : вставить новый элемент y в список сразу после x. Удалить (x) : удалить x из списка. Для последних двух операций …

5
Считается ли O (mn) «линейным» или «квадратичным» ростом?
Если бы у меня была функция с временной сложностью O ( mn ), где m и n - размеры двух ее входов, мы бы назвали ее временную сложность «линейной» (поскольку она линейна как по m, так и по n ) или «квадратичной» ( так как это продукт двух размеров)? Или …

4
Как обмануть сюжетную проверку эвристики?
Над здесь , Дэйв Кларк предложил , что для того , чтобы сравнить асимптотический рост вы должны построить функции под руку. Как теоретик, склонный к компьютерным наукам, я называю (ed) это vodoo, поскольку заговор никогда не является доказательством. Во-вторых, я должен согласиться с тем, что это очень полезный подход, который …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.