Возьмем ориентированный граф края которого украшены натуральным числом. Нам нужно множество всех путей P между двумя вершинами v 1 и v 2 , чтобы каждое последующее ребро в пути было украшено натуральным числом, которое больше натурального числа, украшающего предыдущее ребро.GGGPPPv1v1v_1v2v2v_2...
Мы часто хотим определить объект соответствии с некоторыми правилами вывода. Эти правила обозначают производящую функцию F , которая, когда она монотонна, возвращающую мере неподвижную точку М F . Возьму А : = μ F , чтобы быть «индуктивным определением» А . Кроме того, монотонность F позволяет нам...
Что я должен прочитать, чтобы понять эту проблему? Мощность квантовых цепей малой глубины. Является ли ? Другими словами, может ли «квантовая» часть любого квантового алгоритма быть сжата до глубины полилога (n), если мы хотим выполнить классическую постобработку за полиномиальное время? (Известно,...
Доступна ли следующая рукопись публично? Дана Скотт, 1969, Теория вычислимых функций высшего типа . Неопубликованные заметки семинара, 7 страниц, Оксфордский университет. Эта статья обсуждается в разделе 8.1.2, Типы как множества , в Cardone & Hindley, 2006 История лямбда-исчисления и...
Существует теоретическое доказательство того, что наивная декартова конструкция продукта для пересечения DFAs - «лучшее, что мы можем сделать». А как насчет объединения двух DFA? Тривиальная конструкция включает в себя преобразование каждого DFA в NFA, добавление эпсилон-перехода и определение...
Анализ наихудших и средних случаев - это общеизвестные меры сложности алгоритма. Недавно сглаженный анализ стал еще одной парадигмой, объясняющей, почему некоторые алгоритмы, экспоненциальные в наихудшем случае, так хорошо работают на практике, например, симплексный алгоритм. Мой вопрос - есть ли...
Является ли следующая проблема в PTIME или coNP-hard: Даны два булевых выражения и в переменных без отрицания (т. Е. Выражения полностью построены с помощью и ). Решите, есть ли , то есть имеют ли они одинаковое значение для всех назначений переменных.е1е1e_1е2е2e_2Икс1, … ,...
Фон Бинарное дерево решений представляет собой корневое дерево , где каждый внутренний узел (и корень) помечен индекс J ∈ { 1 , . , , , n } , так что путь от корня к листу не повторяет индекс, листья помечаются выходами в { A , B } , а каждое ребро помечается 0 для левого потомка и 1 для правого...
Есть ли случаи, когда дополнительные публикации могут повредить вашей записи? Это позволяет избежать очевидных случаев, когда вы публикуете неверные или противоречивые результаты. Также избегаем случая конечного времени: у вас есть только так много времени, чтобы думать и писать, поэтому написание...
Я жду определенного ответа на заглавный вопрос. Существует ли набор правил, который переводит любую программу в конфигурацию конечных фигур на бесконечной доске, например, если черно-белые играют только легальные ходы, игра заканчивается за конечное время, если программа останавливается? Правила те...
Слабая нормализация для простого типизированного лямбда-исчисления может быть доказана (Тьюринг) индукцией по . Расширенное лямбда-исчисление с рекурсорами на натуральные числа (Генцен) имеет слабую стратегию нормализации по индукции на ϵ 0 .ω2ω2\omega^2ϵ0ϵ0\epsilon_0 А как насчет системы F (или...
Я ищу проблему, которая принадлежит в общих графах, но находится в в графах с ограниченной шириной дерева. На самом деле я думаю, что эти проблемы сложнее, чем использование нормального динамического программирования в ограниченных графах. -ширины графиков для их...
Учитывая, что большинство американских университетов принимают заявки только в одной области, я пытаюсь выяснить, в чем преимущества / недостатки применения программы по теории КС по сравнению с прикладной математической программой, если ее интересы находятся где-то в обоих отделах. Чтобы быть...
Хорошо известно, что K5K5K_5 и K3,3K3,3K_{3,3} являются запрещенными минорами для плоских графов. Существуют сотни запрещенных миноров для графов, встраиваемых в тор. Количество запрещенных миноров для графов, встраиваемых на поверхность рода g, является экспоненциальной функцией от g . Мой вопрос...
Какое минимальное количество двоичных вентилей необходимо для вычисления И и ИЛИ из входных битов одновременно? Тривиальная верхняя граница . Я считаю, что это оптимально, но как это доказать? Стандартный метод устранения строба здесь не работает, так как, присваивая константу любой из входных...
Как известно, древовидная декомпозиция графа состоит из дерева со связанным мешком для каждой вершины , которое удовлетворяет следующим условиям:T T v ⊆ V ( G ) v ∈ V ( T )GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) Каждая вершина происходит в некотором мешке T .GGGTTT Для каждого...
Я пытаюсь выяснить, как граф путей соответствии с алгоритмом Эппштейна в этой статье работает, и как я могу восстановить k кратчайших путей от s до t с соответствующей конструкцией кучи H ( G ) .P(G)P(G)P(G)kkkssstttH(G)H(G)H(G) Слишком далеко: содержит все ребраоставляя вершину V в графе G ,...
Классическим результатом Куроды является то, что класс сложности NSPACE [ ]NNn (также известный как NLIN-SPACE) является именно классом CSL контекстно-зависимых языков . Задача выполнимости SAT находится в NSPACE [ ], так как предположение линейного размера для решения может быть проверено не более...
Меня интересует эта проблема: учитывая неориентированный граф , существует ли разбиение G на графы G 1 ( E 1 , V 1 ) и G 2 ( E 2 , V 2 ), такие что G 1 а G 2 изоморфны?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 Здесь разбивается на два...
Я не работаю в теории, но моя работа требует чтения (и понимания) теоретических работ время от времени. Как только я понимаю (набор) результатов, я обсуждаю эти результаты с людьми, с которыми я работаю, большинство из которых также не работают в теории. Во время одного из таких обсуждений возник...