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

Учитывая последовательность из чисел, можно ли ее отсортировать с помощью O ( n ln n ) сравнений и O ( n ) перестановок / ходов? Любой указатель на публикации по этому вопросу или контраргументы, показывающие нижнюю границу Ω ( n ln n ) , поможет.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)

12 cc.complexity-theory  ds.algorithms 

Есть несколько конкурирующих понятий "разреженного графа". Например, встраиваемый в поверхность граф можно считать разреженным. Или график с ограниченной плотностью ребер. Или график с высоким обхватом. График с большим расширением. Граф с ограниченной шириной дерева. (Даже в подполе случайных графов, это немного двусмысленно относительно того, что можно назвать разреженным.) И так …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture 

Я ищу хороший справочник для кратчайших путей узкого места. В частности, учитывая вершины s и t в неориентированном графе с весом ребер, вы хотите кратчайший путь от s до t, где длина пути - это максимальное ребро на этом пути. Это можно решить за время O (n + m), найдя …

12 ds.algorithms  reference-request  graph-algorithms 

Пусть x1,…,xnx1,…,xnx_1, \ldots, x_n - точки на плоскости R2R2\mathbb{R}^2 . Рассмотрим полный граф с точками в виде вершин и весами ребер . Вы всегда можете найти вес, который составляет не менее \ 2 2 от общего веса? Если нет, то какая константа должна заменить \ frac 2 3 ?2∥xi−xj∥2‖xi−xj‖2\|x_i - …

12 ds.algorithms  graph-algorithms  application-of-theory  max-cut  clustering 

Название говорит само за себя. Вот Акинатор и 20Q . Принцип этих игр состоит в том, чтобы задавать пользователю ряд вопросов, касающихся некоторой сущности, выбранной пользователем. А потом выясните, что это за сущность. Суть алгоритма состоит в том, чтобы находить «самый полезный вопрос» в каждом раунде, имея дело с пользователем, …

12 ds.algorithms 

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

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth 

Этот вопрос основан на существующем вопросе о том, можно ли моделировать стек с использованием двух очередей с амортизированным раз на операцию стека. Ответ кажется неизвестным. Вот более конкретный вопрос, соответствующий особому случаю, когда сначала выполняются все операции PUSH, а затем все операции POP. Насколько эффективно можно изменить список из N …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting 

Линейное программирование, конечно, в настоящее время очень хорошо понято. У нас много работы, которая характеризует структуру возможных решений и структуру оптимальных решений. У нас сильная двойственность, многовременные алгоритмы и т. Д. Но что известно о минимальных максимальных решениях ЛП? Или, что эквивалентно, максимальные минимальные решения? (Это на самом деле не …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Разложение дерева сложно в худшем случае, но жадный метод кажется почти оптимальным в небольших реальных сетях. Известно ли что-нибудь о сложности разложения дерева «типичного» экземпляра некоторого класса графов? Есть ли пример семейства графов, где жадные методы разложения дерева плохо работают?

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

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

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Какие проблемы с наилучшим известным коэффициентом аппроксимации достигаются алгоритмом, возвращающим равномерно случайное решение? Я знаю один такой пример для задачи магазина перестановок : в статье « Тесные границы для планирования потока перестановок » Вишванат Нагараджан и Максим Свириденко доказали, что случайная последовательность заданий имеет гарантию 2 √F| Перм | См …

12 ds.algorithms  reference-request  approximation-algorithms 

Что меня особенно интересует, так это наличие интересного условия о проценте назначений, которые удовлетворяют формуле 3SAT, чтобы гарантировать, что такие проблемы поддаются решению. Предположим, например, класс задач 3SAT, что из возможных назначений удовлетворяет булевой формуле; мы можем эффективно найти удовлетворяющее задание? Для чего возникает проблема в P?2 n ϵϵ ( …

12 cc.complexity-theory  ds.algorithms  sat  np 

проблема У меня есть неориентированный граф (с несколькими ребрами), который будет меняться со временем, узлы и ребра могут быть вставлены и удалены. При каждой модификации графика я должен обновлять связанные компоненты этого графика. свойства Дополнительные свойства состоят в том, что никакие два компонента никогда не будут повторно соединены. Очевидно, что …

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

Каковы наиболее практически эффективные алгоритмы умножения двух очень разреженных логических матриц (скажем, N = 200 и всего 100-200 ненулевых элементов)? На самом деле, у меня есть преимущество в том, что когда я умножаю A на B, B заранее определены, и я могу выполнять произвольную сложную предварительную обработку на них. Я …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation 

Это продолжение недавнего вопроса Дэвида Эппштейна и мотивировано теми же проблемами. Предположим, у меня есть вершина с весами действительных чисел на его вершинах. Первоначально все вершины не отмечены. Я могу изменить набор отмеченных вершин, либо (1) помечая вершину без неотмеченных предшественников, либо (2) снимая пометку с вершины без отмеченных преемников. …

12 ds.algorithms  directed-acyclic-graph  partial-order