Запитання з тегом «time-complexity»

тло Кілька років тому, коли я був студентом, нам дали домашнє завдання на амортизований аналіз. Я не зміг вирішити одну з проблем. Я запитав це в comp.theory , але задовільний результат не виник. Я пам’ятаю, що курс ТА наполягав на тому, що він не міг довести, і сказав, що забув …

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

Чи є якісь переваги для обчислення складності в часі алгоритму з використанням лямбда-числення? Або існує інша система, призначена для цього? Будь-які посилання будуть вдячні.

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

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

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

Деякі з вас, можливо, стежили за цим питанням , яке було закрито через відсутність рівня досліджень. Отже, я витягую частину питання, що знаходиться на дослідницькому рівні. Поза "простішими" методами, такими як зменшення до сортування або завдання, повне EXPTIME, які методи були використані для доведення нижчих меж для часової складності проблеми? …

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

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

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

Під час майстерності з неканонічним синтаксичним розбором LR я придумав метод розбору (з нескінченними розмірами таблиць, що робить його дещо непрактичним ), здатний розбирати точно однозначні граматики за час , і мені було цікаво, чи можна це зробити краще:О ( н.)2)О(н2)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. Щоб зробити питання конкретним, в ідеалі я хотів би дізнатися, чи є краще рішення питання від Knuth vol. 2, 3-е видання, сторінка 420, ніж наведено в книзі. "Чи можна полегшити множення поліномів по модулю 2, використовуючи …

22 ds.algorithms  reductions  time-complexity 

Що відомо про часову складність наступної проблеми, яку ми називаємо 3-MUL? Беручи під увагу безліч з цілих чисел, існують елементи таким чином, що ?n a , b , c ∈ S a b = cSSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Ця проблема схожа на задачу 3-SUM, яка запитує, чи є три елементи такі, що …

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

Чи є якась природна проблема в P, для якої найвідоміший зв'язаний час виконання має вигляд , де - ірраціональна константа?О ( н.)α)O(nα)O(n^\alpha)αα\alpha

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

Найкращою верхньою межею, відомої про часову складність множення, є зв'язаний Мартіна Фюрера , що є більше, ніж лінійна складність часу додавання. Чи є у нас докази того, що додавання за своєю суттю простіше, ніж множення?n журналn 2O ( журнал∗n )nlog⁡n2O(log∗⁡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--√)Ω(журнал⁡(N)N)\Omega(\log(N) \sqrt{N})ітерації та кожна ітерація вимагає використання операції відображення, яка, у свою чергу, вимагає часуΩ(log(N)),використовуючи будь-який стандартний набір універсальних воріт.Ω ( N--√)Ω(N)\Omega(\sqrt{N})Ω ( лог( N) )Ω(журнал⁡(N))\Omega(\log(N)) Проблема полягає в тому, …

19 reference-request  quantum-computing  time-complexity 

Нехай - найгірший час запуску проблеми при введенні розміру . Давайте зробимо задачу трохи дивною, фіксуючи для але для .f( n )f(n)f(n)нnnf( n ) = n2f(n)=n2f(n) = n^2n = 2 kn=2kn=2kf( n ) = nf(n)=nf(n) = nn = 2 k + 1n=2k+1n=2k+1 Отже, яка нижня межа проблеми? Я зрозумів, що …

19 cc.complexity-theory  time-complexity 

Здається, відомо, що для пошуку відповіді на запит по реляційній базі даних потрібен час , і не можна позбутися від показника.QQQDDD| Q || Д || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| Оскільки може бути дуже великим, ми дивуємося, чому бази даних взагалі працюють на практиці.DDD Це лише питання про те, що звичайні …

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