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

Этот вопрос перенесен из Биржи стеков информатики, потому что на него можно ответить в Теоретической бирже информатики. Мигрировал 3 года назад . В научной статье 2016 года « Реализация масштабируемого алгоритма Шора » [ 1 ] авторы учитывают 15 с только 5 кубитами, что меньше «требуемых» 8 кубитов согласно Таблице …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

Недавнее и невероятно приятное доказательство гипотезы о чувствительности основано на явном * построении матрицы An∈{−1,0,1}2n×2nAn∈{−1,0,1}2n×2nA_n\in\{-1,0,1\}^{2^n\times 2^n} , определенной рекурсивно следующим образом: A1=(0110)A1=(0110)A_1 = \begin{pmatrix} 0&1\\1&0\end{pmatrix} и, для, В частности, легко видеть, чтодля всех.n≥2n≥2n\geq 2An=(An−1In−1In−1−An−1)An=(An−1In−1In−1−An−1)A_{n} = \begin{pmatrix} A_{n-1}&I_{n-1}\\I_{n-1}&-A_{n-1}\end{pmatrix}A2n=nInAn2=nInA_n^2 = n I_nn≥1n≥1n\geq 1 Теперь, может быть, я читаю слишком много в этом, …

23 boolean-functions  matrices  boolean-matrix 

Доступ к оракулу обеспечит значительное, сверхполиномиальное ускорение для всего в (при условии, что набор не пуст). Тем не менее, не совсем ясно, сколько выиграет от этого доступа к оракулу. Конечно, ускорение в не может быть суперполиномиальным, но оно может быть полиномиальным. Например, можем ли мы найти кратчайший путь быстрее с …

23 cc.complexity-theory  np  np-complete 

При постоянная , можно определить в линейное время, учитывая входной граф G , является ли его древесной шириной есть ≤ K . Однако, когда оба k и G даны в качестве входных данных, проблема NP-трудна. ( Источник ).k ∈ Nk∈Nk \in \mathbb{N}гGG≤ k≤k\leq kКkkгGG Однако, когда входной граф является плоским …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Хорошо известно, что многие важные параметры графа показывают (сильную) концентрацию на случайных графах, по крайней мере, в некотором диапазоне вероятности границы. Некоторые типичные примеры: хроматическое число, максимальная клика, максимальный независимый набор, максимальное совпадение, номер доминирования, количество копий фиксированного подграфа, диаметр, максимальная степень, номер выбора (число окраски списка), номер Lovasz θθ\theta …

23 graph-theory  pr.probability  random-graphs 

Теория сложности, с помощью таких понятий, как NP-полнота, различает вычислительные задачи, которые имеют относительно эффективные решения, и те, которые трудноразрешимы. «Мелкозернистая» сложность призвана уточнить это качественное различие в количественном руководстве относительно точного времени, необходимого для решения проблем. Более подробную информацию можно найти здесь: http://simons.berkeley.edu/programs/complexity2015 Вот несколько важных гипотез: ETH: - …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Я читал во многих статьях, что определение постоянной Чигера графа является -hard. Это кажется народной теоремой, но я никогда не находил ни цитаты, ни доказательства для этого утверждения. Кому я должен отдать должное за это? В старой статье («Изопериметрические числа графов», J. Comb. Theory B, 1989) Мохар только подтверждает это …

23 reference-request  graph-theory  spectral-graph-theory 

Учитывая две строки x и y, я хочу создать DFA минимального размера, который принимает x и отклоняет y. Один из способов сделать это - перебор. Вы перечисляете DFA, начиная с самого маленького. Вы пробуете каждый DFA, пока не найдете тот, который принимает x и отклоняет y. Я хочу знать, есть …

23 automata-theory  dfa  fsm 

В настоящее время биткойн имеет систему проверки работоспособности (PoW) с использованием SHA256. Другие хеш-функции используют графы доказательства работы системы, частичное обращение хеш-функций. Можно ли использовать проблему принятия решений в теории узлов, такую ​​как распознавание узлов, и превратить ее в доказательство работы? Также кто-нибудь делал это раньше? Кроме того, когда у …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Важная статья 2003 года Childs et al.представил «проблему соединенных деревьев»: проблему, допускающую экспоненциальное квантовое ускорение, которое не похоже ни на одну другую подобную проблему, о которой мы знаем. В этой задаче нам дан экспоненциально большой граф, подобный изображенному ниже, который состоит из двух полных двоичных деревьев глубины n, листья которых …

23 graph-algorithms  quantum-computing  randomized-algorithms  random-walks  decision-trees 

Многочлен является монотонной проекцией многочлена если = poly , и существует присваивание , что . Таким образом, можно заменить каждую переменную из на переменную или константу или так, чтобы полученный многочлен совпадал с . е(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n)m ( n ) π : { y 1 , … , y m } → …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

Пусть L1,L2L1,L2L_1,L_2 будут двумя обычными языками, заданными NFA M1,M2M1,M2M_1,M_2 качестве входных данных. Предположим, мы хотели бы проверить, является ли L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptyset . Это можно сделать с помощью квадратичного алгоритма, который вычисляет автомат произведений M1,M2M1,M2M_1,M_2 , но мне было интересно, известно ли что-нибудь более эффективное. Существует ли алгоритм o(n2)o(n2)o(n^2) для …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Для фиксированного конечного алфавита , формальный язык над является регулярным , если существует детерминированный конечный автомат (ДКА) над , которая принимает ровно .L ΣΣΣ\SigmaLLLΣΣ\SigmaLΣΣ\SigmaLLL Я интересуюсь языками, которые «почти» регулярны в том смысле, что они могут распознаваться автоматическими семействами размеров, которые растут только полиномиально с длиной слова. Формально, позвольте мне …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

В настоящее время я пытаюсь найти полные задачи EXPSPACE (в основном, чтобы найти вдохновение для сокращения), и я удивлен небольшим количеством ожидаемых результатов. Пока я нашел это, и у меня есть проблемы с расширением списка: универсальность (или другие свойства) регулярных выражений с возведением в степень. проблемы, связанные с системами сложения …

23 cc.complexity-theory  reference-request  big-list 

Я знаю, что тривиально функция OR для переменных может быть точно представлена ​​полиномом следующим образом: , который имеет степень .х 1 , ... , х п р ( х 1 , ... , х п ) р ( х 1 , ... , х п ) = 1 - П …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials