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

Нам дано семейство из подмножеств {1, ..., n}. Можно ли найти нетривиальную нижнюю оценку сложности решения, является ли семейством Спернера? Тривиальная нижняя граница - и я сильно подозреваю, что она не жесткая.FF\mathcal{F}mmmFF\mathcal{F}O(nm)O(nm)O(n m) Напомним, что множество является семейством Спернера, если для и в ; означает , что и .SS\mathcal{S}XXXYYYSS\mathcal{S}X≠YX≠YX \ne …

16 ds.algorithms  co.combinatorics 

Учитывая набор S из nxn матриц перестановок (который является лишь малой долей из n! Возможных матриц перестановок), как мы можем найти подмножества T минимального размера в S, чтобы при добавлении матриц T было по крайней мере 1 в каждой позиции? Меня интересует эта проблема, где S - небольшая подгруппа в …

16 ds.algorithms  approximation-algorithms  set-cover  permutations 

Предположим, нам дана матрица n по n, M, с целочисленными элементами. Можем ли мы решить в P, существует ли перестановка такая, что для всех перестановок мы имеем ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Мя σ( я )≠ П Мя π( я )ΠMяσ(я)≠ΠMяπ(я)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Замечания. Конечно, можно заменить продукт суммой, проблема остается той …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Как и в области статей в журнале ACM по экспериментальной алгоритмической JEA . Какие были основополагающие работы? Каковы основные результаты? Как они характеризуются? Какие-нибудь интересные связи с другими областями информатики?

16 ds.algorithms  reference-request  experimental 

Это продолжение этого вопроса на math.stackexchange. Допустим, что непустое множество S ⊆ ℤ является самонесущим, если для каждого a ∈ S существуют различные элементы b, c ∈ S, такие что a = b + c. Для натуральных чисел n простые примеры включают идеал S = n ℤ или (для n …

16 ds.algorithms  co.combinatorics 

Является ли случай строго регулярных графов самым сложным для тестирования ЖКТ? где «самый трудный» используется в некотором смысле «здравый смысл», или, так сказать, «в среднем». Wolfram MathWorld упоминает некоторые «патологически сложные графы». Кто они такие? Мой примерный набор из 25 пар графиков: http://funkybee.narod.ru/graphs.htm Я тестировал множество других, но все того …

16 ds.algorithms  graph-isomorphism 

В простой форме: Может ли двусторонний конечный автомат распознавать вершинные графы, содержащие треугольник с состояниями?vvvo(v3)o(v3)o(v^3) Детали Здесь представляют интерес графы с вершинами, закодированные с использованием последовательности ребер, причем каждое ребро представляет собой пару различных вершин из .vvv{0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\} Предположим, что - это последовательность двусторонних конечных автоматов (детерминированных или недетерминированных), такая, что …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

Этот вопрос был ранее размещен на бирже компьютерных наук здесь . Представьте, что вы очень успешный коммивояжёр с клиентами по всей стране. Чтобы ускорить доставку, вы разработали парк одноразовых доставочных дронов, каждый из которых имеет эффективный радиус действия 50 километров. Благодаря этой инновации, вместо того, чтобы ездить в каждый город, …

15 ds.algorithms  approximation-algorithms  tsp 

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

15 ds.algorithms  linear-programming 

Фон Внешняя память, или модель DAM, определяет стоимость алгоритма по количеству операций ввода-вывода, которые он выполняет (по сути, по числу пропущенных кешей). Эти времена выполнения обычно даются в терминах , размера памяти и B , количества слов, которые могут быть переданы в память за один раз. Иногда L и Z …

15 ds.algorithms  ds.data-structures  cache-oblivious 

Рассмотрим (X,≤)(X,≤)(X, \leq) конечное множество по элементам, а - неизвестный монотонный предикат над (т. Е. Для любого , , если и то ). Я могу оценить , предоставив один узел и выяснив, выполняется ли или нет. Моя цель - точно определить множество узлов x ∈ X, таких что P ( …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

Существует ли линейный алгоритм временного перемешивания на месте? Это алгоритм, который способны выполнить некоторые особенно ловкие руки: равномерно разделить входной массив четного размера, а затем чередовать элементы двух половинок. У Mathworld есть краткая страница о риффл-тасовке . В частности, меня интересует разновидность out-shuffle, которая преобразует входной массив 1 2 3 …

15 ds.algorithms  time-complexity 

Рассмотрим следующую проблему: учитывая граф запросов G=(V,E)G=(V,E)G = (V, E) и опорный граф , мы хотим найти инъективное отображение которое минимизирует количество ребра такие, что . Это обобщение проблемы изоморфизма подграфа, где мы позволяем подграфам быть изоморфными вплоть до нескольких отсутствующих ребер и хотим найти способ минимизировать количество отсутствующих ребер.f …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

Ларри Вассерман недавно опубликовал пост, где рассказывает о «полиции p-значения». Он делает интересное замечание (все выделено мной) (предпосылка, которую я добавил курсивом, и его ответ под ним): Наиболее распространенная жалоба состоит в том, что физики и журналисты неправильно объясняют значение p-значения. Например, если значение p равно 0,000001, мы увидим такие …

15 ds.algorithms  soft-question  big-list 

k = √max { k , n / k }max{k,n/k}\max \left\{k, n/k\right\}k = n--√k=nk=\sqrt n алгоритм гигантского шага baby-step для вычисления дискретного логарифма в O ( n--√)O(n)O(\sqrt n) , статический двухмерный ортогональный отсчет во времени O ( n--√)O(n)O(\sqrt n) и памяти O ( n )O(n)O(n) , приоритетная очередь с EXTRACT-MIN …

15 ds.algorithms  ds.data-structures  big-list  teaching