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

Я ищу ссылки на сложность проблемы балансировки булевых формул . В частности, Было ли известно, что булевы формулы могут быть сбалансированы в ?AC0AC0\mathsf{AC^0} Есть ли простое доказательство балансировки булевой формулы в ?AC0AC0\mathsf{AC^0} Под «простым» я подразумеваю доказательство, более простое, чем упомянутое ниже, в частности, я ищу доказательство, которое не зависит …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Я знаю, что для устранения Гаусса требуется арифметических операций, но я не уверен, известны ли какие-либо лучшие алгоритмы.O ( n3)О(N3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

Исправить . Для любого достаточно большого мы хотели бы пометить все подмножества размера точно натуральными числами из . Нам бы хотелось, чтобы эта маркировка удовлетворяла следующему свойству: есть множество целых чисел, stk≥5k≥5k\ge5nnn{1..n}{1..n}\{1..n\}n/kn/kn/k{1...T}{1...T}\{1...T\}SSS Если подмножеств размера не пересекаются (т.е. объединение этих множеств образуют все множество ), то сумма их меток в …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Кажется, есть много рандомизированных алгоритмов для проверки полиномиальной идентичности, проверяя, равен ли данный полином нулю. Есть ли какие-либо результаты алгоритмов, которые делают своего рода оценку полиномов по определенному набору точек? Это может быть, например, аппроксимация, для какой доли этих точек полином оценивается как ноль, или аппроксимация среднего значения полинома по …

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

В простейших представлениях для графов используются матрицы / списки смежности, что означает, что каждый узел и ребро представлены явно. Важность неявных представлений для графов, демонстрирующих сильные закономерности, давно признана. Например, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( «Заметка о кратких представлениях графов» , 1986) исследовали вопрос о графах, матрица …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

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

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

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

10 ds.algorithms  graph-theory 

Пусть - неориентированный граф. Разложение V на непересекающиеся подмножества V я называюсь разложением Гамильтон из G , если подграф , индуцированный каждое множество V я либо граф Гамильтон , либо состоит из одного ребра с | V я | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Пример : полный двудольный граф обладает гамильтоновым разложением …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Я пытаюсь использовать деревья суффиксов для сравнения последовательностей строк. Я нашел реализации / теорию для самой длинной общей проблемы подстроки, используя деревья суффиксов. Однако, то, что я ищу, является обсуждением связанной проблемы - "все общие подстроки". В частности, у меня есть проблема, в которой мне нужно сначала найти самую длинную …

10 ds.algorithms  string-matching 

В статье « О двух проблемах теории информации» Эрдёс и Реньи дают нижние оценки минимального количества взвешиваний, которое необходимо сделать, чтобы определить количество фальшивых монет в наборе из монет.NNn Более формально: Поддельные монеты имеют меньший вес, чем правильные монеты; веса и как правой, так и фальшивой монеты известны. Дается шкала, …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Для неориентированного графа и данного множество S вершин, что является асимптотически быстрым известным алгоритма для нахождения простого пути , содержащий все элементы S . Что, если мы требуем, чтобы путь был максимально коротким?GGGSSSSSS

10 ds.algorithms  graph-algorithms  time-complexity 

Предположим, что мы рассматриваем 3-SAT с переменными и c предложениями. Я исследую метод, который, по-видимому, использует O ( v 2 + log c ) время / пространство для решения любой задачи SAT, соответствующей данному описанию, с точностью до ошибки, которую можно скорректировать до произвольной величины. Однако здесь есть одна загвоздка.vvvсccO …

10 ds.algorithms  sat  upper-bounds 

Я хотел бы знать, изучалась ли ранее простая проблема и известно ли какое-либо решение. Пусть G - конечная (MxN) сетка, S - подмножество клеток G («крошки»). Говорят, что две крошки (локально) связаны, если их координаты отличаются не более чем на один (т. Е. Если они нарисованы в виде квадратов, они …

10 ds.algorithms  graph-theory  graph-algorithms 

Для заданного невзвешенного плоского графа и набора пар вершин ( - константа) найдите непересекающихся вершин (кроме исходных) путей от до таких что длина самого длинного пути сведена к минимуму.( с , т1) , ... , ( s , тК)(s,T1),...,(s,TК)(s,t_1),\dots,(s,t_k)k ≥ 2К≥2k\ge2ККksssTяTяt_i Вопрос: есть ли алгоритм задачи с полиномиальным временем? Некоторые …

10 ds.algorithms  graph-algorithms 

Существует ли алгоритм полиномиального времени, чтобы найти - если он существует - остовный паук данного графа ? Паук - это дерево с не более чем одним узлом со степенью больше 2: я знаю, что различные условия степеней на (по существу, достаточно большие степени узлов) гарантируют существование остовного паука. Но мне …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms