Мафия - популярная ролевая игра на вечеринках, подробное описание доступно на википедии http://en.wikipedia.org/wiki/Mafia_%28game%29 . В основном это работает следующим образом: В начале каждому из игроков тайно отводится роль, связанная либо с мафией, либо с городом. Каждая роль может иметь...
Пусть будет классом решений задач, имеющих рандомизированный алгоритм с ограниченной двусторонней ошибкой, работающий за время .O ( f ( n ) )BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) ли нам какие-либо проблемы такие, что но ? Доказано ли его несуществование? Q ∈ B P T I M E...
Теория категорий и абстрактная алгебра имеют дело со способом, которым функции могут быть объединены с другими функциями. Теория сложности имеет дело с тем, насколько сложно вычислить функцию. Мне странно, что я не видел, чтобы кто-нибудь совмещал эти области изучения, поскольку они кажутся такими...
Все ли функции, чей вес Фурье сконцентрирован на множествах малого размера (или членах с низкой степенью), вычисляются по схемам
Правило рамки , как приведенному ниже, отражает идею , что, учитывая программу cс предварительным условием , pчто имеет место , прежде чем он работает и постусловии qчто держит позже, некоторые непересекающиеся условие rследует держать как до , так и после того, как cработает. ( *Соединение...
Я знаю, что невозможно определить эквивалентность для нетипизированного лямбда-исчисления. Цитирование Барендрегта, Л. П. Лямбда-исчисление: его синтаксис и семантика. Северная Голландия, Амстердам (1984). :ββ\beta Если A и B являются непересекающимися непустыми множествами лямбда-членов, замкнутых...
Понятие полиномиального сокращения времени (сокращения Кука) является абстракцией очень интуитивного понятия: эффективное решение проблемы с использованием алгоритма для другой задачи. Тем не менее, в теории -полнота, понятие N P -hardness захватывается с помощью сокращений (сокращения отображения...
Я никогда раньше не видел алгоритм с логом в знаменателе, и мне интересно, есть ли какие-нибудь действительно полезные алгоритмы с этой формой? Я понимаю много вещей, которые могут привести к умножению логарифмического коэффициента во время выполнения, например, сортировка или алгоритмы на основе...
Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно...
В недавнем потоке в списке рассылки Агда, вопрос - законов выскочил, в котором Питер Hancock сделал заставляющий думать замечание .ηη\eta Насколько я понимаю, законы приходят с отрицательными типами, т.е. связующие, правила введения которых обратимы. Чтобы отключить для функций, Хэнк предлагает...
Существует ли последовательность неориентированных графов , где каждый имеет ровно вершин, и проблема{ CN}n ∈ N{СN}N∈N\{C_n\}_{n\in \mathbb N}СNСNC_nNNn При заданном и графе является ли индуцированным подграфом в ?NNnграммграммGСNСNC_nграммграммG известно, что он находится в классе ? (Например,...
Я хотел бы узнать о параметризованной сложности (как на алгоритмической стороне, так и на жесткости). Какие книги / конспекты лекций я могу прочитать на эту...
Я хотел бы вычислить ширину дерева графика. Есть действительно хорошая эвристика для других задач NP-сложных графов, таких как VF2 для изоморфизма подграфа, например, с кодом, доступным в igraph . Я попробовал их на своих графиках и обнаружил, что они работают очень быстро для моих данных....
Как я могу определить количество уникальных простых путей в неориентированном графе? Либо для определенной длины, либо диапазона приемлемых длин. Напомним, что простой путь - это путь без циклов, поэтому я говорю о подсчете количества путей без...
В настоящее время я делаю обзор литературы по проблеме изоморфизма графов (GI). Я хотел бы знать некоторые открытые вопросы, связанные со следующим Каковы параметры графика, для которых фиксированная возможность отслеживания GI является открытой проблемой. Каковы параметры графа, фиксируя их...
Рассмотрим язык different состоящий из всех строк k- букв над Σ, таких, что никакие две буквы не равны:L k - d i s t i n c tLk−distinctL_{k-distinct}kkΣ\Sigma L k - d i s t i n c t : = { w = σ 1 σ 2 . , , σ к | ∀ я ∈ [ к ] : σ я ∈ Е и ∀ J ≠ я : σ J ≠ σ я...
Эта проблема возникла из моего недавнего поста в блоге. Предположим, у вас есть тур по TSP. Является ли он совместным с NP, чтобы определить, является ли он минимальным? Точнее следующая задача NP-полная: Экземпляр: заданный полный граф G с ребрами, взвешенными с положительными целыми числами, и...
Задача Max-Sat просит вас найти назначение формулы CNF, которое удовлетворяет как можно большему количеству предложений. Для более простой задачи SAT существует много известных частных случаев, которые могут быть решены за полиномиальное время, например, мы можем решить 2-SAT за полиномиальное...
Я хотел бы знать, существуют ли какие-либо бесплатные библиотеки графов для проверки, существует ли определенный набор миноров в данном
Знаменитая гипотеза об изоморфизме Бермана и Хартманиса говорит, что все -полные языки полиномиально по времени изоморфны (p-изоморфны) друг другу. Ключевое значение гипотезы является то , что она предполагает P ≠ N P . Она была опубликована в 1977 году, и часть подтверждающих доказательств, что...