Проблемы с обрезкой - это проблемы, при которых определенный большой объект следует разрезать на несколько небольших объектов. Например, представьте , у вас есть завод , который работает с большими листами сырого стекла, шириной и длиной . Есть несколько покупателей, каждый из которых хочет...
Существует ли алгоритм / систематическая процедура для проверки того, является ли язык свободным от контекста? Другими словами, учитывая язык, указанный в алгебраической форме (подумайте о чем-то вроде ), проверьте, является ли язык контекстно-свободным или нет , Представьте, что мы пишем...
Рассмотрим следующую очень простую компьютерную программу: for i = 1 to n: y[i] = x[p[i]] Здесь и y - это n- элементные массивы байтов, а p - это n- элементный массив слов. Здесь n большое, например, n = 2 31 (так что только незначительная часть данных помещается в любой тип...
Учитывая смещенную NNN стороннюю матрицу, как можно случайное число в диапазоне [1,N][1,N][1,N]равномерно генерировать N ] ? Распределение вероятностей граней матрицы неизвестно, все, что известно, это то, что каждая грань имеет ненулевую вероятность и что распределение вероятности одинаково для...
Размышляя над одной проблемой, я понял, что мне нужно создать эффективный алгоритм, решающий следующую задачу: Проблема: нам дан двумерный квадратный прямоугольник со стороной nnn , стороны которого параллельны осям. Мы можем посмотреть на это через верх. Тем не менее, есть также mmm горизонтальных...
Рандомизированная быстрая сортировка - это расширение быстрой сортировки, в котором элемент поворота выбирается случайным образом. Что может быть наихудшим случаем временной сложности этого алгоритма. По моему мнению, это должно быть , так как наихудший случай случается, когда случайно выбранный...
Говорят, что «Юджин Густман», компьютерная программа, разработанная для имитации 13-летнего мальчика, сумела убедить 33% судей, что это был человек, и, таким образом, прошла тест Тьюринга. Компьютерная программа, она же чатбот, притворялась 13-летним украинским мальчиком, для которого английский...
Набор Мандельброта - прекрасное существо в математике. Существует множество красивых изображений этого набора, созданных с высокой точностью, поэтому, очевидно, этот набор в некотором смысле «вычислим». Однако меня беспокоит тот факт, что он даже не рекурсивно перечислим - просто потому, что...
Благодаря теореме min-cut о максимальном потоке мы знаем, что мы можем использовать любой алгоритм для вычисления максимального потока в сетевом графе для вычисления -min-cut. Следовательно, сложность вычисления минимального -среза не больше, чем сложность вычисления максимального -потока.( с , т...
Основное определение машины Тьюринга (ТМ), по крайней мере, в моем собственном справочнике (Hopcroft + Ullman 1979), является детерминированным. Следовательно, мое собственное понимание проблемы остановки главным образом относится к детерминированной ТМ, хотя я знаю, что это может быть рассмотрено...
Я знаю, что квантовые компьютеры способны обрабатывать суперпозицию всех возможных состояний за один проход через логику. Кажется, именно на это указывают люди, делающие квантовые компьютеры особенными или полезными. Однако после того, как вы обработали входные данные суперпозиции, вы получите...
У меня есть небольшой исторический вопрос, а именно, как следует из заголовка, я ищу раннее использование деревьев (в качестве структуры данных, дерева поиска и т. Д.) В компьютерной...
Память используется для многих вещей, как я понимаю. Он служит дисковым кешем и содержит инструкции программ, их стек и кучу. Вот мысленный эксперимент. Если кто-то не заботится о скорости и времени, которые требуются компьютеру для выполнения хруста, то какой минимальный объем памяти можно иметь,...
Я удивлен, что люди продолжают добавлять новые типы в теории типов, но никто, кажется, не упоминает минимальную теорию (или я не могу найти ее). Я думал, что математики любят минимальные вещи, не так ли? Если я правильно понимаю, в теории типов с непредсказуемым образом достаточно Propλ-абстракции...
Я знаю немного теории зависимых типов. Из википедии: Зависимый тип - это тип, определение которого зависит от значения. И из моего курса теории типов я вспоминаю, что зависимый тип: Семейство типов, проиндексированных по типу. Но у меня путаница в отношении зависимых типов, типов уточнения и логики...
На практике я понимаю, что любая рекурсия может быть записана как цикл (и наоборот (?)), И если мы проводим измерения на реальных компьютерах, мы обнаруживаем, что циклы быстрее, чем рекурсия для той же проблемы. Но есть ли какая-либо теория, которая делает это различие, или это в основном...
В статье «Бесконфликтный реплицированный тип данных JSON» я встретил эту запись для формального определения «правил»: Как называется эта запись? Как мне это прочитать? Например: DOCправило не имеет ничего в своем «числитель» - почему? то EXECи GETправила , по всей видимости, имеют два отдельных...
Установка: регулярные выражения с обратными ссылками одинарный язык (1-символьный алфавит) В этом параметре разрешима следующая проблема: Если задано регулярное выражение с обратными ссылками, определяет ли оно регулярный язык? Например, (aa+)\1определяет обычный язык, а (aa+)\1+не -. Можем ли мы...
У меня NP-полное решение проблемы. Учитывая пример проблемы, я хотел бы разработать алгоритм, который выводит ДА, если проблема выполнима, и НЕТ, в противном случае. (Конечно, если алгоритм не является оптимальным, он будет делать ошибки.) Я не могу найти никаких приближенных алгоритмов для таких...
Основной вопрос: Что делает для нас лямбда-исчисление , что мы не можем сделать с основными свойствами функций и обозначениями, обычно изучаемыми в алгебре средней школы? Прежде всего, что означает абстрактное в контексте лямбда-исчисления? Мое понимание слова абстрактное - это то, что отделено от...