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

Может ли кто-нибудь указать на один или несколько веб-сайтов, где можно загрузить работающую реализацию решателя #SAT? Меня интересуют те, кто возвращает точное количество решений, а не приближение.

21 ds.algorithms  sat  software 

Допустим, что язык является P- плотно-близким, если существует алгоритм с полиномиальным временем, который правильно определяет почти на всех входах.LLLLLLL Другими словами, существует P , такое, что обращается в нуль, что означает Это также означает, что на равномерном случайном входе алгоритм Polytime для A даст правильный ответ для L с вероятностью, …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

Предположим, что мы хотим отсортировать список из действительных чисел. Предположим, что нам дан черный ящик, который может мгновенно отсортировать реальных чисел. Какое преимущество мы можем получить, используя этот черный ящик?n √SSSNnnN--√n\sqrt n Например, можем ли мы отсортировать номера только с помощью вызовов в черный ящик? Лучший алгоритм, который я нашел, …

20 ds.algorithms  sorting  decision-trees 

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

20 ds.algorithms  tree  edit-distance 

Каковы некоторые известные результаты для нахождения точного n-мерного подмассива внутри n-мерного массива? В 1D это просто проблема соответствия строк, KMP делает это за линейное время. В 2D эта статья показала, что это можно сделать за линейное время с небольшим дополнительным пространством. Можно ли решить эту проблему в наихудшем случае с …

20 ds.algorithms  reference-request  string-matching 

Коллега, который работает над генетическим программированием, задал мне следующий вопрос. Сначала я попытался решить ее, основываясь на жадном подходе, но потом подумал, что нашел контрпример к жадному алгоритму. Итак, я подумал, что стоит упомянуть здесь. Рассмотрим два полинома, которые представлены деревьями их выражений. Например, и показаны ниже:Икс3- 2 х + …

20 ds.algorithms  tree  ai.artificial-intel  genetic-programming 

В классе сложности есть некоторые проблемы, предположительно не входящие в класс N C , то есть проблемы с детерминированными параллельными алгоритмами. Проблема максимального потока является одним из примеров. И есть проблемы, СЧИТАЕМЫЕ быть в N C , но доказательство еще не найдено.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Идеальный Matching проблема является одной из наиболее фундаментальной …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Я ищу хороший обзор алгоритмов и сложности линейной алгебры (операции типа ранга, обратные, собственные значения, ... для логических, и целых / рациональных матриц) с акцентом на параллельные ( иерархия N C ) и полимерные алгоритмы , Я не мог найти недавний.FpFp\mathbb{F}_pNCNCNC Знаете ли вы хороший недавний опрос или книгу о …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Пусть . Мы хотим оценить среднее значение , то есть: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )f:{0,1}n→(2−n,1]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1]fffE[f(n)]=2−n∑x∈{0,1}nf(x)E[f(n)]=2−n∑x∈{0,1}nf(x)\mathbb{E}[f(n)]=2^{-n}\sum_{x\in \lbrace 0,1 \rbrace ^ n}f(x) NOTE: In …

20 ds.algorithms  randomized-algorithms  black-box 

Предположим, у нас есть матрица n на n. Можно ли изменить порядок строк и столбцов так, чтобы мы получили верхнетреугольную матрицу? Этот вопрос мотивирован этой проблемой: положительный топологический порядок Первоначальная проблема решения, по крайней мере, так же сложна, как эта, поэтому результат NP-полноты также решит эту проблему. Изменить: Ласло Вег …

20 ds.algorithms  np-hardness  open-problem  matrices 

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

19 ds.algorithms  edit-distance  space-time-tradeoff 

Вам дан граф с вершинами. Это может быть двудольный, если хотите. Существует наборов ребер (скажем, дизъюнкт). Меня интересует проблема нахождения как можно меньшего (или даже меньшего) подмножества , такого, чтобы индуцированный граф имел хотя бы одно ребро из каждого класса , для ,G = ( V, E)граммзнак равно(В,Е)G = (V,E)NNnммmЕ1, …

19 ds.algorithms  graph-theory  optimization 

Как известно, вычисление постоянной Чигера для графика , также известного как изопериметрическая постоянная (поскольку это, по сути, минимальное отношение площади / объема), является NP-полным. Вообще это приблизительно. Мне интересно узнать, известны ли точные полиномиальные алгоритмы для специальных классов графов. Например, все еще NP-полный для регулярных графов ? Для дистанционно регулярных …

19 ds.algorithms  reference-request  graph-algorithms 

Кто-нибудь может мне помочь со следующей проблемой? Я хочу найти некоторые значения a i , b jai,bja_i,b_j (mod NNN ), где i = 1 , 2 , … , K , j = 1 , 2 , … , Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K (например, К = 6K=6K=6 ), учитывая список значений К …

19 ds.algorithms  linear-algebra  nt.number-theory  cryptographic-attack  comp-number-theory 

Справочная информация: Чао Сюй некоторое время назад опубликовал следующий вопрос: « Существуют ли какие-либо известные алгоритмы сортировки сравнения, которые не сводятся к сортировке сетей, так что каждый элемент сравнивается раз?O(logn)O(log⁡n)O(\log n) ». Кажется, мы немного застряли в проблеме; Я обсуждал ту же проблему с Валентином Полищуком в 2009 году, и …

19 ds.algorithms  sorting  sorting-network