Вопросы с тегом «space-complexity»

Здесь известная проблема. Для массива A[1…n]A[1…n]A[1\dots n] натуральных чисел выведите наименьшее натуральное число, которого нет в массиве. Проблема может быть решена в O(n)O(n)O(n) пространстве и времени: прочитать массив, отслеживать в O(n)O(n)O(n) пространстве, произошло ли 1,2,…,n+11,2,…,n+11,2,\dots,n+1 , отсканировать наименьший элемент. Я заметил, что вы можете обменять пространство на время. Если у …

14 complexity-theory  time-complexity  space-complexity 

Мы знаем , что в N L по Иммерман-Szelepcsenyi теорема теорема и так ы т - с O п п е с т я v я т у есть N L - h a r d, следовательно, s t - n ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} множества один лог-пространство сводится к с т - …

14 complexity-theory  reductions  space-complexity 

Существуют ли известные алгоритмы для сформулированных задач, которые требуют SPACE-сложности O (sqrt (N))? Я знаю, что существуют алгоритмы с такой большой временной сложностью.

13 complexity-theory  asymptotics  space-complexity 

Учитывая две строки, как вы можете проверить, являются ли они перестановкой друг друга, используя пространство O (1)? Модификация строк никоим образом не допускается. Примечание: O (1) пробел по отношению как к длине строки, так и к размеру алфавита.

13 algorithms  strings  space-complexity 

Существует хорошо известный в худшем случае алгоритм выбора , чтобы найти K «й наибольший элемент в массиве целых чисел. Он использует медиану из-медианы подойти , чтобы найти достаточно хороший стержень, разбивает входной массив на месте , а затем рекурсивно продолжается в его поисках к «го по величине элемента.O(n)O(n)O(n) kkkkkk Что …

11 algorithms  algorithm-analysis  space-complexity  lower-bounds 

На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Существуют эффективные структуры данных для представления заданных разделов. Эти структуры данных имеют хорошие временные сложности для таких операций, как Union и Find, но они не особенно эффективны в использовании. Что такое эффективный для пространства способ представления раздела набора? Вот одна из возможных отправных точек: Я знаю , что количество разделов …

11 data-structures  combinatorics  space-complexity  sets  partitions 

Доказано, что проблема определения, является ли вход палиндромом или нет, требует пространства на машине Тьюринга. Однако даже для сохранения входных данных требуется пространство n , не значит ли это, что всем машинам Тьюринга требуется пространство Ω ( n ) ?Ω ( журналн )Ω(журнал⁡N)\Omega(\log n)NNnΩ ( n )Ω(N)\Omega(n) Конечно, здесь нет …

10 turing-machines  space-complexity 

У меня есть следующая алгоритмическая проблема: Определить сложность пространства Тьюринга распознавания цепочек ДНК, которые являются палиндромами Уотсона-Крика. Палиндромы Уотсона-Крика - это строки, обратным дополнением которых является исходная строка. Дополнением определяется буква-накрест, вдохновленный ДНК: А является дополнением Т и С является дополнением Г. Простой пример для WC-палиндром ACGT. Я придумал два …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

На самом деле я обнаружил, что набор контекстно-зависимых языков, ( принятых языков) не так широко обсуждается, как (обычные языки) или (контекстно-свободные языки). А также открытая проблема не так известна, как «аналогичная» проблема: « ".CSLCSL\mathbf{CSL}R E G C F L D S P A C E ( O ( n ) …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Я изучал ранговый коэффициент корреляции Спирмена ρ = ∑я( хя- х¯) ( уя- у¯)Σя( хя- х¯)2Σя( уя- у¯)2-------------------√ρзнак равноΣя(Икся-Икс¯)(Yя-Y¯)Σя(Икся-Икс¯)2Σя(Yя-Y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} . для двух списков и . В чем сложность алгоритма?Икс1, … , ХNИкс1,...,ИксNx_1, \dots, x_nY1, ... , уNY1,...,YNy_1, \dots, y_n Поскольку алгоритм должен просто вычислять …

10 complexity-theory  time-complexity  space-complexity 

Я ищу реализацию заданного типа данных. То есть мы должны поддерживать динамическое подмножество SSS (размера nnn ) из юниверса U={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\} размера uuu с операции insert(x)(добавить элемент xв SSS ) и find(x)(проверяет, xявляется ли элемент членом SSS ). Я не забочусь …

9 data-structures  efficiency  space-complexity  sets  dictionaries 

Поскольку вопрос гласит, как мы можем доказать, что ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Кто-нибудь может указать мне на доказательство или изложить его здесь? Спасибо!

9 complexity-theory  time-complexity  space-complexity