Теоретическая информатика

Что известно о фазовом переходе в задачах # P-Complete? В частности, существует ли другой фазовый переход для # DNF-k-SAT и # CNF-k-SAT? Обновление: Как мы знаем, в Random k-SAT есть фазовый переход, где решение проблемы переходит от простого к сложному и снова к легкому. Я хотел бы знать, существует ли …

11 cc.complexity-theory  counting-complexity  phase-transition 

Следующая проблема разрешима: Имеет ли контекстная грамматика , ?GGGL(G)=∅L(G)=∅L(G) = \varnothing Следующая проблема неразрешима: Имеет ли контекстно-свободная грамматика GGG , L(G)=A∗L(G)=A∗L(G) = A^{\ast} ? Существует ли характеристика контекстно-свободных языков MMM с разрешимым равенством L(G)=ML(G)=ML(G) = M ?

11 computability  fl.formal-languages 

Я ищу экономически эффективную структуру данных, которая содержит наборы (без повторений) элементов wordize и поддерживает быструю вставку (амортизированный O (1)). Под «эффективным с точки зрения пространства» я подразумеваю в идеале слов для хранения n элементов.n+o(n)n+o(n)n + o(n)nnn Быть множеством - важная часть вопроса: если каждый элемент добавляется раз, используемое пространство …

11 ds.data-structures 

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

11 reference-request  quantum-computing  communication-complexity  quantum-information 

В 1975 году Миллер показал, как уменьшить факторизацию целого числа чтобы найти период функции такой, что f (x + r) = f (x) с некоторым случайно выбранным <N . Хорошо известно, что алгоритм Шора может эффективно найти r на квантовом компьютере, в то время как считается, что классическому компьютеру трудно …

11 cc.complexity-theory  cr.crypto-security  factoring 

Пусть мы зафиксируем 0<E<10<E<100 . для любого nnn и для любого вектора c¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n такого, что ∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S \subseteq [n] : \sum_{i \in S}~ c_i \geq E \times t \}| \geq \binom{ E \times n}{ t } Я не …

11 co.combinatorics  it.information-theory 

Я хотел бы знать, может ли быть решена следующая проблема в (недетерминированное пространство журнала):NLNL\mathsf{NL} Для ориентированного графа с двумя выделенными вершинами s и t существует ли единственный путь из s в t в G ?s tGGGssstttт гssstttGGG Я чувствую, что он, вероятно, находится в NLNL\mathsf{NL} так как мы можем решить, …

11 reference-request  graph-theory 

Можно ли построить алгоритм, который принимает в качестве входных данных автомат сокращения вместе с обещанием, что язык, принятый этим автоматом является детерминированным контекстно-свободным языком и выводит детерминированный автомат нажатия который принимает именно принятый язык на ?MMMЛ ( М)L(M)L(M)NNNMMM Эквивалентная проблема была бы построить алгоритм , который принимает в качестве входного …

11 reference-request  computability  fl.formal-languages  automata-theory 

Полнота и обоснованность интерактивных систем доказательства неформально определяются как: Полнота: если утверждение верно, честный проверяющий может убедить честного проверяющего в этом факте whp . Обоснованность: если утверждение ложно, обманщик не может убедить честного проверяющего (в достоверности ложного утверждения) whp Термин «whp» либо интерпретируется как «с вероятностью, большей, чем (скажем) 2/3», …

11 cc.complexity-theory  interactive-proofs 

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

11 soft-question  big-list  ho.history-overview 

Я ищу высокоэффективную структуру данных для хранения данных, аналогичную следующей. Идентификационные метки Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Мне нужно иметь возможность запрашивать эту структуру таким образом, чтобы она выдала мне список всех идентификаторов, содержащих выражение тегов …

11 ds.data-structures  application-of-theory  db.databases 

Матрица имеет размерность n × n ( n - 1 ) . Мы хотим заполнить A, используя целые числа от 1 до n включительно.AAAn × n ( n - 1 )n×n(n−1)n \times n(n-1)AAA111Nnn Требования: Каждый столбец является перестановкой 1 , … , n .AAA1 , … , n1,…,n1, \dots, n …

11 co.combinatorics  cr.crypto-security  coding-theory 

Правильно ли называть инфраструктуру mapReduce типом структуры объемного синхронного параллельного программирования без сохранения локальной памяти в процессорах между синхронизациями? Если нет, то какая модель параллельного программирования наиболее точно инкапсулирует каркас mapReduce?

11 dc.parallel-comp  machine-models 

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

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Условная логика - это логика, которая дополняет традиционную логическую импликацию модальными операторами, соответствующими другим понятиям условия (например, условная причина To гласит: « вызывает« B », или вероятностное обусловливание « », которое читается как « данный »).A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB Обычно эти логики изучаются теоретически, но я удивляюсь их применению для разработки …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory