Это может быть очень простой вопрос. Но в чем разница между типами и сортами? Мое текущее понимание состоит в том, что у вас есть теория типов с правилами типов, которые дают представление о хорошо типизированном утверждении, но сорта являются более базовыми, дифференцируя символы на различные виды...
У меня есть несколько миллионов 32-битных значений. Для каждого значения я хочу найти все другие значения в пределах расстояния Хэмминга, равного 5. В наивном подходе это требует сравнений, которых я хочу избежать.O ( N2)O(N2)O(N^2) Я понял, что если я просто обработал эти 32-битные значения как...
К настоящему времени имеется множество результатов по разделителям в графах, от плоского разделителя, разделителя деревьев, ограниченных графов ширины дерева, ограниченного рода родов и т. Д., И т. Д., И т. Д., И т. Д. Есть ли какой-нибудь хороший обновленный обзор по этому поводу и их...
Была ли эта проблема изучена раньше? Учитывая метрический неориентированный граф G (длины ребер удовлетворяют неравенству треугольника), найдите множество S вершин, таких что MST (G [S]) максимизировано, где MST (G [S]) - минимальное остовное дерево подграфа, индуцированное С. Была ли эта проблема...
В этой недавней статье FOCS2013 « Сильные черные ходы к SAT ограниченной длины дерева», составленной Gaspers и Szeider, говорится о связи между шириной дерева графика предложения SAT и твердостью экземпляра. Для случайных 3-SAT, то есть 3-SAT экземпляров, выбранных случайным образом, какова...
Я ищу небольшой язык, который поможет «убедить» студентов, что машины Тьюринга являются достаточно общей вычислительной моделью. Это язык, который похож на языки, к которым они привыкли, но также легко моделируется на машине Тьюринга. Пападимитриу использует машины ОЗУ для этой работы, но я боюсь,...
Я изучил кое-что о реализации зависимых типов, как этот учебник , но большинство из них - реализация интерпретаторов. Мой вопрос, кажется, что реализация компилятора для зависимого типа намного сложнее, чем компилятор, потому что вы действительно можете оценить аргументы зависимого типа для...
Прежде всего, мое понимание теоремы Гёделя о неполноте (и формальной логики в целом) очень наивно, а также мои знания в области теоретической информатики (имеется в виду только один выпускной курс, когда я еще студент), поэтому этот вопрос может быть очень наивно Насколько я мог найти, доказуемость...
Я ищу эффективный алгоритм для решения проблемы: Входные данные : положительное целое число 3n3n3^n (сохраняется в виде битов) для некоторого целого числа n≥0n≥0n \geq 0 . Вывод : число nnn . Вопрос : Можем ли мы вычислить nnn из битов 3n3n3^n за O(n)O(n)O(n) времени? Это теоретический вопрос,...
Односторонние чередующиеся нажимные автоматы (1APDA) могут распознавать любой язык в (Чередование, Чандра, Козен и Стокмейер, 1981) . Заменив хранилище 1APDA со счетчиком, можно получить односторонний чередующийся автомат с одним счетчиком (1ACA). Мой вопрос о 1ACA на унарных языках.Д ТяMЕ( 2O ( n...
Я понимаю следующие утверждения, чтобы быть правдой: Два разных вывода строки в данном CFG могут иногда приписывать строку одному и тому же дереву разбора. Когда есть производные некоторой строки в данном CFG, которые приписывают различные деревья разбора, CFG является неоднозначным. Некоторые...
У меня есть трудности в понимании последних шагов алгоритма AHSP. Пусть абелева группа и е функция , которая скрывает подгруппу H . Пусть G * представляет двойную группу G .GGGfffHHHG∗G∗G^*GGG Вот шаги алгоритма Сначала подготовь государство, .I=1|G|∑g∈G|g⟩|0⟩I=1|G|∑g∈G|g⟩|0⟩\qquad \displaystyle...
Я заинтересован в изучении полных задач Изоморфизма графов (GI). В работе Kellogg S. Booth (1979) «Проблемы, полиномиально эквивалентные изоморфизму графа» доказано, что многие базовые задачи являются GI-полными с использованием методов замены краев, методов композиции и т. Д. Я хотел бы изучить...
Для полиномиальной задачи локального поиска мы знаем, что должно существовать хотя бы одно решение (локальный оптимум). Тем не менее, может существовать гораздо больше решений, насколько сложно сосчитать количество решений для PLS-полной задачи? Меня особенно интересует проблема решения: есть ли у...
Пусть x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) - вектор булевых переменных. Пусть C,DC,DC,D две булевы схемы на xxx . Скажите, что CCC похож на DDD если: x { 0 , 1 } nPr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]xxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D различаются по расстоянию редактирования графика...
Я читаю знаменитую статью Impagliazzo и Wigderson в 1997 году. Так как я новичок в этой области, и эта статья является краткой версией конференции, мне трудно следить за их доказательствами. В частности, некоторые из их новых теорем не имеют доказательств. Насколько мне известно, не было...
Предположим, что нам дан массив содержащий неотрицательные целые числа (не обязательно различающиеся).A[1..n]A[1..n]A[1..n] Пусть будет отсортированным в неубывающем порядке. Мы хотим вычислить BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. Очевидным решением является...
Шон Андерсон опубликовал немного вертел хаки , содержащие алгоритм Эрика Коула , чтобы найти А.Н. -разрядного целочисленного в операций с умножения и поиска.N v O ( lg ( N ) )⌈log2v⌉⌈log2v⌉\lceil\log_2 v \rceilNNNvvvO(lg(N))O(lg(N))O(\lg(N)) Алгоритм опирается на «магическое» число из...
Я ищу ресурсы (желательно справочник) по сложным темам в алгоритмах (темам, выходящим за рамки учебников по алгоритмам, таким как CLRS и DPV). Тип материала, который можно использовать для преподавания таких тем в курсе алгоритмов, как курс Эрика Демейна и Дэвида Каргера « Расширенные алгоритмы» ....
Единственное определение «исчисления», которое я знаю, - это изучение пределов, производных, интегралов и т. Д. В анализе. В каком смысле лямбда-исчисление (или такие вещи, как mu calculus) является «исчислением»? Как это связано с исчислением в...