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

фон Несколько лет назад, когда я был студентом, нам дали домашнее задание по амортизированному анализу. Я не смог решить одну из проблем. Я спрашивал об этом в теории , но удовлетворительного результата не было. Я помню курс, на котором Т.А. настаивал на том, что он не смог доказать, и сказал, …

60 ds.algorithms  ds.data-structures  open-problem  time-complexity 

Есть ли какие-либо преимущества в расчете временной сложности алгоритма с использованием лямбда-исчисления? Или есть другая система, разработанная для этой цели? Любые ссылки будут оценены.

43 lambda-calculus  pl.programming-languages  time-complexity 

Мой вопрос прост: Что наихудшее время работы наилучшего известного алгоритма для вычисления eigendecomposition в качестве матрицы?n×nn×nn \times n Собственное разложение сводится к умножению матриц или в худшем случае наиболее известные алгоритмы (через SVD )?O(n3)O(n3)O(n^3) Обратите внимание, что я прошу провести анализ наихудшего случая (только в терминах ), а не для …

40 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

Некоторые из вас, возможно, следили за этим вопросом , который был закрыт из-за отсутствия уровня исследования. Итак, я извлекаю часть вопроса, которая находится на исследовательском уровне. Помимо «более простых» техник, таких как приведение к сортировке или задача, полная по EXPTIME, какие методы были использованы для доказательства нижних границ сложности задачи …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Проблема Halting гласит, что невозможно написать программу, которая может определить, останавливается ли другая программа, для всех возможных программ ввода . Тем не менее, я могу, конечно, написать программу, которая может вычислить время выполнения программы вроде: for(i=0; i<N; i++) { x = 1; } и вернуть временную сложность , даже не …

23 computability  time-complexity  formal-methods  se.software-engineering 

Когда я возился с неканоническим анализом LR, я придумал метод синтаксического анализа (с таблицами бесконечного размера, что делает его несколько непрактичным ), способный анализировать ровно однозначные грамматики за времени, и мне было интересно, возможно ли это сделать лучше:O(n2)O(n2)O(n^2) Можно ли анализировать все однозначные грамматики за линейное время? Я вполне уверен, …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Я ищу ссылку на следующий результат: Добавление двух целых чисел в факторизованном представлении так же сложно, как и деление двух целых чисел в обычном двоичном представлении. (Я уверен, что это там, потому что это то, что я когда-то задавался вопросом, а затем был взволнован, когда я наконец увидел это в …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Этот вопрос касается связи между нормальным умножением двоичных чисел и модулем умножения полиномов. Чтобы конкретизировать вопрос, я в идеале хотел бы знать, существует ли лучшее решение вопроса из Кнута тома. 2, 3-е издание, стр. 420, чем приведенное в книге. «Может ли умножение многочленов по модулю 2 быть облегчено с помощью …

22 ds.algorithms  reductions  time-complexity 

Что известно о временной сложности следующей задачи, которую мы называем 3-MUL? Для заданного множества SSS из nnn целых чисел существуют ли такие элементы a,b,c∈Sa,b,c∈Sa,b,c\in S , что ab=cab=cab=c ? Эта проблема похожа на задачу 3-СУММ, которая спрашивает, существуют ли три элемента a,b,c∈Sa,b,c∈Sa,b,c\in S такие что a+b+c=0a+b+c=0a+b+c=0 (или эквивалентно a+b=ca+b=ca+b=c ). …

22 cc.complexity-theory  ds.algorithms  time-complexity 

Существует ли естественная проблема в P, для которой наилучшая известная временная граница имеет вид , где α - иррациональная постоянная?O(nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

Лучшая известная верхняя граница для временной сложности умножения - это оценка Мартина Фюрера , которая является более чем линейной сложностью сложения по времени. Есть ли у нас доказательство того, что сложение по сути проще, чем умножение?журнал nп 2O ( журнал*н )Nжурнал⁡N2О(журнал*⁡N)n\log n2^{O(\log^* n)}

21 cc.complexity-theory  time-complexity 

Хорошо известно, что палиндромы могут распознаваться в линейном времени на машинах Тьюринга с лентами, но не на машинах Тьюринга с одной лентой (в этом случае необходимое время является квадратичным). Алгоритм линейного времени использует копию входных данных и, следовательно, также использует линейное пространство.222 Можем ли мы распознать палиндромы за линейное время …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

Какова временная сложность (не сложность запросов) алгоритма Гровера? Мне кажется ясным, что это поскольку существуют итерации и каждая итерация требует использования операции отражения, которая в свою очередь требует времени с использованием любого стандартного набора универсальных ворот.Ω( √Ω ( журнал( N) N--√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω(log(N))Ω ( N--√)Ω(N)\Omega(\sqrt{N})Ω ( журнал( N) )Ω(log⁡(N))\Omega(\log(N)) Проблема в …

19 reference-request  quantum-computing  time-complexity 

Пусть f(n)f(n)f(n) будет временем выполнения задачи на входе размера в худшем случае nnn. Давайте сделаем задачу немного странной, установив f(n)=n2f(n)=n2f(n) = n^2 для n=2kn=2kn=2k но f(n)=nf(n)=nf(n) = n для n=2k+1n=2k+1n=2k+1 . Итак, какова нижняя граница проблемы? Насколько я понял, это просто нижняя граница f(n)f(n)f(n) . Но мы знаем, что f(n)=Ω(n2)f(n)=Ω(n2)f(n) …

19 cc.complexity-theory  time-complexity 

Кажется, известно, что для того, чтобы найти ответ на запрос по реляционной базе данных , нужно время , и невозможно избавиться от показателя степени,QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Поскольку может быть очень большим, мы задаемся вопросом, почему базы данных вообще работают на практике.DDD Является ли это просто вопросом обычных запросов, которые вообще не велики …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases