Позволять FFF быть семьей dddподмножества конечной вселенной UUUобъектов. СемьяHHH из kkkподмножества UUU, с 1≤k<d1≤k<d1 \le k < d, это (k,d)(k,d)(k,d)- наезд набора изFFF если для каждого V∈FV∈FV \in F существует хотя бы один набор W∈HW∈HW \in H такой, что W⊂VW⊂VW \subset V, Учитывая...
Я ищу сложности выполнимости формулы или формулы где - формула вида: Где - постоянная в , а область переменных также равна .∀y1,…,yn,∃x1,…,xm,ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi∃x1,…,xm∀y1,…,yn,ϕ∃x1,…,xm∀y1,…,yn,ϕ \exists x_1,\dots,x_m \forall y_1,...
ЛИНЕЙНЫЕ УРАВНЕНИЯ ДИОФАНТИНА (даны натуральными числами а , б , вa,б,сa, b, cЕсть ли натуральные числа ИксИксx а также YYy такой, что а х + б у+ с = 0aИкс+бY+сзнак равно0ax + by + c = 0?) разрешимы за полиномиальное время. УРАВНЕНИЯ ДЛЯ КВАДРАТИЧЕСКИХ ДИОФАНТИНОВ (aИкс2+ б у+ с = 0aИкс2+бY+сзнак...
Хорошо известно, что наличие односторонних функций необходимо и достаточно для большей части криптографии (цифровые подписи, псевдослучайные генераторы, шифрование с закрытым ключом и т. Д.). Мой вопрос: каковы теоретико-сложные последствия существования односторонних функций? Например, OWF...
Равновесия Нэша вообще неисчислимы. ϵϵ\epsilonРавновесие по Нэшу - это набор стратегий, где, учитывая стратегии противников, каждый игрок получает в течение ϵϵ\epsilonмаксимально возможного ожидаемого вознаграждения. Нахождениеϵϵ\epsilon-Наш равновесия, учитывая ϵϵ\epsilon и игра, это...
Я знаю работу Шеннона с энтропией, но в последнее время я работал над краткими структурами данных, в которых эмпирическая энтропия часто используется как часть анализа хранилища. Шеннон определил энтропию информации, создаваемой отдельным источником информации, как , где - вероятность события ,...
Позволять xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} за i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}с обещанием, что x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (где сумма закончилась ZZ\mathbb{Z}). Тогда какова сложность определения, еслиx=1x=1x = 1? Обратите внимание, что...
Каковы некоторые из лучших источников (книги и статьи), чтобы мотивировать и изучать сложность общения самостоятельно и в связи с ее отношением к теории вычислительной...
Какой самый быстрый из известных алгоритмов изоморфизма неориентированных
Из теоремы Черча мы знаем, что определение выполнимости первого порядка вообще неразрешимо, но есть несколько методов, которые мы можем использовать для определения выполнимости первого порядка. Наиболее очевидным является поиск конечной модели. Однако в логике первого порядка есть ряд утверждений,...
Я ищу ссылки на следующую задачу: с учетом целых чисел и перечислить все неизоморфные плоские графы по вершинам и ширине дерева . Меня интересуют как теоретические, так и практические результаты, но в основном практические алгоритмы, которые можно кодировать и запускать для максимально больших...
Этот вопрос двоякий и в основном ориентирован на справочную информацию: Есть ли где-нибудь, где даны основные интуиции для доказательства теоремы о графе, не вдаваясь в подробности? Я знаю, что доказательство длинное и сложное, но, безусловно, должны быть ключевые идеи, которые можно донести проще....
Пусть - граф, который является несвязным объединением клики и независимого множества, то есть GGGG=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Класс графов всех таких графов характеризуется набором запрещенных индуцированных подграфов и, таким...
Позволять GGG а также HHH быть двумя rrrрегулярные связные графы размера nnn, ПозволятьAAA быть набором перестановок PPP такой, что PGP−1=HPGP−1=HPGP^{-1}=H, ЕслиG=HG=HG=H тогда AAA это множество автоморфизмов GGG, Каков самый известный верхний предел размера AAA? Есть ли какие-либо результаты для...
При фиксированном ориентированный граф (орграф) , то Проблема Решение -раскраска спрашивает , может ли входной Орграф имеет гомоморфизм к . (Гомоморфизм в - это отображение из в , сохраняющее дуги, то есть, если - дуга в , то - это дуга...
Двухстраничная статья Kalai SODA предлагает простой и эффективный алгоритм для сопоставления с шаблоном без разницы (подстановочные знаки, которые соответствуют одному символу). По сути, это так же просто, как свертка. Но что произойдет, если мы ищем несколько паттернов, не заботясь о них? Можем ли...
Пусть будет языком, и определим как тогда и только тогда, когда , Я ищу ссылку для:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}fL(x,y)=1fL(x,y)=1f_L(x, y) = 1x⋅y∈Lx⋅y∈Lx\cdot y \in L Предложение. является регулярным, если детерминированная...
Для фиксированного языка LLL на каком-то алфавите AAA, давайте рассмотрим следующую проблему, которую я называю LLL-Интерлевинг : Вход: два слова u,v∈A∗u,v∈A∗u, v \in A^* Вывод: существует ли там перемежения изuuu а также vvv который в LLL, Здесь чередование двух словuuu а также vvv это слово www...
Есть ли структура / формализм, который определяет вычислительные модели, основанные на белках, отличных от модели ДНК Адлемана или этой работы Черри и Цянь...
В « Интуиционистской теории типов: предиктивная часть» Мартина-Лёфа доказано, что проверка типов:a:Aa \colon Aразрешимо при условииaaaбудучи в первую очередь типизируемым , доказывая теорему нормализации для замкнутых типизируемых членов. С другой стороны, я видел, что во многих местах (Википедия,...