Я пытаюсь получить представление о том, как следует интерпретировать тест простоты AKS, когда узнаю о нем, например, следствие для доказательства того, что PRIMES ⊆ P, или действительно практичный алгоритм тестирования простоты на компьютерах. Тест имеет полиномиальное время выполнения, но с...
Ли сглаженный анализ найти свой путь в основной анализ потока алгоритмов? Обычно разработчики алгоритмов применяют сглаженный анализ к своим
Мы знаем, что DFAs эквивалентны NFAs в силе выразительности; Существует также известный алгоритм для преобразования NFA в DFA (к сожалению, я теперь знаю изобретателя этого алгоритма), который в худшем случае дает нам состояния, если у нашего NFA было S состояний.2S2S2^SSSS Мой вопрос: что...
Пусть - булева формула, состоящая из обычных операторов AND, OR, NOT и некоторых переменных. Я хотел бы, чтобы подсчитать число удовлетворяющих назначений для B . То есть я хочу найти количество различных назначений значений истинности для переменных для которых принимает истинное значение....
У удивительного числа проблем есть довольно естественное сокращение к линейному программированию (LP). См. Главу 7 в [1] для примеров, таких как сетевые потоки, двустороннее сопоставление, игры с нулевой суммой, кратчайшие пути, форма линейной регрессии и даже оценка схемы! Поскольку оценка схемы...
В недавней статье CACM [1] авторы представляют реализацию поэтапных функций . Они используют этот термин, как если бы он был хорошо известен, и ни одна из ссылок не выглядит как очевидное введение. Они дают краткое объяснение (выделено мое и номер ссылки изменен; в оригинале 22) В контексте...
Мне кажется, что «подразумевает» в английском языке не означает то же самое, что «подразумевает» логический оператор, подобно тому, как слово «ИЛИ» в большинстве случаев означает «исключающее ИЛИ» в нашем повседневном использовании языка. Давайте возьмем два примера: Если сегодня понедельник, то...
Этот вопрос был перенесен из переполнения стека, поскольку на него можно ответить в разделе «Информатика в стеке». Мигрировал 7 лет назад . Меня слегка смущает некоторая терминология, с которой я столкнулся в отношении сложности задач оптимизации. В классе алгоритмов у меня была большая проблема...
Учитывая любую вычислительную проблему, является ли задача нахождения нижних границ для такого вычисления действительно возможной? Я полагаю, что все сводится к тому, как определяется один вычислительный шаг и какую модель мы используем для доказательства, но, учитывая это, действительно ли мы...
Учитывая набор монет с различными конфессиями и значение v, вы хотите найти наименьшее количество монет, необходимое для представления значения v.с 1 , . , , , с пс1,,,,,сNc1, ... , cn Например, для набора монет 1,5,10,20 это дает 2 монеты на сумму 6 и 6 монет на сумму 19. Мой главный вопрос: когда...
На уроке на прошлой неделе мой профессор прокомментировал и сказал, что машины Тьюринга используются в качестве стандартной меры / модели того, что является вычислимым, и являются полезной основой для обсуждения этого вопроса. Она также сказала, что все варианты машин Тьюринга оказались...
Я пробовал несколько случаев и обнаружил, что любые два остовных дерева простого графа имеют некоторые общие ребра. Я имею в виду, что до сих пор не нашел контрпример. Но я не мог ни доказать, ни опровергнуть это. Как доказать или опровергнуть эту...
Учитывая мультимножество натуральных чисел X, рассмотрим множество всех возможных сумм: sums(X)={∑i∈Ai|A⊆X}sums(X)={∑i∈Ai|A⊆X}\textrm{sums}(X)= \left\{ \sum_{i \in A} i \,|\, A \subseteq X \right\} Например, sums({1,5})={0,1,5,6}sums({1,5})={0,1,5,6}\textrm{sums}(\left\{1,5\right\}) = \left\{0, 1,...
Если бы у меня была функция с временной сложностью O ( mn ), где m и n - размеры двух ее входов, мы бы назвали ее временную сложность «линейной» (поскольку она линейна как по m, так и по n ) или «квадратичной» ( так как это продукт двух размеров)? Или что-то другое? Мне кажется, что называть его...
Являются ли все генераторы псевдослучайных чисел в конечном итоге периодическими? Или они вообще периодичны? Под периодическим я подразумеваю, что, подобно рациональным числам, они в конце концов генерируют периодическую подпоследовательность ... И псевдослучайный означает алгоритмическую /...
Читая книгу, я натолкнулся на следующий абзац: Для синхронизации всех операций компьютера используются системные часы - маленький кристалл кварца, расположенный на материнской плате. Системные часы регулярно посылают сигнал всем остальным компонентам компьютера. И еще один абзац: Многие...
Этот вопрос был перенесен из теоретического обмена стеков информатики, поскольку на него можно ответить в обмене стеков информатики. Мигрировал 6 лет назад . Я встречал много определений рекурсивных и рекурсивно перечислимых языков. Но я не мог понять, кто они. Может кто-нибудь сказать мне, что...
Что может быть лучше, чем кто-либо может сделать, чтобы иметь хорошее представление о теории распределенных систем, любые книги или ссылки, и темы должны быть покрыты в первую очередь и требования, чтобы начать обучение в этой...
В невзвешенном неориентированном графе с вершинами и ребрами, такими, что , каков самый быстрый способ найти все кратчайшие пути в графе? Можно ли сделать это быстрее, чем Флойд-Варшалл, который является но очень быстро за итерацию?E 2 V > E O ( V 3 )VVVEEE2V>E2V>E2V \gt EO(V3)O(V3)O(V^3)...
Вдоль той же мысли, что и это высказывание Андрея Бауэра в этом ответе Сообщество Haskell разработало ряд методов, основанных на теории категорий, из которых монады наиболее известны, но их не следует путать с монадами . Какова связь между функторами в SML и функторами в теории категорий? Поскольку...