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

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

20 reference-request  soft-question  machine-models 

Сегодня в Нью-Йорке и во всем мире отмечается день рождения Христоса Пападимитриу. Это хорошая возможность задать вопрос об отношениях между классом сложности Christos PPAD (и его смежными классами) и квантовыми компьютерами. В своей знаменитой работе 1994 года Пападимитриу представил и систематически изучил несколько важных классов сложности, таких как PLS, PPAD …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

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

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Ниже MSO обозначает монадическую логику второго порядка графов с определением вершин и ребер. Пусть - младшее замкнутое семейство графов. Из Робертсона и Сеймура теории графов малой , что F характеризуется конечным списком H 1 , H 2 , . , , , Н К , запрещенных несовершеннолетним. Другими словами, для …

19 graph-theory  lo.logic  graph-minor  topological-graph-theory 

Я аспирант, работающий в области теоретической информатики. Я прочитал исследовательские работы многих исследователей, и я видел много инструментов и математики, которые они используют для разработки алгоритма. Например, см. Эту исследовательскую работу [Primality in P] . Я бы не сказал, что эта исследовательская работа основана на одной или двух идеях, но …

19 advice-request 

Пирс (2002) вводит отношение типирования на странице 92, записывая: Отношение типа для арифметических выражений, написанное «t: T», определяется набором правил вывода, назначающих типы терминам и сноска говорит, что символ часто используется вместо:. Мой вопрос просто, почему теоретики типов предпочитают использовать: over ? Если тип является набором значений, то имеет смысл …

19 type-theory  notation 

Пусть быть целым числом функция такая , что 2 Р в # Р . Из этого следует, что F находится в # P ? Есть ли основания полагать, что это вряд ли сохранится? Любые ссылки, о которых я должен знать?FFF2F2F2F#P#P\#PFFF#P#P\#P Несколько неожиданно возникла такая ситуация (с гораздо большей константой) для …

19 cc.complexity-theory  complexity-classes  counting-complexity 

В своей статье 1995 года « Алгоритмы полиномиального времени для первичной факторизации и дискретных логарифмов на квантовом компьютере» Питер У. Шор обсуждает усовершенствование порядка упорядочения своего алгоритма факторизации. Стандартные выходы алгоритма r′r′r' , делитель порядка rrr из xxx по модулю NNN . Вместо проверки, если r′=rr′=rr'=r путем проверки, если , …

19 quantum-computing  nt.number-theory  factoring 

Я хотел бы выступить с математикой о системе контроля версий git . В настоящее время он широко используется в математике, а также в индустрии компьютерных наук. Например, сообщество HoTT (Homotopy Type Theory) использует его, и это система перехода к совместному редактированию текстовых файлов, будь то исходный код или разметка латекса. …

19 co.combinatorics  application-of-theory 

Главный / Общий Вопрос Пусть 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 …

19 reference-request  fl.formal-languages 

В «Квантовых вычислениях» и «Квантовой информации» Нильсена и Чуанга они говорят, что многие из алгоритмов, основанных на квантовых преобразованиях Фурье, основаны на свойстве инвариантности Козе преобразований Фурье и предполагают, что свойства инвариантности других преобразований могут дать новые алгоритмы. Были ли плодотворные исследования других трансформаций?

19 quantum-computing  quantum-information 

В Википедии перечислены четыре проблемы, которые есть в но предположительно находятся вне : целочисленная факторизация; Дискретный логарифм; Моделирование квантовых систем; Вычисление полинома Джонса на определенных корнях единства.PB Q PВQпBQPппP Есть ли еще такие проблемы?

19 cc.complexity-theory  complexity-classes  quantum-computing 

Какова наиболее известная сложность для вычисления точного расстояния редактирования между двумя строками одинаковой длины с использованием рабочего пространства, которое является сублинейным по размеру ввода? Я предполагаю, что вход хранится в каком-то формате только для чтения. Это ранее изученная проблема? Чтобы сделать вопрос немного более конкретным, как насчет пространства где - …

19 ds.algorithms  edit-distance  space-time-tradeoff 

В настоящее время вычисление действительных значений в большинстве популярных языков все еще выполняется с помощью операций с плавающей запятой. С другой стороны, теории, такие как эффективность второго типа (TTE) и теория предметной области, давно обещали точное вычисление действительных чисел. Очевидно, что проблема точности с плавающей запятой не уменьшилась в своей …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

Недавно Дана Скотт предложила стохастическое лямбда-исчисление, попытку ввести вероятностные элементы в (нетипизированное) лямбда-исчисление на основе семантики, называемой графовой моделью. Вы можете найти его слайды в Интернете, например, здесь и его статью в журнале прикладной логики , том. 12 (2014). Однако, с помощью быстрого поиска в Интернете, я обнаружил аналогичное предыдущее …

19 lo.logic  pl.programming-languages  lambda-calculus