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

Что-нибудь известно о следующей проблеме? Имеет ли это смысл вообще? Как это называется? Это тривиально эквивалентно какой-то другой проблеме? Что такое сложность времени? Для заданного неориентированного (общего / плоского / ограниченной степени / и т. Д.) Графа G = (V, E) найдите максимальное подмножество ребер E ', такое, что G' …

14 ds.algorithms  graph-theory 

Я заинтересован в реализации SM для задачи LP, однако я слышал о возможных подводных камнях: книга Кормена говорит, что возможно иметь входные данные, которые приведут к тому, что наивная реализация будет вести себя экспоненциально. Я также слышал, что наивная реализация может зацикливаться на каких-то данных. Есть ли книга / бумага …

14 ds.algorithms  linear-programming  software  implementation  simplex 

Пусть G будет ненаправленным графом из n узлов, и пусть T будет подмножеством узлов V (G), называемых терминалами . Сохранитель расстояния (G, T) - это граф H, удовлетворяющий свойству dЧАС( u , v ) = dграмм( ты , ты )dЧАС(U,v)знак равноdграмм(U,v)d_H(u,v) = d_G(u,v) для всех узлов u, v в T. …

14 ds.algorithms  reference-request  graph-algorithms  planar-graphs 

Я уже задавал этот вопрос на stackoverflow , но, возможно, он лучше подходит для этого сайта. Проблема в: У меня N пар целых чисел без знака. Мне нужно их отсортировать. Конечный вектор пар должен сортироваться неуклонно по первому числу в каждой паре и неуклонно по второму в каждой паре. Каждая …

14 ds.algorithms  sorting 

Рассмотрим такой язык LLL , что: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) и так что L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Другими словами, самая быстрая машина вычисляет за время а наиболее экономичная машина вычисляет при использовании пространства .MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) Что можно сказать о пространственной эффективности М или временной эффективности М '? Или, точнее, …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

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

14 ds.algorithms  graph-theory  linear-programming  simplex 

Интересно, как найти обхват разреженного неориентированного графа. Под разреженным я подразумеваю . Под оптимальным я подразумеваю минимальную временную сложность.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Я думал о некоторой модификации алгоритма Тарьяна для неориентированных графов, но я не нашел хороших результатов. На самом деле я думал, что если бы я мог найти 2-связные компоненты в , …

14 ds.algorithms  graph-theory  open-problem 

Мы знаем, что алгоритм mincut Каргера может быть использован, чтобы доказать (неконструктивно), что максимальное число возможных срезов, которые может иметь граф, равно (n2)(n2)n \choose 2 . Мне было интересно, можем ли мы как-то доказать эту идентичность, дав биективное (довольно инъективное) доказательство от набора минутных чисел до другого набора мощности (n2)(n2)n …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

Я читаю статью «Быстрых Паксосов» Лесли Лампорта и застреваю с доказательствами правильности как классических Паксосов, так и Быстрых Паксосов. Для согласованности значение vvv выбранное координатором на этапе 2a2a2a в раунде iii должно удовлетворять CP(v,i):CP(v,i):CP(v,i): Для любого раундаj&lt;ij&lt;ij < i никакое значение, кромеvvv не было или не могло быть выбрано в …

13 ds.algorithms  dc.distributed-comp  proofs 

Мы дали направленный ациклический граф с номером , связанным с каждой вершиной ( г : V → N ), и целевым числом Т ∈ N .G=(V,E)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N}T∈NT∈NT\in \mathbb{N} Проблема DAG подмножества суммы (может существовать под другим именем, ссылка будет большой) спрашивает , есть ли вершины , таким образом, что Σ …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

Мотивация: соавтор редактирует рукопись, и я хотел бы увидеть четкое резюме изменений. Все инструменты, подобные "diff", как правило, бесполезны, если вы одновременно перемещаете текст (например, реорганизуете структуру) и делаете локальные правки. Неужели так сложно понять это правильно? Определения: я хотел бы найти минимальное расстояние редактирования, где разрешены операции: «дешевые» операции: …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Этот вопрос о задачах квадратичного программирования с коробочными ограничениями (box-QP), т. Е. Задачах оптимизации вида минимизировать учетом x ∈ [ 0 , 1 ] n .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Если бы был положительно полудетерминированным, то все было бы хорошо, выпукло и легко, и мы …

13 ds.algorithms  optimization  exp-time-algorithms 

В своей основополагающей работе Теоретико-групповые алгоритмы для умножения матриц Кон, Кляйнберг, Сегеди и Уманс вводят концепцию однозначно решаемой головоломки (определено ниже) и емкость USP. Они утверждают, что Копперсмит и Виноград, в своих собственных новаторских работах по умножению матриц с помощью арифметических прогрессий , «неявно» доказывают, что емкость USP составляет . …

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

Набор-функция fff монотонно субмодулярная , если для всех A,BA,BA,B , f(A)+f(B)≥f(A∪B)+f(A∩B).f(A)+f(B)≥f(A∪B)+f(A∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Более сильным свойством является f(A)+f(B)+f(C)+f(A∪B∪C)≥f(A∪B)+f(B∪C)+f(A∪C)+f(A∩B∩C).f(A)+f(B)+f(C)+f(A∪B∪C)≥f(A∪B)+f(B∪C)+f(A∪C)+f(A∩B∩C). \begin{multline*} f(A) + f(B) + f(C) + f(A\cup B\cup C) \geq \\f(A\cup B) + f(B\cup C) + f(A\cup C) + f(A \cap B …

13 ds.algorithms  approximation-algorithms  submodularity 

В 1973 году Вайнер дал первое линейное построение суффиксных деревьев. Алгоритм был упрощен в 1976 году МакКрейтом, а в 1995 году - Укконеном. Тем не менее, я нахожу алгоритм Укконена относительно концептуально задействованным. Были ли упрощения алгоритма Укконена с 1995 года?

13 ds.algorithms