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

Рассмотрим наборов значений (представленных в виде отсортированных массивов без дубликатов и с известным размером (т. Е. Размер можно получить за O (1)). Значения можно проверить на равенство за O (1). Я хочу чтобы получить набор значений, которые присутствуют по меньшей мере в k различных наборах среди n .nnnkКkNNn Очевидный алгоритм …

11 ds.algorithms 

Для данного графа со взвешенными ребрами, как мы можем найти отрицательный цикл, который содержит хотя бы одну вершину в данном наборе вершин ? Спасибо.{V1,V2,…,Vk}{В1,В2,...,ВК}\{V_1, V_2, \ldots, V_k\}

11 ds.algorithms  graph-theory 

Пусть вещественная матрица ( ) обладает тем свойством, что любой набор из столбцов имеет полный ранг.k × nК×Nk\times nk ≤ nК≤Nk\le nAA{\bf A}ККk В: Существует ли эффективный способ детерминированного поиска вектора такой, что расширенная матрица сохраняет то же свойство, что и : любые столбцов имеют полный ранг.aa{\bf a}A'= [ Aа …

11 ds.algorithms  linear-algebra  matrices  coding-theory 

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

11 ds.algorithms  approximation-algorithms  machine-learning 

Пусть - последовательность целых чисел, где каждый . Для , пусть, - й момент частоты определяется какa j ∈ { 1 , 2 , … , n } i ∈ { 1 , 2 , … , n } m i = | { j : a j = i …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

Учитывая взвешенный неориентированный граф с m = o ( n2)m=o(n2)m = o(n^2) ребрами, я хотел бы вычислить расстояния приближения меньше 2 между любой данной парой вершин. Конечно, я хотел бы использовать субквадратичное пространство и время сублинейного запроса. Мне известен результат Цвика, который использует умножение матриц, но мне любопытно, известны ли …

11 ds.algorithms  graph-algorithms 

Мерлин, имеющий неограниченные вычислительные ресурсы, хочет убедить Артура, что для с и Простое вычисление этой суммы (модульное возведение в степень и сложение) занимает время с умножением на основе БПФ. * Но Артур может выполнять только операций.m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k(N,m,k)(N,m,k)(N,m,k)k=O(logN)k=O(log⁡N)k=O(\log N)m=O(N).m=O(N).m=O(N).N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)}O(N)O(N)O(N) (Обозначение для совместимости с более …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

Что мешает сделать решатели SAT конкурентоспособными с помощью специализированных графовых алгоритмов? Другими словами, возможно ли ожидать SAT-решателей, которые могут заменить роль разработчика алгоритма, т. Е. Иметь возможность автоматически распознавать структуру проблемы и затем решать ее так же быстро, как специализированный алгоритм? Вот некоторые примеры, которые я считаю сложными для сегодняшних …

11 ds.algorithms  graph-theory  sat 

Существует ли класс алгоритмов хеширования, теоретический или практический, такой, чтобы алгоритм в классе можно было считать «рефлексивным» согласно определению, данному ниже: hash1 = algo1 ("текст ввода 1") hash1 = algo1 («входной текст 1» + hash1) Оператор + может быть конкатенацией или любой другой указанной операцией для объединения вывода (hash1) обратно …

11 ds.algorithms  hash-function 

Пусть - ациклический ориентированный граф, такой что out-степень любой вершины равна O ( log | V | ) . Для каждой вершины G мы можем подсчитать количество достижимых вершин, просто запустив dfs из каждой вершины, и это займет O ( | V | | E | ) время. Есть ли …

11 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

Извините, если я ошибаюсь с местом, чтобы задать вопрос (может быть, я должен пойти на stackoverflow.com/mathoverflow.net?). Интересно, есть ли доказательство того, что при оценке расширенного евклидова алгоритма коэффициенты Безу ( т. Е. S и t в тождестве как + bt = gcd ( a , b )) не будут превышать …

11 ds.algorithms  nt.number-theory 

Проводились ли какие-либо исследования, чтобы определить, может ли человеческий интеллект превзойти алгоритмы (т. Е. Проверить, применима ли теорема об отсутствии бесплатного обеда к человеческому интеллекту)? В том же ключе, кто-нибудь разработал технический метод, чтобы воспользоваться какими-либо уникальными, сверх-вычислительными свойствами человеческого интеллекта?

11 ds.algorithms  big-picture  ai.artificial-intel 

Учитывая и M , возможно ли получить M -й бит (или цифру любого небольшого основания) из N ! во времени / пространстве O ( p ( l n ( N ) , l n ( M ) ) ) , где p ( x , y ) - некоторая полиномиальная …

11 ds.algorithms  nt.number-theory 

Рассмотрим граф с вершинами и m ребрами. Вершины помечены действительными переменными x i , где x 1 = 0 фиксировано. Каждое ребро представляет собой «измерение»: для ребра ( u , v ) я получаю измерение z ≈ x u - x v . Точнее, z - действительно случайная величина в …

11 ds.algorithms  graph-algorithms 

Это может звучать больше как вопрос социальных наук, чем вопрос TCS, но это не так. Читая « Рандомизированные алгоритмы », описывающие проблему стабильного брака, можно прочитать следующее (p54) «Можно показать, что для каждого списка предпочтений существует, по крайней мере, один стабильный брак. (Любопытно, что это не так в гомосексуальном моногамном …

11 ds.algorithms  graph-theory  matching