Я заинтересован в моделировании объектов, от объектно-ориентированного программирования, в теории зависимых типов. В качестве возможного приложения я хотел бы иметь модель, в которой я могу описать различные функции императивных языков программирования. Я мог найти только одну статью о...
Теорема Раза о параллельном предсказании является важным результатом в PCP, аппроксимации и т. Д. Теорема оформилась следующим образом. Игра , где S , T , A , B - конечные множества, π - распределение по S × T и предикат V : S × T × A × B → { 0 , 1 } . Определить значение игры v ( G ) = max...
Определение чисел Рамси следующее: Пусть положительное число такого , что каждый граф порядка по крайней мере содержит либо клику на вершину или множество стабильного на вершинах.R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)aaabbb Я работаю над некоторым расширением номеров Рамси. Хотя исследование...
Я ищу советы и отзывы. Предыстория: я студентка математики, с интересом к теоретической информатике (вычислительная сложность, теория графов, комбинаторика). Я хочу получить докторскую степень в области компьютерных наук и сосредоточиться на теории. Мой опыт работы в математически интенсивных...
Меня интересует сложность задачи о доминирующем множестве (DSP) в некоторых конкретных классах графов, которые являются подклассами хордовых графов . Граф является неориентированным графом путей, если он является графом пересечения вершин семейства путей в некотором неориентированном дереве. Пусть...
Для данного плоского графа его можно вложить в линейное время, свободно переходя в сетку . Меня интересует, известны ли какие-либо эффективные алгоритмы, позволяющие прямой линии встраивать планарный граф, свободно пересекающийся в сетку n c × n c , для некоторого малого c , такого, чтобы...
Один из моих друзей спрашивает меня о следующей проблеме планирования на дереве. Я считаю, что это очень чисто и интересно. Есть ли какая-либо ссылка на это? Проблема: Существует дерево , каждое ребро имеет симметричную стоимость перемещения 1 . Для каждой вершины v i есть задача, которую...
В 1973 году Вайнер дал первое линейное построение суффиксных деревьев. Алгоритм был упрощен в 1976 году МакКрейтом, а в 1995 году - Укконеном. Тем не менее, я нахожу алгоритм Укконена относительно концептуально задействованным. Были ли упрощения алгоритма Укконена с 1995...
У меня есть алгебраическая задача, связанная с векторами в поле GF (2). Пусть v1,v2,…,vmv1,v2,…,vmv_1, v_2, \ldots, v_m - (0,1) -векторы размерности nnn и m=nO(1)m=nO(1)m=n^{O(1)} . Найти алгоритм полиномиального времени, который находит (0,1) -вектор uuu такой же размерности, чтобы uuu не было...
Есть ли доказательство того, что эмуляция машины Тьюринга на забывающей машине Тьюринга не может быть выполнена менее чем за O(mlogm)O(mlogm)\mathcal{O}\left(m\log m\right) где mmm - это число шагов, которые машина Тьюринга использует? Или это только верхняя граница? Витани утверждает, что в...
Я хотел бы знать об истории этих двух терминов: « эффективный », « выполнимый ». Кто использовал их в отношении вычислений / алгоритмов в первый раз? (в современном понимании этих терминов, т.е. 20-го века). Как они стали мейнстримом? Как эти два термина начали использоваться как синонимы? Я знаю,...
Кто-нибудь формализовал связь между методами синтаксического анализа с уменьшением сдвига и продолжением с разделителями? При построении снизу вверх анализатора (например, LR парсеры), мы возьмем грамматику , а затем представляют синтаксический анализ состояние как совокупности элементов :...
Известно ли, что задача множества вершин обратной связи на неориентированных плоских графах ограниченной степени является трудной?Н
Набор-функция fff монотонно субмодулярная , если для всех A,BA,BA,B , f(A)+f(B)≥f(A∪B)+f(A∩B).f(A)+f(B)≥f(A∪B)+f(A∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Более сильным свойством является...
Может ли кто-нибудь перечислить некоторые известные проблемы, удовлетворяющие следующим условиям: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution....
Я поставил перед своими учениками задачу нахождения треугольника, согласующегося с набором точек в R 2 , помеченных как ± 1 . (Треугольник Т является согласуется с меченым образцом , если Т содержит все положительные и ни один из негативных моментов, по предположению, образец допускает по меньшей...
У меня есть вопрос, касающийся полиномов и вероятностей низкой степени: какова (асиптотическое поведение) вероятность того, что случайный * полином ppp по GF (2) со степенью и n переменных имеет .≤d≤d\le...
Чтобы отпраздновать 100-летие Алана Тьюринга, я хочу посмотреть документальный фильм о его жизни. Однако есть несколько документальных фильмов на выбор. Какой документальный фильм об Алане Тьюринге ваш любимый? Пожалуйста, включите только один документальный фильм за...
Существует несколько хорошо известных результатов оценки нижнего предела размера схемы основанных на случайных ограничениях и лемме о переключении .AC0AC0\mathsf{AC^0} Можем ли мы разработать результат леммы о переключении, чтобы доказать нижнюю оценку размера для цепей (аналогично нижним оценкам...
В своей основополагающей работе Теоретико-групповые алгоритмы для умножения матриц Кон, Кляйнберг, Сегеди и Уманс вводят концепцию однозначно решаемой головоломки (определено ниже) и емкость USP. Они утверждают, что Копперсмит и Виноград, в своих собственных новаторских работах по умножению матриц...