Информатика

Я хотел бы написать простую программу, которая принимает набор окон (ширина + высота) и разрешение экрана и выводит расположение этих окон на экране таким образом, чтобы окна занимали больше всего места. Поэтому можно изменить размер окна, сохраняя при этом output size >= initial sizeи соотношение сторон. Поэтому для окна я …

20 algorithms  computational-geometry  packing  user-interface 

Позвольте мне начать с замечания, что это домашняя проблема. Пожалуйста, предоставьте только рекомендации и соответствующие замечания, НИКАКИХ ПРЯМЫХ ОТВЕТОВ, пожалуйста . С учетом сказанного, вот проблема, на которую я смотрю: Пусть HALF-CLIQUE = { | G является неориентированным графом, имеющим полный подграф с по крайней мере n / 2 узлами, …

20 complexity-theory  np-complete  reductions 

WalkSAT и GSAT являются хорошо известными и простыми алгоритмами локального поиска для решения проблемы булевой выполнимости. Псевдокод для алгоритма GSAT скопирован с вопроса Реализация алгоритма GSAT - Как выбрать, какой литерал переворачивать? и представлены ниже. procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 to Max_Tries do S <- instantiation …

20 algorithms  data-structures  satisfiability 

У меня есть задание, в котором мне нужно использовать двоичное дерево поиска и изменить его на самоупорядочение таким образом, чтобы элементы, к которым обращаются чаще всего (имеют более высокий приоритет), находились в верхней части дерева, причем корень является наиболее доступным узлом , Профессор дал мне BST и нодовую структуру для …

20 algorithms  data-structures  binary-trees  search-trees 

Предположим, что у нас есть черный ящик который мы можем запросить и сбросить. Когда мы сбрасываем , состояние для устанавливается произвольно выбранному элементу из набора где фиксировано и известно для данного . Для запроса предоставляется элемент (предположение) из , а возвращаемое значение равно . Кроме того, состояние для устанавливается равным …

20 algorithms  probability-theory  randomized-algorithms 

Знаете ли вы какой-либо алгоритм, который эффективно рассчитывает факториал после модуля? Например, я хочу запрограммировать: for(i=0; i<5; i++) sum += factorial(p-i) % p; Но pэто большое число (простое число) для непосредственного применения факториала .( р ≤ 108)(п≤108)(p \leq 10^ 8) В Python эта задача действительно проста, но я действительно хочу …

20 algorithms  efficiency  integers 

Я сам изучаю Автоматизированное доказательство теорем / SMT-решатели / Помощники по проверке и выкладываю серию вопросов о процессе, начинающемся здесь . Какие релевантные автоматические доказатели теорем? Я нашел обзор доказателей теорем Это все еще актуально? Какие из них все еще очень активны, т.е. какие в настоящее время используются за пределами …

20 logic  automated-theorem-proving  proof-assistants 

В знаменитом эссе Ричарда Габриэля « Лучше хуже» он противопоставляет карикатурные версии философии дизайна MIT / Stanford (Lisp) и New Jersey (C / Unix) по осям простоты, правильности, согласованности и полноты. Он приводит пример «проблемы с загрузкой ПК» ( обсуждаемой в другом месте Джошем Хаберманом ), чтобы доказать, что Unix …

20 programming-languages  operating-systems 

Для заданной помеченной системы переходов , где - набор состояний, - набор меток, а - троичное отношение. Как обычно, напишите для . Помеченный переход обозначает, что система в состоянии меняет состояние на с меткой , что означает, что - это некоторое наблюдаемое действие, вызывающее изменение состояния.(S,Λ,→)(S,Λ,→)(S,\Lambda,\to)SSSΛΛ\Lambda→⊆S×Λ×S→⊆S×Λ×S\to\subseteq S\times\Lambda\times Sp→αqp→αqp \stackrel\alpha\rightarrow q(p,α,q)∈→(p,α,q)∈→(p,\alpha,q)\in\top→αqp→αqp\stackrel\alpha\to …

20 programming-languages  formal-methods  semantics  process-algebras 

Чтобы зашифровать сообщение с помощью ключа одноразовой клавиатуры k , выполните E n c ( m 1 , k ) = m 1 ⊕ k .м1m1m_1КkkЕn c ( м1, к ) = м1⊕ кEnc(m1,k)=m1⊕kEnc(m_1,k) = m_1 \oplus k Если вы используете одно и то же для шифрования другого сообщения m …

20 cryptography  information-theory  encryption 

Алгоритм GSAT по большей части прост: вы получаете формулу в соединительной нормальной форме и переворачиваете литералы предложений до тех пор, пока не найдете решение, удовлетворяющее формуле, или не достигнете предела max_tries / max_flips и не найдете решения. Я реализую следующий алгоритм: procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 …

20 algorithms  satisfiability  3-sat 

Относительно квантовых ворот Тоффоли : это классически универсально, и если так, то почему? это квантово универсально и почему?

20 quantum-computing  circuits  turing-completeness 

Интересно, достаточно ли хороши массивно-параллельные вычислительные блоки, предоставляемые в настоящее время в графических картах (например, программируемые в OpenCL ), чтобы эффективно моделировать одномерные клеточные автоматы (или, может быть, двумерные клеточные автоматы?). Если мы выберем любую конечную сетку, которая поместится в памяти чипа, можем ли мы ожидать, что один переход сотового …

20 computer-architecture  parallel-computing  cellular-automata 

Нередки случаи, когда студенты начинают свои кандидатские диссертации с ограниченным опытом в математике и формальных аспектах информатики. Очевидно, что таким студентам будет очень трудно стать теоретиками компьютерных наук, но было бы хорошо, если бы они научились использовать формальные методы и читать статьи, содержащие формальные методы. Каков хороший краткосрочный путь, по …

20 formal-methods  education 

Как я могу доказать, что преобразование из CNF в DNF является NP-Hard? Я не прошу ответа, просто несколько советов о том, как это доказать.

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms