В комментарии к Learning F #: Какие книги, использующие другие языки программирования, можно перевести на F # для изучения функциональных концепций? Макарий заявил: Обратите внимание, что подход «CPS» нанес большой вред производительности в SML / NJ. Его модель физической оценки нарушает слишком...
Учитывая два вектора целых чисел, возможно, неравной длины, как я могу определить максимально возможный результат от накопления выбора максимума между соответствующими парами чисел между двумя векторами с дополнительными нулями, вставленными в более короткий вектор, чтобы компенсировать разницу в...
Это вопрос из книги Дракона (я прошу прощения за ошибки перевода, у меня нет англоязычной версии): Какой язык генерируется этой грамматикой? S→ Sб S| Б Sа S∣ ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Я не знаю, что мне здесь делать. Определение в книге о языках говорит об этом...
Мне было интересно, так как * сама звезда-свободный язык, есть регулярный язык , который не является звездой свободного языка? Не могли бы вы привести пример?a∗a∗a^* (из википедии ) Лоусон определяет беззвездные языки как: Обычный язык называется свободным от звезд, если он может быть описан с...
Учитывая заданий , для выполнения каждого задания требуется раз.J 1 , J 2 , . , , , J п Г я > 0 , Т я ∈ NnnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Каждое задание должно быть предварительно обработано и постобработано одной машиной M, которая может...
Пусть Есть ли машина Тьюринга R, которая решает (я не имею в виду, распознает) язык ?L ∅L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Похоже, тот же метод,...
Насосная лемма для регулярных языков может быть использована для доказательства того, что некоторые языки не являются регулярными, а прокачивающая лемма для контекстно-свободных языков (наряду с леммой Огдена) может быть использована для доказательства того, что некоторые языки не являются...
Как бы вы алгоритмически определяли для каждой фотографии, светило ли солнце, когда она была сделана? Примеры Пример с этой веб-камеры на вершине горы: Ясно, что солнце светит. В этом другом примере это гораздо менее очевидно: Вероятно, довольно легко определить, туманно ли это, если попытаться...
Обычное изложение проблемы справедливой резки тортов предполагает, что все игроков получают свою долю одновременно. Однако во многих случаях игроки прибывают постепенно. Например, мы можем разделить торт по n игрокам, но затем приходит новый игрок и хочет получить долю.nnnnnn Как правило,...
В глубине первого дерева есть ребра, определяющие дерево (то есть ребра, которые использовались при обходе). Есть некоторые оставшиеся ребра, соединяющие некоторые другие узлы. В чем разница между поперечной кромкой и передней кромкой? Из википедии: Основываясь на этом остовном дереве, ребра...
Учитывая тот факт , что - путь перечисления является # Р-полной задачи, может ли быть эффективные методы , которые вычисляют (или , по меньшей мере , приблизительно) средняя длина - пути без перечисления их? Что если пути разрешены для пересмотра вершин?т с тsssTTtsssTTt Соответствующие результаты...
Это может быть глупый вопрос. Это представляется очевидным , что FSA, так как оно конечно, может рассчитывать только количество символов в его входной строки до числа , ограниченного числа его состояний. Но теперь предположим, что мы оснастили FSA возможностями вывода (например, печати). Тогда было...
Существуют эффективные структуры данных для представления заданных разделов. Эти структуры данных имеют хорошие временные сложности для таких операций, как Union и Find, но они не особенно эффективны в использовании. Что такое эффективный для пространства способ представления раздела набора? Вот...
Как я понимаю, задача присваивания находится в P, поскольку венгерский алгоритм может решить ее за полиномиальное время - O (n 3 ). Я также понимаю, что задача присваивания - это целочисленная задача линейного программирования , но на странице Википедии говорится, что это NP-Hard. Для меня это...
Недавно я столкнулся с этой проблемой , разновидностью Ханойских башен . Постановка задачи: Рассмотрим следующую вариацию хорошо известной проблемы «Ханойские башни»: Нам дано башен и m дисков размером сложены на несколько башен. Ваша задача - перенести все диски в башню минимальное количество...
Существует ли клеточный автомат (в 2D), который имитирует силу между частицами?1 / р1/р1/r Более конкретно, я хотел бы знать, возможно ли при строго локальных правилах обновления два объекта (определенных в модели) притягивать друг друга с силой , где - расстояние, разделяющее объекты. Это, в...
Является ли следующая задача NP-полной? (Я предполагаю, что да). Входные данные: - неориентированный граф, в котором множество ребер можно разложить на два простых цикла, не пересекающих ребра (они не являются частью входных данных).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Вопрос: существует...
Имеется ли два произвольных регулярных выражения, существует ли «эффективный» алгоритм для определения того, соответствуют ли они одному и тому же набору строк? В более общем смысле, можем ли мы вычислить размер пересечения двух наборов совпадений? Какие алгоритмы существуют для этого и в каком...
Я строю текст на классификатор коротких фраз. В дополнение к сообщению пользователю «категория введенного вами текста - C», я хочу кратко и понятно объяснить, почему я принял это решение. Например, я не хочу говорить пользователю: «Я поместил ваше предложение в сложную трехслойную нейронную сеть, и...
Я читаю о теории зависимых типов в онлайн-книге « Теория гомотопических типов» . В разделе 1.3 главы « Теория типов» вводится понятие иерархии вселенных : , гдеU0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots каждая вселенная является элементом следующей вселенной . Более...