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

Количество временных ресурсов (количество атомарных операций или машинных шагов), необходимое для решения проблемы, выраженной в виде размера ввода. Если ваш вопрос касается анализа алгоритма, используйте вместо него тег [runtime-analysis]. Если ваш вопрос касается того, завершится ли когда-либо * вычисление или нет, используйте вместо него тег [compubility]. Сложность времени, пожалуй, самая важная подтема теории сложности.

1
Ограниченная версия проблемы клики?
Рассмотрим следующую версию задачи Клика, где вход имеет размер и нас просят найти клику размера k . Ограничение состоит в том, что процедура принятия решения не может изменить входной граф в любое другое представление и не может использовать любое другое представление для вычисления его ответа, кроме log ( n k …


4
Меняется ли сложность сильно NP-трудных или неполных задач, когда их входные данные унарно кодируются?
Меняется ли сложность задачи с полной NP-сложностью или NP-полной (как, например, определено здесь ), когда ее вход является унарным, а не двоичным? Какая разница, если вход сильно NP-сложной задачи является унарным? Я имею в виду, если я возьму, к примеру, проблему рюкзака со слабой NP-полной, она является NP-полной при двоичном …

3
Почему большие входные размеры подразумевают более сложные случаи?
Ниже предположим, что мы работаем с машиной Тьюринга с бесконечной лентой. Объясняя кому-то понятие временной сложности и почему оно измеряется относительно входного размера экземпляра, я наткнулся на следующее утверждение: [..] Например, естественно, что вам нужно больше шагов для умножения двух целых чисел на 100000 бит, чем, скажем, умножение двух целых …

3
Как быстро мы можем найти все комбинации четырех квадратов, которые суммируются с N?
Вопрос был задан при переполнении стека ( здесь ): Принимая во внимание целое число , распечатать все возможные комбинации целочисленных значений и , которые решают уравнение .NNND A 2 + B 2 + C 2 + D 2 = NA , B , CA,B,CA,B,CDDDA2+ B2+ C2+ D2= NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N …

3
Эффективный алгоритм для вычисления
- го числа Фибоначчи может быть вычислен в линейное время с использованием следующего повторения:Nnn def fib(n): i, j = 1, 1 for k in {1...n-1}: i, j = j, i+j return i - го числа Фибоначчи также может быть вычислена как [ ф п / √Nnn. Тем не менее, это …

1
Предлагая уточнения типов
На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные 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 

2
Хеширование с использованием деревьев поиска вместо списков
Я борюсь с хэшированием и бинарным поисковым материалом. И я прочитал, что вместо использования списков для хранения записей с одинаковыми значениями хеш-функции также возможно использовать двоичные деревья поиска. И я пытаюсь понять, что наихудший и средний случай времени выполнения операций insert, find и delete стоит того средний случай. Улучшаются ли …

4
Оценка средней сложности времени данного алгоритма сортировки пузырьков.
Учитывая этот псевдокод пузырьковой сортировки: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT Какие основные идеи я должен …

1
Существует ли субкубический алгоритм для следующей задачи?
Учитывая симметричную вещественную матрицу , существует ли алгоритм, который вычисляет сумму по всем 1 \ leq i &lt;j &lt;k \ leq n со сложностью по времени лучше, чем O (n ^ 3) ?n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i&lt;j&lt;k≤n1≤i&lt;j&lt;k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

1
Коллекция APX-сложные проблемы
Все знают «Garey &amp; Johnson», и я всегда обращаюсь к ним, когда мне нужно выполнить преобразование для доказательства NP-твердости. Однако недавно я нуждался в доказательстве твердости APX, и мне интересно, есть ли подобный (и более современный ...?) Набор проблем, которые, как было показано, являются APX-сложными. Кто-нибудь знает что-нибудь подобное? Мне …

2
Находится ли HORN-SAT в LIN, если да, то почему это не означает, что P = LIN?
Зоопарк Сложности определяет как класс задач решения, решаемых детерминированной машиной Тьюринга за линейное время.LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P Поскольку HORN-SAT разрешим в (как указано в алгоритмах линейного времени для проверки выполнимости формул рогового высказывания (1984) )O(n)O(n)O(n) Представлены новые алгоритмы для определения, является ли (пропозициональная) формула Хорна выполнимой. Если формула Хорна содержит …

1
Может ли сложность времени Big-Oh содержать более одной переменной?
Скажем, например, я занимаюсь обработкой строк, которая требует некоторого анализа двух строк. У меня нет никакой информации о том, какова их длина, поэтому они происходят из двух разных семей. Было бы приемлемо назвать сложность алгоритма или O ( n + m ) (в зависимости от того, используем ли мы наивный …

2
Противоречие для неравенства P и NP?
Я пытаюсь утверждать, что N не равен NP, используя теоремы иерархии. Это мой аргумент, но когда я показал его нашему учителю и после дедукции, он сказал, что это проблематично, когда я не могу найти вескую причину для принятия. Мы начнем, предполагая , что P=NPP=NPP=NP . Тогда из этого следует, что …

1
Может ли это быть проблемой NP-Complete?
Рассмотрим следующую постановку задачи: Получив начальное число, вы и ваш друг по очереди вычитаете из него идеальный квадрат. Первый, кто доберется до нуля, побеждает. Например: Начальное состояние: 37 Игрок1 вычитает 16. Состояние: 21 Игрок2 вычитает 8. Состояние: 13 Игрок1 вычитает 4. Состояние: 9 Player2 вычитает 9. Состояние: 0 Player2 выигрывает! …

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