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

Проблема стабильного брака: http://en.wikipedia.org/wiki/Stable_marriage_problem Мне известно, что для случая SMP возможны многие другие стабильные браки, кроме одного, возвращенного алгоритмом Гейла-Шепли. Однако, если нам дается только , число мужчин / женщин, мы задаем следующий вопрос: можем ли мы составить список предпочтений, который дает максимальное количество стабильных браков? Какова верхняя граница для …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

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

24 ds.algorithms  reference-request  lo.logic  sat 

Граф H является ядром, если любой гомоморфизм из H в себя является биекцией. Подграф H группы 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,337 ) Θ ( n 2 )n × nn×nn \times nO ( …

24 ds.algorithms  matrices 

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

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

Существует ли естественный параллельный аналог красно-черных деревьев со схожими или даже не очень худшими свойствами для обновлений, хотя он достаточно эффективен для работы? В целом, что мы можем сделать лучше для параллельного поиска с обновлениями?

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 \emptyset . Это можно сделать с помощью квадратичного алгоритма, который вычисляет автомат произведений M1,M2M1,M2M_1,M_2 , но мне было интересно, известно ли что-нибудь более эффективное. Существует ли алгоритм o(n2)o(n2)o(n^2) для …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

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

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

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

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

Дано это даг. Вы хотите пометить каждый узел тем, сколько узлов доступно из него. - тривиальная верхняя граница; является нижней границей (я думаю). Есть ли лучший алгоритм? Есть ли основания полагать, что нижняя граница может быть улучшена (связана: что именно известно о нижних границах для транзитивного замыкания)?Ω ( V + …

23 ds.algorithms  graph-theory 

Сообщение обновлено 31 августа : ниже оригинального вопроса я добавил резюме текущих ответов. Спасибо за все интересные ответы! Конечно, каждый может продолжать публиковать любые новые результаты. Для каких семейств графов существует алгоритм полиномиального времени для вычисления хроматического числа ?χ(G)χ(G)\chi(G) Задача разрешима за полиномиальное время, когда (двудольные графы). В общем, когда …

23 ds.algorithms  graph-theory  co.combinatorics 

Первым шагом алгоритма тестирования простоты AKS является проверка, является ли входное число идеальной степенью. Похоже, что это хорошо известный факт в теории чисел, поскольку в статье это не объясняется подробно. Может кто-нибудь сказать мне, как сделать это за полиномиальное время? Спасибо.

23 ds.algorithms  nt.number-theory 

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

22 ds.algorithms