Существует ли какая-либо система, похожая на лямбда-исчисление, которая сильно нормализуется, без необходимости добавлять систему типов поверх
Плод, если вы не слышали об этом, можно прочитать здесь . Он использует систему «матриц вызовов» и «графов вызовов» для поиска всех «поведений рекурсии» рекурсивных вызовов в функции. Чтобы показать, что функция завершается, это показывает, что все рекурсивные поведения рекурсивных вызовов,...
Мне интересно узнать, как мы можем использовать концепции пределов и колимитов в задачах моделирования в повседневной жизни? Может быть, кто-нибудь может привести примеры разработки программного обеспечения? Или опишите интуитивно в целом, для каких задач моделирования мы можем использовать эти...
Предположим, что у меня есть пPP наборы с элементами, взятыми из рrrвозможные. Каждый набор имеет размерNnn (n <
У меня наивный вопрос: существует ли машина Тьюринга, завершение которой истинно, но недоказуемо какой-либо естественной, последовательной и конечно аксиоматизируемой теорией? Я прошу простое доказательство существования, а не конкретный пример. Это может быть связано с порядковым анализом ....
Каковы некоторые из лучших источников (книги и статьи), чтобы мотивировать и изучать сложность общения самостоятельно и в связи с ее отношением к теории вычислительной...
Не проще ли проверить транзитивность орграфа, чем (с точки зрения асимптотической сложности) взять транзитивное замыкание орграфа? Знаем ли мы какую-либо нижнюю границу лучше, чемΩ(n2)Ω(n2)\Omega(n^2) определить, является ли орграф транзитивным или...
Здесь было несколько вопросов ( 1 , 2 , 3 ) о транзитивном завершении, которые заставили меня задуматься, возможно ли что-то подобное: Предположим, мы получили входной ориентированный граф GGG и хотел бы ответить на запросы типа "(u,v)∈G+(u,v)∈G+(u,v)\in G^+? ", т.е. спрашивает, существует ли ребро...
В задаче о посаженной клике необходимо восстановить -клику, заложенную в случайном графе Эрдоша-Реньи . В основном это рассматривалось для , и в этом случае известно, что оно решаемо за полиномиальное время, если и предположило трудно для .КkkG ( n , p )г(N,п)G(n,p)р =12пзнак равно12p=\frac{1}{2}к...
Большинство зависимых типизированных систем имеют строгие условия положительности для индуктивных типов. Кто-нибудь знает пример, когда нарушение условия приводит к несогласованности в...
Рассмотрим классическую # P-полную задачу # 3SAT, т. Е. Посчитаем количество оценок, чтобы сделать 3CNF с переменными выполнимыми. Меня интересует аддитивная аппроксимируемость. Ясно, что существует тривиальный алгоритм для достижения -ошибки, но если , возможно ли иметь эффективный алгоритм...
Я хочу разделить набор точек на два подмножества одинакового размера так, чтобы сумма квадратов внутри кластера была минимальной. Можно предположить, что точки находятся в двумерном евклидовом пространстве. Я надеюсь на что-то более быстрое, чем обычный алгоритм кластеризации k-средних, учитывая,...
Гомоморфизм из графаG=(V,E)G=(V,E)G = (V, E) на график G′=(V′,E′)G′=(V′,E′)G' = (V', E') это отображение fff от VVV в V′V′V' такой, что если xxx а также yyy смежны в EEE тогда f(x)f(x)f(x) а также f(y)f(y)f(y) смежны в E′E′E', Эндоморфизм графаGGG является гомоморфизмом из GGGк себе; это без...
Каков наилучший результат для числа затворов в схеме, умножающей два n-разрядных целых числа? Очевидный метод генерирует θ (N2)θ(N2)\theta(n^2)ворота. Есть лучшие подходы сθ(nlognloglogn)θ(nlognloglogn)\theta(n\log n \log\log n) а также θ(nlogn2log∗(n))θ(nlogn2log∗(n))\theta(n\log...
Скажем, у нас есть булева функция f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\} и мы применяем δδ\deltaслучайное ограничение на fff, Кроме того, скажем, что дерево решенийTTT это вычисляет fff сжимается до размера O(1)O(1)O(1)в результате случайного ограничения. Означает ли это,...
Позволять f∈Q[x1,x2,…,xn]f∈Q[x1,x2,…,xn]f\in\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}] быть полиномом, заданным арифметической схемой CCC размера sss, ДанныйCCC в качестве входных данных, есть ли детерминированный алгоритм, чтобы проверить, все ли неприводимые факторы fff в...
Каково соотношение неоднозначных CFG к всем CFG ? Поскольку оба множества счетно бесконечны, соотношение не является четко определенным. Но как насчет асимптотической плотности : limn↦∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto...
Прошу прощения, это немного "мягкий" вопрос. Теория информации не имеет понятия вычислительной сложности. Например, экземпляр SAT или экземпляр SAT плюс бит, указывающий на выполнимость, несут одинаковое количество информации. Есть ли способ формализовать понятие «полиномиально узнаваемый»? Такая...
Что известно о сложности решения системы линейных уравнений над некоторым конечным полем? Я знаю, что существуетO (N3)O(n3)O(n^3)алгоритм (Гаусса), который вычисляет решение и что для разреженных систем есть еще лучшие алгоритмы. Однако мне было интересно, была ли какая-то теоретическая...
Позволять d:{0,1}k×{0,1}k→Rd:{0,1}k×{0,1}k→Rd:\{0,1\}^k\times \{0,1\}^k \to \mathbb{R}быть функцией, которую мы называем функцией подобия . Примерами функции подобия являются косинусное расстояние,l2l2l_2 норма, расстояние Хэмминга, сходство Жакара и т. д. Рассматривать nnn двоичные векторы длины...