История вопроса Этот вопрос мотивирован настольной игрой под названием «Дракула». В этой игре есть один вампир и четыре охотника, цель охотников - поймать вампира. Действие игры происходит в Европе. Игра выглядит следующим образом: 1. Игрок-охотник сажает всех охотников в города. В одном городе...
Контекст. Я пишу по таким темам, как теорема Готтсмана-Найла , используя группы стабилизаторов Паули, но в случае d- мерных вычислений - где d может иметь более одного простого множителя. (Я подчеркиваю это, потому что подавляющее большинство литературы о формализме стабилизатора в «более высоких...
В « Совете начинающему аспиранту » Мануэля Блума : Леонид Левин верит, как я это делаю, какой бы ни был ответ на P = NP? проблема, это не будет так, как вы думаете, должно быть. И он привел несколько замечательных примеров. Например, он дал ФАКТОРИНГОВЫЙ АЛГОРИТМ, который оказался оптимально...
Отказ от ответственности : хотя я забочусь о теории типов, я не считаю себя экспертом по теории типов. В простом типе лямбда-исчисления нулевой тип не имеет конструкторов и уникального элиминатора: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M)...
Я ищу реализацию алгоритма для вычисления ширины пути графа. Хорошо известно, что вычисление ширины пути эквивалентно вычислению числа поиска узла, числа разделения вершин или толщины интервала графа. Алгоритм не должен быть очень быстрым; Я хочу запустить его на графиках не более 20 вершин. Мне...
Этот вопрос мотивирован вопросом MathOverflow Пэна Чжана . Валиант показал, что подсчет максимальных клик в общем графе является # P-полным, но что если мы ограничимся графами несопоставимости (т. Е. Мы хотим подсчитать максимальные антицепи в конечном множестве)? Этот вопрос кажется достаточно...
Популярный алгоритм DEFLATE использует кодирование Хаффмана поверх Lempel-Ziv. В общем, если у нас есть случайный источник данных (= 1 бит энтропии / бит), никакое кодирование, включая Хаффмана, скорее всего не сожмет его в среднем. Если бы Лемпель-Зив был «идеальным» (что подходит для большинства...
Я ищу ссылку (не доказательство того, что я могу сделать) на следующее расширение Черноффа. Пусть Икс1, . , , XNX1,..,XnX_1,..,X_n - булевы случайные величины, не обязательно независимые . Вместо этого гарантируется, что пг ( хя= 1 | С) < рPr(Xi=1|C)<pPr(X_i=1|C)(1+\lambda)np\right) Заранее...
Паритет-L, также известный как L, представляет собой набор языков, распознаваемых недетерминированной машиной Тьюринга, которые могут различать только четное число или нечетное число путей «принятия». Недавно связанный вопрос был задан Ниль де Бодрап.⊕⊕\oplus Мой вопрос заключается в следующем: Мы...
Ветвление и ограничение - эффективная эвристика для задач поиска, и в Википедии перечислен ряд сложных проблем, где использовались ветвление и привязка. Тем не менее, мне не удалось найти ссылки, позволяющие предположить, что это больше, чем просто «один метод» решения этих проблем. Как ни странно,...
В главе 1 книги «Вероятностный метод» Алона и Спенсера упоминается следующая проблема: Учитывая граф , решите, является ли его граничная связность по крайней мере или нет.GGGn/2n/2n/2 Автор упоминает о существовании алгоритма от Matula и улучшает его до...
Есть ли проблемы, которые являются NP-полными при использовании евклидовой геометрии, но хорошо определены и разрешимы за полиномиальное время для некоторой неевклидовой...
Чонг, Хан и Лэм показали, что ненаправленное соединение через st-соединение может быть решено с помощью EREW PRAM за с помощью O ( m + n ) процессоров.O ( log n )О(журналN)O({\log}n)O ( m + n )О(м+N)O(m+n) Каков наиболее известный параллельный алгоритм для st-связности в направленных плоских...
В этой статье Kempe-Kleinberg-Tardos авторы предлагают жадные алгоритмы, основанные на субмодульных функциях, для определения наиболее влиятельных узлов в графе с приложениями к социальным сетям.kkk В основном алгоритм работает следующим образом: S=empty setS=empty setS = {\rm empty~set} выберите...
Пусть квадрат n × nN×Nn\times n вещественной матрицы AA{\bf A} и два вектора ИксИкс{\bf x} и бб{\bf b} длины NNn такие, что A x = b .AИксзнак равноб,{\bf A}{\bf x}={\bf b}. Решение для ИксИкс{\bf x} помощью стандартного исключения Гаусса дает совокупную сложность почти O ( n3)О(N3)O(n^3) . Однако...
В определении (сильной) управляемости с фиксированными параметрами временная граница является выражением вида где входной экземпляр - ( x , k ) с параметром k , p - многочлен, а f - вычислимая функция.е( к ) . р ( | х | ) ,е(К),п(|Икс|),f(k).p(|x|),( х , к )(Икс,К)(x,k)ККkппpееf Можно заменить...
В моем продолжающемся стремлении изучить лямбда-исчисление Хамдли и Селдин «Лямбда-исчисление и комбинаторы введение» упоминают следующую статью (Брюса Лерчера), которая доказывает, что единственное приводимое выражение, которое является одним и тем же (преобразование по модулю альфа) к себе...
Я сталкивался с этой проблемой в области физики, довольно далекой от компьютерных наук, но это похоже на вопрос, который был изучен в CS, поэтому я решил попытать счастья, задав его здесь. Представьте, что вам дан набор точек и список некоторых расстояний между точками d i j . Как наиболее...
Функция Мебиуса определяется как μ ( 1 ) = 1 , μ ( n ) = 0, если n имеет квадратный простой множитель, и μ ( p 1 … p k ) = ( - 1 ) k, если все простые числа p 1 , … , p k разные. Можно ли вычислить μ ( n )μ(n)μ(n)\mu(n)μ(1)=1μ(1)=1\mu(1)=1μ(n)=0μ(n)=0\mu(n)=0nnnμ(p1…pk)=(−1)kμ(p1…pk)=(−1)k\mu(p_1...
У меня есть вопрос, касающийся СЕРФ-сводимости Impagliazzo, Paturi и Zane и субэкспоненциальных алгоритмов. Определение SERF-сводимости дает следующее: Если P1P1P_1 является SERF-сводимым к P2P2P_2 и существует алгоритм O(2εn)O(2εn)O(2^{\varepsilon n}) для P2P2P_2 для каждого...