Запитання з тегом «ds.algorithms»

Я хочу зробити перший вирішувач SAT. Я знаю конкурс SAT та конференцію SAT, і на цю тему є дуже багато робіт. Я стартер, переповнений стартер. З чого я повинен почати? Врешті-решт я хочу підштовхнути сучасний стан. Я хочу порадити експертів, як почати, щоб я не витрачав час на несуттєві речі …

24 ds.algorithms  reference-request  lo.logic  sat 

Беручи під увагу підмножини з .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Перевірте, чи є набори з . (Якщо так, знайдіть приклад, якщо ні, просто скажіть «ні»)Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Тривіальне рішення цієї проблеми проходить через усі пари множин і перевіряє включення пари для часу O(d)O(d)O(d) , тому загальний час виконання дорівнює O(n2d)O(n2d)O(n^2 d) . Чи можна …

24 ds.algorithms  reference-request 

Враховуючи величезну базу даних дозволених слів (в алфавітному порядку відсортованих) та слово, знайдіть слово з бази даних, яка найбільш близька до даного слова з точки зору відстані Левенштейна. Наївний підхід - це, звичайно, просто обчислити відстань Левенштейна між даним словом та всіма словами в словнику (ми можемо виконати двійковий пошук …

24 ds.algorithms  reference-request  string-matching  string-search 

Графік Н є ядром, якщо будь-який гомоморфізм від Н до себе є біекцією. Підграф H of G є ядром G, якщо H є ядром і є гомоморфізм від G до H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 З огляду на графік G, який найвідоміший точний алгоритм для пошуку його ядра?

24 ds.algorithms  graph-theory  graph-algorithms 

Алгоритм Копперсміта — Винограда - це асимптотично найшвидший відомий алгоритм множення двох квадратних матриць. Час роботи їх алгоритму - O ( n 2.376 ), що є найвідомішим на сьогоднішній день. Яка просторова складність цього алгоритму? Це в Θ ( n 2 ) ?n×nn×nn \times nO(n2.376)O(n2.376)O(n^{2.376})Θ(n2)Θ(n2)\Theta(n^2)

24 ds.algorithms  matrices 

Чи є природний паралельний аналог червоно-чорним деревам з подібними або навіть не дуже жахливими властивостями для оновлень, при цьому він є досить ефективним? Загалом, що найкраще ми можемо зробити для паралельного пошуку з оновленнями?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

Давайте подивимось на майбутнє через 30 років. Будьмо оптимістичними та припустимо, що сфери, пов'язані з машинним навчанням, розвиваються так само швидко, як і те, що ми спостерігали за останні 10 років. Це було б чудово, але яка тоді буде роль традиційної алгоритміки в такому майбутньому? Тут під «традиційною алгоритмом» я …

23 ds.algorithms  soft-question  machine-learning 

Це питання було перенесено з обміну стека інформатики, оскільки на нього можна відповісти на Теоретичній біржі стека комп'ютерних наук. Мігрували 3 роки тому . У науковому документі 2016 р. « Реалізація масштабованого алгоритму Шор » [ 1 ] автори розраховують 15 лише на 5 кубітів, що менше, ніж на 8 …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

Нехай L1,L2L1,L2L_1,L_2 - дві регулярні мови, задані NFA як вхідні дані.M1,M2M1,M2M_1,M_2 Припустимо, ми хотіли б перевірити, чи . Це однозначно можна зробити за допомогою квадратичного алгоритму, який обчислює автоматику виробів , але мені було цікаво, чи відомо щось більш ефективне.L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptysetM1,M2M1,M2M_1,M_2 Чи існує алгоритм для визначення, чи буде ? …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Ми знаємо, що Максимальний незалежний набір (MIS) важко наблизити в коефіцієнті для будь-якого якщо P = NP. Які існують спеціальні класи графіків, для яких відомі кращі алгоритми наближення? ϵ > 0н1 - ϵn1−ϵn^{1-\epsilon}ϵ > 0ϵ>0\epsilon > 0 Які графіки, для яких відомі алгоритми поліноміального часу? Я знаю, що для ідеальних …

23 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms 

Ширина дерева вимірює наближеність графіка до дерева. Обчислити ширину дерева NP важко. Найвідоміший алгоритм наближення досягає коефіцієнта .O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Теорема Курсерлла стверджує, що будь-яка властивість графіків, визначена в монадійній логіці другого порядку (MSO2), може визначатися в лінійному часі на будь-якому класі графіків обмеженої ширини дерева . Нещодавній документ показав, що теорема …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Дано - даг. Ви хочете позначити кожен вузол тим, скільки вузлів доступні від нього. - тривіальна верхня межа; - нижня межа (я думаю). Чи є кращий алгоритм? Чи є підстави вважати, що нижня межа може бути покращена (пов'язано: що саме відомо про нижню межу транзитивного закриття)?О ( V( V+ Е) …

23 ds.algorithms  graph-theory 

Публікація оновлена ​​31 серпня : я додав підсумок поточних відповідей під початковим запитанням. Дякую за всі цікаві відповіді! Звичайно, кожен може продовжувати публікувати будь-які нові висновки. Для яких сімей графіків існує поліноміальний алгоритм часу для обчислення хроматичного числа ?χ ( G )χ(Г)\chi(G) Задача вирішується в поліномічний час, коли (двопартійні графіки). …

23 ds.algorithms  graph-theory  co.combinatorics 

Перший крок алгоритму тестування первинності AKS - перевірити, чи є вхідне число ідеальною потужністю. Здається, що це добре відомий факт теорії чисел, оскільки документ не пояснив його детально. Може хтось скаже мені, як це зробити в поліноміальний час? Спасибі.

23 ds.algorithms  nt.number-theory 

Розглянемо електричну мережу, змодельовану як плоский графік G, де кожен край являє собою резистор 1Ω. Як швидко ми можемо обчислити точний ефективний опір між двома вершинами в G? Як еквівалентно, наскільки швидко ми можемо обчислити точний струм, що протікає по кожному краю, якщо ми приєднаємо батарею 1В до двох вершин …

22 ds.algorithms  graph-theory  planar-graphs  physics