Я сам изучаю Автоматизированное доказательство теорем / SMT-решатели / Помощники по проверке и выкладываю серию вопросов о процессе, начинающемся здесь . Какие релевантные автоматические доказатели теорем? Я нашел обзор доказателей теорем Это все еще актуально? Какие из них все еще очень активны,...
Я столкнулся со следующими сомнениями в сложности Ханойских башен , на которые мне хотелось бы получить ваши комментарии. Это в НП? Попытка ответа: предположим, что Пегги (проверяющий) решает проблему и передает ее Виктору (проверяющему). Виктор может легко увидеть, что окончательное состояние...
Интересно, как найти обхват разреженного неориентированного графа. Под редким я подразумеваю . Под оптимальным я подразумеваю минимальную временную сложность.| Е| =O( | V| )|E|=O(|V|)|E|=O(|V|) Я думал о некоторой модификации алгоритма Тарьяна для неориентированных графов, но я не нашел хороших...
WalkSAT и GSAT являются хорошо известными и простыми алгоритмами локального поиска для решения проблемы булевой выполнимости. Псевдокод для алгоритма GSAT скопирован с вопроса Реализация алгоритма GSAT - Как выбрать, какой литерал переворачивать? и представлены ниже. procedure...
Позвольте мне начать с замечания, что это домашняя проблема. Пожалуйста, предоставьте только рекомендации и соответствующие замечания, НИКАКИХ ПРЯМЫХ ОТВЕТОВ, пожалуйста . С учетом сказанного, вот проблема, на которую я смотрю: Пусть HALF-CLIQUE = { | G является неориентированным графом, имеющим...
Я хотел бы написать простую программу, которая принимает набор окон (ширина + высота) и разрешение экрана и выводит расположение этих окон на экране таким образом, чтобы окна занимали больше всего места. Поэтому можно изменить размер окна, сохраняя при этом output size >= initial sizeи...
Недавно я нашел в статье [1] специальную симметричную версию SAT, называемую 2/2/4-SAT . Но есть много завершенных вариантов, например: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SATNPNP\text{NP} , ... Есть и другие варианты: - SAT , Planar-NAE- SAT222SATSAT\text{SAT}SATSAT\text{SAT} , ... Существуют ли...
В знаменитом эссе Ричарда Габриэля « Лучше хуже» он противопоставляет карикатурные версии философии дизайна MIT / Stanford (Lisp) и New Jersey (C / Unix) по осям простоты, правильности, согласованности и полноты. Он приводит пример «проблемы с загрузкой ПК» ( обсуждаемой в другом месте Джошем...
Предположим, что у нас есть черный ящик который мы можем запросить и сбросить. Когда мы сбрасываем , состояние для устанавливается произвольно выбранному элементу из набора где фиксировано и известно для данного . Для запроса предоставляется элемент (предположение) из , а возвращаемое значение...
Знаете ли вы какой-либо алгоритм, который эффективно рассчитывает факториал после модуля? Например, я хочу запрограммировать: for(i=0; i<5; i++) sum += factorial(p-i) % p; Но pэто большое число (простое число) для непосредственного применения факториала .( р ≤ 108)(п≤108)(p \leq 10^ 8) В Python...
У меня были проблемы с принятием теоретического представления о сложности «эффективно решаемого параллельным алгоритмом», которое задается классом NC : NC - это класс задач, которые могут быть решены параллельным алгоритмом за время на процессорах с .O ( журналсн )O(logcn)O(\log^cn)c , k ∈ Np ( n...
В Википедии есть следующее определение леммы прокачки для регулярных языков ... Пусть обычный язык. Тогда существует целое число ≥ 1, зависящее только от , так что каждая строка в длиной не менее ( называется «длиной накачки») может быть записана как = (т. можно разделить на три подстроки),...
a1,…,ana1,…,ana_1, \ldots, a_n000lllaiaia_ibibib_i000lllbibib_ib i O ( n 4 √max(|a1−b1|,…,|an−bn|)max(|a1−b1|,…,|an−bn|)\max(|a_1-b_1|, \ldots, |a_n-b_n|)bibib_iO(nl√4)O(nl4)O(n\sqrt[4]{l}) Я, честно говоря, понятия не имею, как вообще начать решать этот вопрос. Мне кажется, это вопрос...
Есть ли в проблемы, в которых рандомизированные алгоритмы бьют нижние оценки для детерминированных алгоритмов? Конкретнее, знаем ли мы для которого ? Здесь \ mathsf {PTIME} (f (n)) означает набор языков, разрешимых рандомизированным TM с постоянной (одной или двухсторонней) ошибкой в f (n) шагах. k...
Прежде чем читать «Искусство компьютерного программирования» (TAOCP) , я не углублялся в эти вопросы. Я бы использовал псевдокод для описания алгоритмов, понимания их и оценки времени выполнения только по порядку роста. TAOCP тщательно меняет свое мнение. TAOCP использует английский, смешанный с...
Предположим , что мы имеем ориентированный граф и два узла A и B . Я хотел бы знать, есть ли уже алгоритмы для расчета следующей задачи решения:G = ( V, E)G=(V,E)G=(V,E)AAAВBB Есть ли хотя бы два пути между и В одинаковой длины?AAAВBB Как насчет сложности? Могу ли я решить это за полиномиальное...
Дискретный логарифм такого же , как нахождение в , дан в , гр и N .bbba c Nab=cmodNab=cmodNa^b=c \bmod NaaacccNNN Интересно, в каких группах сложности (например, для классических и квантовых компьютеров) это находится, и какие подходы (то есть алгоритмы) являются лучшими для выполнения этой задачи....
В последнее время я немного читал литературу и нашел довольно интересные структуры данных. Я исследовал различные методы уменьшения времени обновления до худшем случае [1-7].O ( 1 )О(1)\mathcal{O}(1) Недавно я начал изучать структуры данных без блокировок для поддержки эффективного параллельного...
Пицца рекламирует, что вы можете объединить их ингредиенты до 34 миллионов различных комбинаций. Я не верил в это, поэтому отряхнул свои ржавые навыки комбинаторики и попытался понять это. Вот что у меня есть: с сайта онлайн-заказа я получил выбор корочка (4 вида, выберите 1) размер (4 типа,...
В чем разница между языком программирования и языком сценариев? Например, рассмотрим C против Perl. Единственная разница в том, что языки сценариев требуют только интерпретатора и не требуют компиляции и...