Закон де Моргана часто вводится во вводный курс по математике для информатики, и я часто вижу в нем способ превращения утверждений из И в ИЛИ путем отрицания терминов. Есть ли более интуитивное объяснение, почему это работает, а не просто запоминание таблиц истинности? Для меня это похоже на...
Позволять L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Является регулярным?LLL На первый взгляд этот вопрос выглядел подозрительно, и я понял, что он связан с гипотезой о двойном простом числе . Моя проблема в...
В курсах интро графики обычно есть проект, в котором вас попросят создать трассировщик лучей для рендеринга сцены. Многие студенты-графиков, поступающие в аспирантуру, говорят, что хотят работать над трассировкой лучей. И все же кажется, что трассировка лучей - мертвое поле в таких местах, как...
Недавно я читал, что возможно иметь массивы, которые не нужно инициализировать, то есть их можно использовать, не тратя время на попытки установить для каждого элемента значение по умолчанию. то есть вы можете начать использовать массив, как если бы он был инициализирован значением по умолчанию без...
Унипатический граф - это ориентированный граф, такой, что существует не более одного простого пути от любой вершины к любой другой вершине. Унипатические графы могут иметь циклы. Например, двусвязный список (а не круговой!) Является унипатическим графом; если список имеет элементов, граф имеет n -...
Я ищу эффективный алгоритм, который позволил бы мне обрабатывать минимаксное дерево поиска шахмат с альфа-бета-отсечкой в распределенной архитектуре. Алгоритмы, которые я нашел (PVS, YBWC, DTS см. Ниже), все довольно старые (1990 год - самый последний). Я предполагаю, что с тех пор было много...
Я пытаюсь использовать насосную лемму, чтобы доказать, что не является регулярным.L = { ( 01 )м2м∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Это то, что я имею до сих пор: Предположим, что регулярна, и пусть будет длиной накачки, поэтому . Рассмотрим любое накачанное разложение такое,...
Для каждой вычислимой функции существует ли задача, которая может быть решена в лучшем случае за время или существует вычислимая функция такая, что любая задача, которая может быть решена в может также быть решено в время?fffΘ(f(n))Θ(f(n))\Theta(f(n))fffO(f(n))O(f(n))O(f(n))o(f(n))o(f(n))o(f(n))...
Поэтому я подумал, что этот (хотя и несколько базовый) вопрос относится к следующему: Скажем, у меня есть график размером 100 узлов, расположенных в виде шаблона 10x10 (подумайте, шахматная доска). График является ненаправленным и невзвешенным. Перемещение по графику включает перемещение трех...
Моя цель состоит в том, чтобы решить следующую проблему, которую я описал ее вводом и выводом: Входные данные: Направленный ациклический граф с узлами, источниками и стоком ( ).граммграммGммmNNn111m > n ≥ 1м>N≥1m > n \geq 1 Выход: VC-размерность (или приближение к ней) для нейронной сети с...
Есть ли способ определить, могут ли два набора точек быть разделены линией? У нас есть два набора точек и если существует линия, разделяющая и такая, что все точки и только на одной стороне линии и все точки и только на другой стороне.B A B A A B BAAAВBBAAAВBBAAAAAAВBBВBB Самый наивный алгоритм,...
Я пытаюсь найти подход к следующей проблеме: По заданному набору точек и радиусу найдите центральную точку окружности, чтобы в окружности было максимальное количество точек из множества. Время работы должно быть .r O ( n 2 )SSSrrrO(n2)O(n2)O(n^2) Сначала это казалось чем-то похожим на проблему...
Тождества, используемые в алгоритмах умножения Карацуба (целые числа) Гаусс (комплексные числа) Штрассен (матрицы) кажется, очень тесно связаны. Есть ли общие абстрактные рамки /...
При тестировании алгоритмов общим подходом является случайное тестирование: генерировать значительное количество входных данных в соответствии с некоторым распределением (обычно равномерным), запускать алгоритм на них и проверять правильность. Современные инфраструктуры тестирования могут...
Я пытаюсь найти максимальный независимый набор бипаритового графа. В некоторых заметках я обнаружил следующее: «13 мая 1998 г. - Вашингтонский университет - CSE 521 - Приложения сетевого потока» : Проблема: Для двудольного графа G=(U,V,E)G=(U,V,E)G = (U,V,E) найдите как можно большее независимое...
Пусть . Мне нужно решить, является ли F разрешимым или рекурсивно перечислимым. Я думаю, что это можно решить, но я не знаю, как это доказать.F= { ⟨ М⟩ : M - это ТМ, который останавливается для каждого входа максимум за 50 шагов }F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F =...
Я заметил, что в нескольких исследовательских работах по CS, для сравнения эффективности двух алгоритмов, используется общее число ключевых сравнений в алгоритмах, а не реальное время вычислений. Почему мы не можем сравнить, какая из них лучше, запустив обе программы и посчитав общее время,...
Я застрял в следующем вопросе: «Регулярные языки - это как раз те, которые принимаются конечными автоматами. Учитывая этот факт, покажите, что если язык принят некоторым конечным автоматом, то также будет принят некоторым конечным; состоит из всех слов». из необратима «.L R L R...
Я постоянно сталкиваюсь со ссылками на фиксированную точку в вопросах и ответах на stackexchange и просматриваю смысл в Интернете, очевидно, находя ссылки на таких сайтах, как Wikipedia. Однако ни одна из ссылок не отвечает на мой вопрос о том, что такое фиксированная точка и что это значит в мире...
Я прочитал страницу Википедии для правила 110 в клеточных автоматах, и я более или менее знаю, как они работают (набор правил решает, где рисовать следующие 1 или 0). Я только что прочитал, что они завершены по Тьюрингу, но я даже не могу понять, как бы вы «запрограммировали» «правило 110»?...