Вопросы с тегом «ds.algorithms»

Пол Эрдос говорил о «Книге», где Бог хранит самое элегантное доказательство каждой математической теоремы. Это даже вдохновило книгу (которая, я думаю, теперь в ее 4-м издании): Доказательства из Книги . Если бы у Бога была подобная книга для алгоритмов, какой алгоритм (ы), как вы думаете, был бы кандидатом (ами)? Если …

358 ds.algorithms  soft-question  ds.data-structures  big-list 

Чтобы продемонстрировать важность алгоритмов (например, для студентов и преподавателей, которые не занимаются теорией или даже из совершенно разных областей), иногда полезно иметь под рукой список примеров, где основные алгоритмы были развернуты в коммерческих, государственных и или широко используемое программное / аппаратное обеспечение. Я ищу такие примеры, которые удовлетворяют следующим критериям: …

307 ds.algorithms  big-picture  application-of-theory 

Предположим, Марио ходит по поверхности планеты. Если он начнет идти из известного места в определенном направлении на заранее определенное расстояние, как быстро мы сможем определить, где он остановится? PPPsssPPPvvvpppℓℓ\ellPPPPPP PPPsssvvvℓℓ\ell PPPO(1)O(1)O(1)ℓℓ\ellPPP (На практике длина пути на самом деле не является неограниченной; существует глобальная верхняя граница в терминах количества битов, необходимых …

140 ds.algorithms  cg.comp-geom 

Перестановка двух строк формируется путем встраивания символов в новую строку, сохраняя символы каждой строки в порядке. Например, MISSISSIPPIэто перетасовка MISIPPи SSISI. Позвольте мне назвать строковый квадрат, если это тасование двух одинаковых строк. Например, ABCABDCDквадратный, потому что это перетасовка ABCDи ABCD, но строка ABCDDCBAне квадрат. Существует ли быстрый алгоритм для определения …

117 ds.algorithms  open-problem 

Теоретическая информатика предоставила несколько примеров «цены абстракции». Два самых выдающихся из них - это устранение и сортировка по Гауссу. А именно: Известно, что исключение Гаусса является оптимальным для, скажем, вычисления определителя, если вы ограничиваете операции строками и столбцами в целом [1]. Очевидно, что алгоритм Штрассена не подчиняется этому ограничению, и …

112 ds.algorithms  reference-request  big-list  lower-bounds 

В последние годы было разработано множество алгоритмов поиска путей, которые могут вычислять лучший путь в ответ на изменения графика гораздо быстрее, чем A * - что это такое и чем они отличаются? Они для разных ситуаций, или некоторые устаревшие? Это те, которые я смог найти до сих пор: Д * …

96 ds.algorithms  shortest-path 

В ответе на предыдущий вопрос я упомянул распространенное, но ошибочное мнение, что «гауссовское» исключение происходит за времени. Хотя очевидно, что алгоритм использует O ( n 3 ) арифметических операций, небрежная реализация может создавать числа с экспоненциально большим количеством битов. В качестве простого примера, предположим, что мы хотим диагонализировать следующую матрицу:O(n3)O(n3)O(n^3)O(n3)O(n3)O(n^3) …

72 ds.algorithms  reference-request  linear-algebra 

Какие алгоритмы законной полезности просто слишком сложны для реализации? Позвольте мне прояснить: я не ищу алгоритмы, такие как текущий асимптотический алгоритм оптимального умножения матриц (Coppersmith-Winograd), который разумно реализовать, но имеет константу, которая делает его бесполезным на практике. Я ищу алгоритмы, которые могли бы иметь практическую ценность, но настолько сложны для …

67 ds.algorithms  ds.data-structures  big-list  implementation 

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

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

Знаете ли вы разумные алгоритмы, которые выполняются за полиномиальное время в (Длина ввода + Длина выхода), но у которых асимптотическое время выполнения в той же мере имеет действительно огромную экспоненту / постоянную (по крайней мере, когда доказанная верхняя граница времени выполнения находится в такой способ)?

59 ds.algorithms  big-list 

Широко распространено мнение, что , оптимальный показатель для умножения матриц, фактически равен 2. Мой вопрос прост:ωω\omega Какие у нас есть основания полагать, что ?ω=2ω=2\omega = 2 Мне известны быстрые алгоритмы, такие как Coppersmith-Winograd, но я не знаю, почему их можно считать доказательством для .ω=2ω=2\omega = 2 Наивно это кажется мне …

59 ds.algorithms  linear-algebra  matrix-product 

Генетические алгоритмы не пользуются большой популярностью в мире теории, но они представляют собой достаточно хорошо используемый метаэвристический метод (под метаэвристическим я подразумеваю технику, которая в целом применяется ко многим задачам, таким как отжиг, градиентный спуск и т. П.). Фактически, GA-подобный метод довольно эффективен для евклидовых TSP на практике. Некоторые метаэвристики …

56 ds.algorithms  ne.neural-evol 

Для (поисковых версий) NP- неполных задач проверить решение явно проще, чем найти его, поскольку проверка может быть выполнена за полиномиальное время, тогда как поиск свидетеля занимает (вероятно) экспоненциальное время. Однако в P решение также может быть найдено за полиномиальное время, поэтому не представляется очевидным, когда проверка выполняется быстрее, чем поиск …

52 cc.complexity-theory  ds.algorithms  reference-request 

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

52 ds.algorithms  big-list  ds.data-structures 

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

47 ds.algorithms  soft-question  lo.logic  proofs