Запитання з тегом «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, що задовольняє властивість гН( u , v ) = dГ( u , v )гН(у,v)=гГ(у,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)) Що можна сказати про космічну ефективність M або про ефективність часу M '? Або точніше, якщо …

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

Я написав реалізацію алгоритму Куна-Манкреса для задачі щодо мінімальної ваги двосторонньої ідеальної відповідності на основі записів лекцій, які я знайшов тут і там в Інтернеті. Це працює дуже добре навіть на тисячах вершин. І я згоден, що теорія, що стоїть за цим, справді прекрасна. І все ж мені все ще …

14 ds.algorithms  graph-theory  linear-programming  simplex 

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

14 ds.algorithms  graph-theory  open-problem 

Ми знаємо, що алгоритм мінімуму Каргера може бути використаний для доказування (неконструктивним способом), що максимальна кількість можливих мінусів графа може мати select 2( н2)(n2)n \choose 2 . Мені було цікаво, чи зможемо ми якось довести цю тотожність, надавши бієктивний (досить ін’єктивний) доказ з набору мінцюків до іншого набору кардинальності n …

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

Я читаю статтю Леслі Лампорта "Швидкі Паксоси" і зациклююся на доказуванні правильності як класичних, так і швидких паксос. Для узгодженості, значення визначена координатором в фазі 2 в круглої я повинна задовольнятиvvv2a2a2aiii Для будь-якого раунду j < i , жодне значення, крім v, не було або може бути вибране в раунді …

13 ds.algorithms  dc.distributed-comp  proofs 

Ми дали спрямований ациклічний граф з номером , пов'язаних з кожною вершиною ( г : V → N ), і цільовим числом Т ∈ N .G = ( V, Е)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 

Мотивація: співавтор редагує рукопис, і я хотів би побачити чіткий підсумок змін. Усі інструменти, що нагадують "різницю", як правило, марні, якщо ви обидва рухаєте текст (наприклад, переорганізовуєте структуру) та робите локальні зміни. Невже це так важко виправити? Визначення: я хотів би знайти мінімальну відстань редагування, де дозволені операції: "дешеві" операції: …

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 становить 3/2 . Цю …

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

Функція задавання є монотонною субмодулярною, якщо для всіх A , B , f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffА , ВA,BA,Bf( А ) + f( B ) ≥ f( A ∪ B ) …

13 ds.algorithms  approximation-algorithms  submodularity 

Я хотів би знати про історію цих двох термінів: " ефективний ", " здійсненний ". Хто їх використав щодо обчислень / алгоритмів вперше? (у сучасному розумінні цих термінів, тобто 20 століття). Як вони стали мейнстрімом? Як ці два терміни почали вживатися як синоніми? Я знаю, що Кобхем використовував термін "здійсненний" …

13 cc.complexity-theory  ds.algorithms  ho.history-overview