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

Фрактальный лабиринт - это лабиринт, который содержит копии самого себя. Например, следующий от Mark JP Wolf из этой статьи : Начните с МИНУС и пройдите в ПЛЮС. Когда вы вводите уменьшенную копию лабиринта, обязательно запишите название буквы этой копии, так как вам придется оставить эту копию на выходе. Вы должны …

17 computability  fractals 

(также спрашивается здесь , без ответов) -квантовый расширитель является распределение над унитарной группой со свойством , что: а) , b) , где \ mu_H - мера Хаара. Если вместо распределений по унитарным мы рассмотрим распределения по матрицам перестановок, нетрудно увидеть, что мы восстанавливаем обычное определение d- регулярного графа экспандера. Дополнительные …

17 quantum-computing  spectral-graph-theory 

Много лет назад я слышал, что вычисление минимального NFA (недетерминированного конечного автомата) из DFA (детерминированного) было открытым вопросом, в отличие от обратного направления, которое было известно в течение десятилетий и хорошо исследовано с эффективным алгоритм. Кто-нибудь придумал алгоритм?O ( n lgн )О(NЛ.Г.⁡N)O(n \lg n) Быстрый поиск дал мне этот документ, …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

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

17 ds.algorithms  ds.data-structures  tree 

Контекст: отношения между логикой и автоматами Теорема Бучи гласит, что монадическая логика второго порядка над строками (MSO) охватывает класс регулярных языков. Фактически доказательство показывает, что экзистенциальный MSO ( или EMSO ) над строками достаточен для захвата обычных языков. Это может быть немного удивительно, так как над общими структурами MSO строго …

17 reference-request  lo.logic  regular-language  finite-model-theory 

Будем говорить , что граф является ( , б ) связным , если удаление любых через вершины и любые б ребер из G листьев всегда связного графа. Например, k- связный граф, согласно стандартному определению, ( k - 1 , 0 ) -связный, согласно новому определению. Существует ли алгоритм полиномиальное время …

17 ds.algorithms  graph-theory  graph-algorithms 

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

17 quantum-computing  application-of-theory 

Сетевой коммутатор (название придумано) выполнен с тремя типами узлов: один начальный узел один конечный узел один или несколько узлов коммутатора Узел коммутатора имеет 3 выхода: влево, вверх, вправо; имеет два состояния L и R и целевое состояние TL или TR . Каждый переключатель может быть пройден по следующим правилам: всегда …

17 ds.algorithms  reference-request  graph-algorithms  np 

Этот вопрос похож на один из моих предыдущих вопросов. Известно, что является запрещенным минором для графов с шириной не более t .Kt+2Kt+2K_{t+2}ttt Существует ли красиво построенное, параметризованное, бесконечное семейство графов (кроме полных графов и сеточных графов), которые являются минимально запрещенными минорами для графов любой длины дерева. Другими словами, существует ли …

17 graph-theory  co.combinatorics  treewidth  graph-minor 

- это множество точек на плоскости. Случайная точка x ∉ S задается на той же плоскости. Задача состоит в том, чтобы отсортировать все y ∈ S по евклидову расстоянию между x и y .SSSx∉Sx∉Sx \notin Sy∈Sy∈Sy \in Sxxxyyy Бездумный подход состоит в том, чтобы вычислить расстояния между и y для …

17 cg.comp-geom  sorting 

Учитывая , сколько из -DNF с переменными и предложениями являются тавтологическими? (или сколько CNF неудовлетворительно?)к н м кm,n,km,n,km, n, kkkknnnmmmkКk

17 co.combinatorics  lo.logic  sat 

Каковы наиболее известные методы циклической свертки длины над небольшим полем, т.е. когда | F | « П ? Меня особенно интересуют поля постоянного размера или даже . Общие утверждения и ссылки об асимптотической эффективности высоко ценятся.nnn|F|≪n|F|≪n|\mathbb{F}| \ll nF=F2F=F2\mathbb{F} = \mathbb{F}_2 Фон: Пусть - поле, а . Мы думаем, что векторы …

17 ds.algorithms  reference-request 

Недавно я прочитал доказательство, которое намеревалось показать, что проблема была сильно NP-трудной, просто сводя ее (за полиномиальное время) от сильно NP-трудной задачи. Это не имело никакого смысла для меня. Я бы подумал, что вам нужно будет показать, что любые числа, использованные в сокращении, и случаи задачи, к которой вы сводите, …

17 cc.complexity-theory  np-hardness  reductions 

Метод отрицательного противника ( ) - это SDP, характеризующий сложность квантового запроса. Это обобщение широко используемого метода противника ( A D V ), и оно преодолевает два барьера, мешающих противнику:A D V±ADВ±ADV^\pmA D VADВADV Барьер тестирования свойств: если все 0-экземпляры находятся на расстоянии от всех 1-экземпляров, то метод противника не …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

Недавно я был на конференции, поддерживаемой ACM. Во время банкета организаторы конференции рассказали нам о будущем и прошлом конференции. Они сказали нам, что во время конференции 2010 года была потеря 5000 $. Они показали нам бюджет предыдущей конференции, где мы могли видеть, что на ACM было выделено 8000 долларов (10% …

17 soft-question  conferences