Рассмотрим линейные программы D u a l : → c ≤ → y T Aпг я м а л :х⃗ ≤ б⃗ макс с⃗ TИкс⃗ прямaL:AИкс→≤б→Максимумс→TИкс→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} D u a l :с⃗ ≤ у⃗ TAмин...
Введение и обозначения: Вот новая и простая версия моего алгоритма, которая, кажется, заканчивается (согласно моим экспериментам), и теперь я хотел бы доказать это. Пусть обозначение относится к p- мерной точке данных (вектору). У меня есть три набора A, B и C, так что | A | = n , | Б | = м , | C |...
Фон Я обучаю помощи, Coq, самостоятельно. До сих пор я закончил читать Coq Ива Берто в спешке . Теперь моя цель состоит в том, чтобы доказать некоторые базовые результаты, касающиеся натуральных чисел, что завершается так называемым алгоритмом деления. Однако я столкнулся с некоторыми препятствиями...
Я ищу алгоритм для преобразования орграфа (ориентированного графа) в неориентированный граф обратимым образом, то есть орграф должен быть восстанавливаемым, если нам дан неориентированный граф. Я понимаю, что это произойдет за счет неориентированного графа, имеющего больше вершин, но я не против....
У нас было несколько вопросов о связи сокращений Кука и Карпа . Понятно, что сокращения Кука (сокращения Тьюринга за полиномиальное время) не определяют то же понятие NP-полноты, что и сокращения Карпа (сокращения многозначного за полиномиальное время), которые обычно используются. В частности,...
Я работаю над небольшим компилятором лямбда-исчисления, который имеет работающую систему логического вывода типа Хиндли-Милнера, а теперь также поддерживает рекурсивный метод давайте (не в связанном коде), который, как я понимаю, должно быть достаточно для завершения Тьюринга . Проблема сейчас в...
Из доказательства Миллера-Рабина , если число проходит тест на примарность по Ферму , оно также должно пройти тест Миллера-Рабина с тем же основанием (переменная в доказательстве). И сложность вычислений такая же.aaa Следующее из теста примитивности Ферма : В то время как числа Кармайкла...
Мой учебник гласит: «Мы определяем функцию следующим образом: f ( 1 ) = 2 и f ( i + 1 ) = 2 f ( i ) 1.2 . Обратите внимание, что при заданном n мы легко можем найти в O ( n 1.5 ) умножить число i так , чтобы n зажалось между f ( i ) и f ( i + 1)f:N→Nf:N→Nf\colon...
Опишите обычный язык, который не может быть принят ни одним DFA, имеющим только три состояния. Я не совсем уверен, с чего начать, и мне было интересно, если кто-то может дать мне несколько советов или советов. Я понимаю, что лемму прокачки можно использовать для доказательства того, что язык не...
Я только начинаю изучать теорию вычислений, которая изучает, что можно вычислить, как быстро, сколько памяти и с какой вычислительной моделью. У меня довольно простой вопрос, но я очень надеюсь, что некоторые из вас, ребята, помогут мне понять концепцию, лежащую в основе этого: Почему все...
Вопрос в значительной степени в названии. Есть ли время, когда некоторый язык может быть принят минимальным DFA с состояниями, но , обращение , может быть принято DFA с состояниями, где ?n L R L m m < nLLLNnnLрLRL^RLLLмmmм <...
В мета математике Чейтина! В Поисках Омеги он кратко рассказывает о 10-й проблеме Гильберта. Затем он говорит, что любое диофантово уравнение можно заменить на два равных полинома с положительными целыми коэффициентами: .p=0p=0p=0p=0⟺p1=p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Затем он говорит, что мы можем...
В конце 1990-х, когда я учился в аспирантуре, газета JH Saltzer; DP Reed; Д. Д. Кларк: Сквозные аргументы в дизайне системы . ACM Trans. Вычи. Сист. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 в каждом классе операционных систем в каждом университете требовалось чтение, и это все еще...
Для рассуждений о таких вещах, как NP-полнота, мы обычно используем многократные сокращения (т.е. сокращения Карпа). Это приводит к таким картинкам: (по стандартным предположениям). Я уверен, что мы все знакомы с такими вещами. Какую картину мы получаем, если работаем с сокращениями Тьюринга (т. Е....
Если то иерархия разрушается до своего второго уровня (по теореме Карпа-Липтона). Но как насчет N P и C O N P ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Я пытался доказать, что содержится в N P (другое направление тривиально, если R P = N P ), но безрезультатно, и я даже не уверен, что это...
Отношение эквивалентности на конечном множестве вершин может быть представлено неориентированным графом, который является дизъюнктным объединением клик. Набор вершин представляет элементы, а ребро представляет, что два элемента эквивалентны. Если у меня есть граф и графы G 1 , … , G k , мы говорим,...
Учитывая два целых числа и в двоичном представлении, какова сложность вычисления размера битов ?н х нxИксxnNnxnИксNx^n Один из способов сделать это - вычислить путем вычисления аппроксимации с достаточной точностью. Похоже, что вычисление с битами точности может быть выполнено в где - время,...
Текущая плавающая точка (ANSI C float, double) позволяет представить аппроксимацию действительного числа. Есть ли способ представить реальные цифры без ошибок ? Вот идея, которая у меня была, но она не идеальна. Например, 1/3 - это 0,33333333 ... (основание 10) или o.01010101 ... (основание 2), но...
Предположим, я дам вам неориентированный граф с взвешенными ребрами и скажу, что каждый узел соответствует точке в трехмерном пространстве. Всякий раз, когда между двумя узлами есть ребро, вес ребра - это расстояние между точками. Ваша цель - восстановить относительные положения точек, учитывая...
По словам Питера Селинджера , Лямбда-исчисление алгебраическое (PDF). В начале этой статьи он говорит: Известно, что комбинаторная интерпретация лямбда-исчисления несовершенна, поскольку она не удовлетворяет правилу: при интерпретации не подразумевает (Barendregt, 1984).ξξξM=NM=NM =...