Вопросы с тегом «reference-request»

Ссылка-запрос используется, когда автору необходимо узнать о работе, связанной с вопросом.

2
Перечисление плоских графов ограниченной ширины дерева
Я ищу ссылки на следующую задачу: с учетом целых чисел и перечислить все неизоморфные плоские графы по вершинам и ширине дерева . Меня интересуют как теоретические, так и практические результаты, но в основном практические алгоритмы, которые можно кодировать и запускать для максимально больших значений и (подумайте, и ). Если у …
1
Выполнимость первого порядка, которая не имеет конечных моделей
Из теоремы Черча мы знаем, что определение выполнимости первого порядка вообще неразрешимо, но есть несколько методов, которые мы можем использовать для определения выполнимости первого порядка. Наиболее очевидным является поиск конечной модели. Однако в логике первого порядка есть ряд утверждений, которые, как мы можем продемонстрировать, не имеют конечных моделей. Например, любая …
2
Точная сложность проблемы в
Позволять 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? Обратите внимание, что тривиально проблема заключается в ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} потому что x≡1modmx≡1modmx \equiv 1\bmod{m}если . Вопрос в том, заключается ли проблема в ? …
2
Последствия OWF для сложности
Хорошо известно, что наличие односторонних функций необходимо и достаточно для большей части криптографии (цифровые подписи, псевдослучайные генераторы, шифрование с закрытым ключом и т. Д.). Мой вопрос: каковы теоретико-сложные последствия существования односторонних функций? Например, OWF подразумевают, чтоNP≠PNP≠P\mathsf{NP}\ne\mathsf{P}, BPP=PBPP=P\mathsf{BPP}=\mathsf{P}, а также CZK=IPCZK=IP\mathsf{CZK}=\mathsf{IP}, Есть ли другие известные последствия? В частности, подразумевают ли OWF, …
1
Кто придумал термин «эмпирическая энтропия»?
Я знаю работу Шеннона с энтропией, но в последнее время я работал над краткими структурами данных, в которых эмпирическая энтропия часто используется как часть анализа хранилища. Шеннон определил энтропию информации, создаваемой отдельным источником информации, как , где - вероятность события , например, сгенерированного конкретного символа, и есть возможных событий.−∑ki=1pilogpi−∑i=1kpilog⁡pя-\sum_{i=1}^k p_i …
1
Когда делать
Равновесия Нэша вообще неисчислимы. ϵϵ\epsilonРавновесие по Нэшу - это набор стратегий, где, учитывая стратегии противников, каждый игрок получает в течение ϵϵ\epsilonмаксимально возможного ожидаемого вознаграждения. Нахождениеϵϵ\epsilon-Наш равновесия, учитывая ϵϵ\epsilon и игра, это PPADPPAD\mathsf{PPAD}-полное. Строго следуя определениям, похоже, нет особых оснований полагать, что стратегии данного ϵϵ\epsilonРавновесие по Нэшу близко к стратегиям любого …
2
Диофантовы уравнения и классы сложности
ЛИНЕЙНЫЕ УРАВНЕНИЯ ДИОФАНТИНА (даны натуральными числами а , б , вa,б,сa, b, cЕсть ли натуральные числа ИксИксx а также YYy такой, что а х + б у+ с = 0aИкс+бY+сзнак равно0ax + by + c = 0?) разрешимы за полиномиальное время. УРАВНЕНИЯ ДЛЯ КВАДРАТИЧЕСКИХ ДИОФАНТИНОВ (aИкс2+ б у+ с = …
1
Ударить наборы с подсемейством
Позволять FFF быть семьей dddподмножества конечной вселенной UUUобъектов. СемьяHHH из kkkподмножества UUU, с 1≤k&lt;d1≤k&lt;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, Учитывая коллекцию FFF как указано выше, (k,d)(k,d)(k,d)- проблема …
3
Сложность однооборотного СМТ
Я ищу сложности выполнимости формулы или формулы где - формула вида: Где - постоянная в , а область переменных также равна .∀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, \dots,y_n,\phiϕϕ\phiϕ:=ϕ∧ϕ | ¬ϕ | ϕ→ϕ | ψϕ:=ϕ∧ϕ | ¬ϕ | ϕ→ϕ | ψ\phi:= \phi \wedge\phi ~| ~\neg \phi ~| …
1
Является ли линеаризуемость эквивалентной проблеме консенсуса?
Во введении к этой статье « В конечном итоге линеаризуемые общие объекты» (PODC'10) авторы представили следующее утверждение без ссылок: Однако линеаризуемость может быть достигнута тогда и только тогда, когда можно достичь консенсуса. Здесь линеаризуемость - это самое сильное известное свойство согласованности общих объектов, которое предлагается в статье « Линеаризуемость: условие …
2
Являются ли адиабатические квантовые вычисления такими же мощными, как модель схемы?
Большая часть литературы по квантовым вычислениям фокусируется на схемотехнической модели. Адиабатические квантовые вычисления основаны не на применении последовательности унитарных операторов, а на изменении зависящего от времени гамильтониана. Я ищу понимание любого из следующего. Являются ли адиабатические квантовые вычисления такими же мощными, как схемная модель, или они по своей природе менее …
1
На , , , и
Мы знаем, что . Из теоремы Савича и из теоремы пространственной иерархии . Итак, поскольку мы не знаем, , мы не знаем, , или мы знаем, что ? Кто-нибудь пытался доказать, что \ mathcal L ^ 2 \ subseteq \ mathcal P ? Каковы последние результаты или усилия в этом …
2
Сертифицированный компилятор и оптимизации в Coq / Agda
Меня интересуют проверенные компиляторы, формализованные в теории типов Мартина-Лёфа, т.е. Coq / Agda. На данный момент я написал небольшой игрушечный пример. Тем самым я могу доказать, что мои оптимизации верны. Например, могут быть исключены дополнения с нуля, например, выражения типа «x + 0». Существуют ли оптимизации, которые сложно выполнить с …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.