Алан Тьюринг предложил модель для машины (Turing Machine, TM), которая вычисляет (числа, функции и т. Д.), И доказал теорему Остановки . ТМ - это абстрактное понятие машины (или двигателя, если хотите). Теорема Остановки - результат невозможности. Двигатель Карно (CE) - это абстрактное понятие...
Скажем, мне нужно смоделировать следующее дискретное распределение: P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} Наиболее очевидный способ - нарисовать случайных битов и...
Таким образом, TSP (задача коммивояжера) проблема решения является NP полной . Но я не понимаю, как я могу проверить, что данное решение TSP на самом деле является оптимальным за полиномиальное время, учитывая, что нет способа найти оптимальное решение за полиномиальное время (потому что проблема...
Существуют ли полные лямбда-исчисления по Тьюрингу? Если да, то каковы несколько
Почему компьютеры используют двоичную систему счисления (0,1)? Почему они не используют троичную систему счисления (0,1,2) или любую другую систему
Мне интересно, есть ли хороший пример для простой для понимания проблемы NP-Hard, которая не является NP-Complete и не неразрешима? Например, проблема остановки - NP-Hard, а не NP-Complete, но неразрешима. Я считаю, что это означает, что это проблема, решение которой можно проверить, но не за...
Скажем, что и b 1 b 2 … b n - две строки одинаковой длины. Anagramming из двух строк является взаимно однозначное отображение р : [ 1 ... п ] → [ 1 ... п ] такое , что я = Ь р ( я ) для каждого I .a1a2…ana1a2…ana_1a_2\ldots a_nb1b2…bnb1b2…bnb_1b_2\ldots b_np:[1…n]→[1…n]p:[1…n]→[1…n]p:[1\ldots...
Каков был бы самый быстрый способ сделать это (с алгоритмической точки зрения, а также с практической точки зрения)? Я думал что-то вроде следующего. Я мог бы добавить в конец массива и затем использовать пузырьковую сортировку, так как она имеет наилучший случай (полностью отсортированный массив в...
Теорема Райса говорит нам, что единственные семантические свойства машин Тьюринга (т.е. свойства функции, вычисляемой машиной), которые мы можем решить, - это два тривиальных свойства (то есть всегда истинно и всегда ложно). Но есть и другие свойства машин Тьюринга, которые нельзя решить. Например,...
Закрыто . Этот вопрос основан на мнении . В настоящее время не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 5 лет назад . Что такое хорошая метафора или пример, чтобы объяснить английскому мажору...
Я читал CLRS и сказал: Если факторизация больших целых чисел проста, то взломать криптосистему RSA легко. Что имеет смысл для меня, потому что со знанием и легко создать секретный ключ, который известен из открытого ключа. Хотя, это объясняет обратное утверждение, которое я не совсем...
Какие различия и отношения существуют между рандомизированными алгоритмами и недетерминированными алгоритмами? Из Википедии Рандомизированное алгоритм представляет собой алгоритм , который использует степень случайности как часть своей логики. Алгоритм обычно использует равномерно случайные биты в...
При реализации словаря («Я хочу просмотреть данные клиентов по их идентификаторам»), типичными структурами данных являются хеш-таблицы и двоичные деревья поиска. Я знаю, например, что библиотека C ++ STL реализует словари (они называют их картами), используя (сбалансированные) деревья двоичного...
Интуитивно понятно, что «сбалансированные деревья» должны быть деревьями, где левое и правое поддеревья в каждом узле должны иметь «примерно одинаковое» количество узлов. Конечно, когда мы говорим о том, что красно-черные деревья * (см. Определение в конце) сбалансированы, мы на самом деле имеем в...
Я хотел бы перечислить все неориентированные графы размера , но мне нужен только один экземпляр каждого класса изоморфизма . Другими словами, я хочу перечислить все неизоморфные (неориентированные) графы по n вершинам. Как я могу это сделать?NnnNnn Точнее, я хочу алгоритм, который будет...
В Интернете есть много определений о том, что такое контекстно-свободная грамматика, но ничего, что я нахожу, не удовлетворяет мою основную проблему: В каком контексте он свободен? Чтобы исследовать, я погуглил «контекстно-зависимую грамматику», но мне так и не удалось найти смысл «контекста»....
В основном я знаю о трех основах математики Теория множеств Теория типов Теория категорий Итак, каким образом связаны языки программирования и основы математики? РЕДАКТИРОВАТЬ Первоначальный вопрос был «Языки программирования на основе основ математики» с добавленным парагарфом И реализации теории...
Я пытаюсь объяснить основы Биткойн моим родителям. Одним из основных компонентов биткойна является подписание транзакций, чтобы гарантировать, что ваша личность не может быть олицетворена, и, следовательно, необходимость объяснения упрощенного асимметричного шифра. Какой чрезвычайно простой...
Я проходил дискуссию по вопросу, как определить квантовые машины Тьюринга? и я чувствую, что квантовая ТМ и недетерминированная ТМ - это одно и то же. Ответы на другой вопрос не касаются этого. Являются ли эти две модели одинаковыми? Если нет, Каковы различия между квантовой ТМ и НДТМ? Существуют...
Я понимаю доказательство неразрешимости проблемы остановки (приведенное, например, в учебнике Пападимитриу), основанное на диагонализации. Хотя доказательство является убедительным (я понимаю каждый его шаг), оно не является для меня интуитивным в том смысле, что я не понимаю, как кто-то может его...