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

В разговорной речи определение показателя умножения матриц является наименьшим значением, для которого существует известный алгоритм умножения матриц . Это неприемлемо как формальное математическое определение, поэтому я предполагаю, что техническое определение является чем-то вроде инфимума по всем , так что в существует алгоритм умножения матриц .ωω\omeganωnωn^{\omega}tttntntn^t В этом случае нельзя сказать, …

15 ds.algorithms  linear-algebra 

Каковы некоторые нетривиальные задачи, в которых мы знаем, что текущий алгоритм, который у нас есть, является асимптотически оптимальным? (Для машин Тьюринга) И как это доказано?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

Задача обслуживания заказа (или «поддержание заказа в списке») заключается в поддержке операций: singleton: создает список с одним элементом, возвращает указатель на него insertAfter: дает указатель на элемент, вставляет новый элемент после него, возвращает указатель на новый элемент delete: дает указатель на элемент, удаляет его из списка minPointer: при наличии двух …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

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

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Я задал этот вопрос о переполнении стека некоторое время назад: Проблема: продажа Боба . Кто-то предложил также разместить здесь вопрос. Кто-то уже задавал вопрос, связанный с этой проблемой, здесь - минимальный вес леса данной мощности - но, насколько я понимаю, это не помогает мне с моей проблемой. На StackOverflow также …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

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

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Пытаясь разработать собственный алгоритм сортировки, я ищу оптимальный эталон, с которым я могу его сравнить. Для несортированного порядка элементов A и отсортированного порядка B , какой эффективный способ вычислить оптимальное количество транспозиций, чтобы добраться от A до B ? Транспонирование определяется как переключение положения двух элементов в списке, например, 1 …

15 ds.algorithms  co.combinatorics  sorting 

Одним из классических расширений проблемы максимального потока является проблема «максимального потока во времени»: вам дается орграф, два узла которого различаются как источник и приемник, где каждая дуга имеет два параметра, - единичное время и задержка. Вы также дали горизонт времени . Цель состоит в том, чтобы вычислить поток с течением …

15 ds.algorithms  graph-algorithms  network-modeling  max-flow-min-cut 

ΣИксΠi j ∈ Eе( хя, хJ)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)МаксимумИксΠi j ∈ Eе( хя, хJ)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Где max или сумма берется по всем меткам VVV , произведение берется по всем ребрам ЕEE для графа G = { V, E}G={V,E}G=\{V,E\} а еff - произвольная функция. Эту величину легко …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

Преобразование Уолша-Адамара (WHT) является обобщением преобразования Фурье и представляет собой ортогональное преобразование для вектора действительных или комплексных чисел размерности . Преобразование популярно в квантовых вычислениях, но недавно оно было изучено как своего рода предварительное условие для случайных проекций многомерных векторов для использования при доказательстве леммы Джонсона-Линденштраусса. Его главная особенность заключается …

15 ds.algorithms  linear-algebra 

Я ищу онлайновый алгоритм для поддержания транзитивного замыкания ориентированного ациклического графа с временной сложностью меньше, чем O (N ^ 2) на каждое добавление ребра. Мой текущий алгоритм выглядит так: For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ \cup …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

Этот вопрос относится к алгоритму Фишера-Йейтса для возврата случайного перемешивания данного массива. На странице Википедии написано, что ее сложность составляет O (n), но я думаю, что это O (n log n). На каждой итерации i случайное целое число выбирается между 1 и i. Простое запись целого числа в память - …

15 ds.algorithms  permutations 

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

15 ds.algorithms  reference-request  graph-theory 

Учитывая матрицу m×nm×nm \times n (при условии, что m≥nm≥nm \ge n ), каков самый быстрый алгоритм для вычисления его ранга и базиса столбцов? Я знаю, что это может быть решено с помощью линейного пересечения матроидов, что подразумевает детерминистический алгоритм времени O(mn1.62)O(mn1.62)O(mn^{1.62}) и рандомизированный алгоритм времени . Существует ли детерминированный по …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

SAT решатели дают мощный способ проверить правильность логической формулы с одним квантификатором. Например, чтобы проверить правильность , мы можем использовать SAT-решатель, чтобы определить, выполнимо ли . Чтобы проверить правильность , мы можем использовать SAT-решатель, чтобы определить, выполнимо ли . (Здесь - -вектор булевых переменных, а - булева формула.)φ ( x …

15 ds.algorithms  lo.logic  sat  boolean-functions