Согласно (непроверенному) историческому описанию, Колмогоров считал, что каждый язык в имеет линейную сложность схем. (См. Предыдущий вопрос о гипотезе Колмогорова о том, что имеет цепи линейного размера .) Обратите внимание, что из этого следует, что .P P ≠ N PPP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq...
Размышляя о сложности проверки изоморфизма асимметричных графов (см. Мой связанный с этим вопрос о теории), у меня возник дополнительный вопрос. Предположим, что у нас есть машина Тьюринга за полиномиальное время которая на входе генерирует граф с узлами.1 n G M , n nMMM1n1n1^nGM,nGM,nG_{M,n}nnn Мы...
В «Квантовых вычислениях» и «Квантовой информации» Нильсена и Чуанга они говорят, что многие из алгоритмов, основанных на квантовых преобразованиях Фурье, основаны на свойстве инвариантности Козе преобразований Фурье и предполагают, что свойства инвариантности других преобразований могут дать новые...
Я думал об этой проблеме очень давно, но понятия не имею об этом. Алгоритм генерации заключается в следующем. Мы предполагаем, что существует nnn дискретных узлов, пронумерованных от 000 до n−1n−1n - 1 . Затем для каждого iii в { 1 , … , n - 1 }{1,…,n−1}\{1, \dotsc, n - 1\} мы делаем родительский...
Какова наиболее известная сложность для вычисления точного расстояния редактирования между двумя строками одинаковой длины с использованием рабочего пространства, которое является сублинейным по размеру ввода? Я предполагаю, что вход хранится в каком-то формате только для чтения. Это ранее...
Недавно Дана Скотт предложила стохастическое лямбда-исчисление, попытку ввести вероятностные элементы в (нетипизированное) лямбда-исчисление на основе семантики, называемой графовой моделью. Вы можете найти его слайды в Интернете, например, здесь и его статью в журнале прикладной логики , том. 12...
В Википедии перечислены четыре проблемы, которые есть в но предположительно находятся вне : целочисленная факторизация; Дискретный логарифм; Моделирование квантовых систем; Вычисление полинома Джонса на определенных корнях единства.PB Q PВQпBQPппP Есть ли еще такие...
Главный / Общий Вопрос Пусть LLL будет языком. Определим языки LiLiL_i с L0=LL0=LL_0 = L и Li={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\} для i≥1i≥1i \geq 1 . Рассмотрим L = ⋃ л я . Таким образом, мы неоднократно «встраивать» L в себя , чтобы получить L...
USTCONN - это проблема, которая требует решения о том, существует ли путь от исходной вершины sss до целевой вершины ttt в графе GGG , где все они представлены как часть входных данных. Омер Рейнгольд показал, что USTCONN находится в L (doi: 10.1145 / 1391289.1391291 ). Доказательство создает...
В настоящее время вычисление действительных значений в большинстве популярных языков все еще выполняется с помощью операций с плавающей запятой. С другой стороны, теории, такие как эффективность второго типа (TTE) и теория предметной области, давно обещали точное вычисление действительных чисел....
В своей статье 1995 года « Алгоритмы полиномиального времени для первичной факторизации и дискретных логарифмов на квантовом компьютере» Питер У. Шор обсуждает усовершенствование порядка упорядочения своего алгоритма факторизации. Стандартные выходы алгоритма r′r′r' , делитель порядка rrr из xxx по...
Я хотел бы выступить с математикой о системе контроля версий git . В настоящее время он широко используется в математике, а также в индустрии компьютерных наук. Например, сообщество HoTT (Homotopy Type Theory) использует его, и это система перехода к совместному редактированию текстовых файлов,...
Решение проблемы CNF-SAT можно описать следующим образом: Вход: булева формула в конъюнктивной нормальной форме.ϕφ\phi Вопрос: существует ли присвоение переменной, которая удовлетворяет ?ϕφ\phi Я рассматриваю несколько различных подходов к решению проблемы CNF-SAT с помощью недетерминированной...
Пусть быть целым числом функция такая , что 2 Р в # Р . Из этого следует, что F находится в # P ? Есть ли основания полагать, что это вряд ли сохранится? Любые ссылки, о которых я должен знать?FFF2F2F2F#P#P\#PFFF#P#P\#P Несколько неожиданно возникла такая ситуация (с гораздо большей константой) для...
Ниже MSO обозначает монадическую логику второго порядка графов с определением вершин и ребер. Пусть - младшее замкнутое семейство графов. Из Робертсона и Сеймура теории графов малой , что F характеризуется конечным списком H 1 , H 2 , . , , , Н К , запрещенных несовершеннолетним. Другими словами,...
Хорошо известно, что проблема эквивалентности неразрешима для общих контекстно-свободных языков. Тем не менее, все доказательства этого факта, о которых я знаю, похоже, включают в себя некоторые неоднозначные контекстно-свободные грамматики. По этой причине я хотел бы спросить, известно ли,...
Я аспирант, работающий в области теоретической информатики. Я прочитал исследовательские работы многих исследователей, и я видел много инструментов и математики, которые они используют для разработки алгоритма. Например, см. Эту исследовательскую работу [Primality in P] . Я бы не сказал, что эта...
Пирс (2002) вводит отношение типирования на странице 92, записывая: Отношение типа для арифметических выражений, написанное «t: T», определяется набором правил вывода, назначающих типы терминам и сноска говорит, что символ часто используется вместо:. Мой вопрос просто, почему теоретики типов...
Parity-P - это набор языков, распознаваемых недетерминированной машиной Тьюринга, которая может различать только четное число или нечетное число путей «принятия» (а не нулевое или ненулевое число путей принятия). Таким образом, Parity-P - это, в основном, младший брат PP с задержкой роста: в то...
Определим Gaussian сложность в качестве матрицы , чтобы минимальное число элементарных операций строк и столбцов , необходимых для приведения матрицы в верхней треугольной форме. Это величина от до (через гауссовское исключение). Понятие имеет смысл в любой области.n×nn×nn \times nn 2000n2n2n^2 Эта...