Мне нужно хранить наборы элементов типа а. Тип a частично упорядочен, поэтому сравнение и может вернуть меньшее, большее, равное или несопоставимое.2a1a1a_1a2a2a_2 Одна проблема с хеш-таблицами состоит в том, что два равных элемента могут быть представлены по-разному, и у меня нет доступа к...
Связанная проблема: Теорема Веблена утверждает, что «граф допускает разложение цикла тогда и только тогда, когда оно четное». Циклы являются ребрами непересекающимися, но не обязательно узлы непересекающимися. Другими словами, «множество ребер графа можно разбить на циклы тогда и только тогда,...
Класс сложности BQP соответствует квантовым подпрограммам полиномиального времени, принимающим классические входы и выпадающим вероятностным классическим выходом. Квантовый совет изменяет это, чтобы включить копии некоторых заранее определенных состояний квантового совета, но с классическими...
Этот вопрос тесно связан с другим постом: Фазовые переходы в NP Трудные проблемы, но он несколько иной. В то время как этот вопрос касается сложности отдельных случаев сложных проблем NP, речь идет о ранжировании сложности тех же случаев. Существует много библиографии об эффекте, известном как...
В разговорной речи определение показателя умножения матриц является наименьшим значением, для которого существует известный алгоритм умножения матриц . Это неприемлемо как формальное математическое определение, поэтому я предполагаю, что техническое определение является чем-то вроде инфимума по...
Q1. Когда можно сказать, что две программы (написанные на каком-то языке программирования, например C ++) различны? Первая крайность - сказать, что две программы эквивалентны, если они идентичны. Другой крайний случай - говорить, что две программы эквивалентны, если они вычисляют одну и ту же...
Рассмотрим следующую проблему: Входные данные : гиперплоскость ЧАС= { y ∈ RN:Tу = б }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , задается вектором a ∈ ZNa∈Zn\mathbf{a} \in \mathbb{Z}^n и b ∈ Zb∈Zb \in \mathbb{Z} в стандартном двоичном представлении. Выход : x...
Каковы некоторые нетривиальные задачи, в которых мы знаем, что текущий алгоритм, который у нас есть, является асимптотически оптимальным? (Для машин Тьюринга) И как это...
Преамбула. Класс сложности AM - это те проблемы, которые могут быть решены с помощью двухсторонней интерактивной системы доказательств между прувером «Мерлин» и верификатором «Артур». Проблема, которая проверяет некоторое свойство объекта X, заключается в AM, если: Для случаев ДА для случайного...
Я искал формализацию теоремы компактности для FOL, но не нашел. Кто-нибудь знает о таком развитии или связанной
Таким образом, булева алгебра может быть выражена в нетипизированном лямбда-исчислении . true = \t. \f. t; false = \t. \f. t; not = \x. x false true; and = \x. \y. x y false; or = \x. \y. x true y; Также булева алгебра может быть закодирована в Системе F следующим образом : CBool = All X.X -> X...
1-тусклый алгоритм Вейсфейлер-Леман (WL) широко известен как каноническая маркировка или алгоритм , цвета уточнения. Это работает следующим образом: Начальная раскраска равномерна, C 0 ( v ) = 1 для всех вершин v ∈ V ( G ) ∪ V ( H ) .С0С0C_0С0( v ) = 1С0(v)знак равно1C_0(v) = 1v ∈ V( G ) ∪ V(...
С точки зрения языка программирования, что означает подтип? Я слышал, что «Наследование - это не подтип». Тогда каковы различия между наследованием и
k = √max { k , n / k }max{k,n/k}\max \left\{k, n/k\right\}k = n--√k=nk=\sqrt n алгоритм гигантского шага baby-step для вычисления дискретного логарифма в O ( n--√)O(n)O(\sqrt n) , статический двухмерный ортогональный отсчет во времени O ( n--√)O(n)O(\sqrt n) и памяти O ( n )O(n)O(n) , приоритетная...
Планарные графы -бесплатно. Такие графики могут быть разложены на трехсвязные компоненты, которые, как известно, являются либо плоскими, либо компонентами K 5 .К3 , 3К3,3K_{3,3}К5К5K_5 Есть ли такая «хорошая» декомпозиция графов рода один? В своей основополагающей работе над минорами графов...
Связный граф можно разложить на его двусвязные компоненты. Это дерево сечений блоков является уникальным. Аналогично, двусвязные графы можно разложить на трехсвязные компоненты. Соответствующее дерево SPQR описывает все 2-вершинные срезы графа и однозначно определяется из его графа. Этот процесс не...
SAT решатели дают мощный способ проверить правильность логической формулы с одним квантификатором. Например, чтобы проверить правильность , мы можем использовать SAT-решатель, чтобы определить, выполнимо ли . Чтобы проверить правильность , мы можем использовать SAT-решатель, чтобы определить,...
При реализации фильтра Блума традиционный подход требует нескольких независимых хеш-функций. Кирш и Митценмахер показали, что на самом деле вам нужно только два, а остальные можно сгенерировать как линейные комбинации. Мой вопрос: в чем на самом деле разница между двумя хэш-функциями и одной с...
Для плоского вложения плоского графа на плоскость с прямыми ребрами определите вершину как острую вершину, если максимальный угол между двумя последовательными ребрами вокруг нее больше 180. Или, другими словами, если существует линия, проходящая через это вершина вложения так, что все ребра,...
Существует ли какой-либо программный пакет, позволяющий разложить унитарные единицы из в квантовые цепи по заранее определенному набору универсальных