Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 4 года назад . Я увлекаюсь математической элегантностью и строгостью, и сейчас ищу такую...
Будет ли необходимость менять определения безопасности, если у нас будут квантовые компьютеры? Какие криптографические конструкции сломаются? Знаете ли вы опрос или статью, которая объясняет, что нужно будет...
Из-за характера вопроса, я должен включить много справочной информации (потому что мой вопрос: как мне сузить это?). Тем не менее, это можно обобщить (насколько мне известно) как: Какие существуют методы поиска локальных оптимумов в чрезвычайно больших комбинаторных пространствах поиска? Фон В...
В зависимо-типизированном программировании есть два основных способа разложения данных и выполнения рекурсии: Зависимое сопоставление с образцом : определения функций приведены в виде нескольких предложений. Унификация гарантирует, что все пропущенные случаи невозможны, а внешний решатель...
Я не уверен, принадлежит ли этот вопрос здесь, и я прошу прощения, если нет. Что я хочу сделать, так это разработать программный способ, с помощью которого я могу вероятностно определить, принадлежит ли данная строка «сумке строк». Например, если у меня есть сумка из 10 000 названий городов США, а...
Я хочу предоставить доказательства для частей программы на Haskell, которую я пишу, как часть моей диссертации. Однако до сих пор мне не удалось найти хорошую справочную работу. Вступительная книга Грэма Хаттона « Программирование на Haskell» ( Google Books ), которую я читаю, изучая Haskell,...
Я ищу быстрый алгоритм сопоставления строк k-несоответствие. Учитывая строку шаблона P длины m и текстовую строку T длины n, мне нужен быстрый (линейное время) алгоритм, чтобы найти все позиции, где P соответствует подстроке T с не более чем k несоответствиями. Это отличается от проблемы k-отличий...
Существуют ли языки программирования (или логика), которые могут реализовать (или выразить) функцию тогда и только тогда, когда f вычислимые биективные функции?f:N→Nf:N→Nf:\mathbb{N}\to...
Исходя из POV кого-то, кто думает о получении докторской степени в области компьютерных наук. У меня возникают проблемы с выбором того, на чем я буду концентрироваться, когда буду получать докторскую степень. Смотрите также этот вопрос на academia.SE . Поэтому я думаю, что чтение / отслеживание...
Время от времени встречается головокружительный набор символов, используемых в математических и компьютерных работах. Все же многие предполагают базовое знакомство, которое, кажется, редко преподается в одном месте. Я ищу словарь что-то вроде следующего, особенно с точки зрения CS. В нем будут...
Я ищу ресурсы для начала работы с анализом программы . Единственная книга, которую я нашел по этой теме, это книга Нильсона и Нильсона . Кроме этого, кажется, что есть только книги по «компиляторам», где «программный анализ» будет главой или чем-то в этом роде. Знают ли люди о каких-либо других...
Я не знаю правильной терминологии для того, чтобы задать этот вопрос, поэтому вместо этого я опишу его множеством слов, потерпите меня. Фон , просто так, что мы находимся на одной странице: программы часто содержат кэши - компромисс между временем и памятью. Распространенная ошибка программиста -...
Меня интересуют процедуры справедливого разделения земли (то есть разделение без зависти или, по крайней мере, пропорциональное разделение). В отличие от хорошо изученной проблемы разделения тортов, разделение земель является двумерным, то есть предпочтения пользователей могут варьироваться как по...
Граф является хордальным, если он не имеет индуцированных циклов длиной и более. Клика дерево из является деревом , в котором вершина дерева являются максимальными кликами . Ребро в соответствует минимальному разделителю. Число различных деревьев клик может быть экспоненциальным по количеству...
Рассмотрим линейные программы 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мин...
У нас было несколько вопросов о связи сокращений Кука и Карпа . Понятно, что сокращения Кука (сокращения Тьюринга за полиномиальное время) не определяют то же понятие NP-полноты, что и сокращения Карпа (сокращения многозначного за полиномиальное время), которые обычно используются. В частности,...
Вопрос в значительной степени в названии. Есть ли время, когда некоторый язык может быть принят минимальным DFA с состояниями, но , обращение , может быть принято DFA с состояниями, где ?n L R L m m < nLLLNnnLрLRL^RLLLмmmм <...
Я работаю с алгоритмом сопоставления с образцом, который генерирует ациклический конечный автомат, который принимает заданную текстовую строку и все ее подстроки. Алгоритм FSA выполняется на символическом представлении музыкального потока (например, данных MIDI). Музыкальный поток был...
Я описываю подход к изоморфизму графа, который, вероятно, имеет ложные срабатывания, и мне любопытно, есть ли литература, указывающая, что он не работает. Учитывая две матрицы смежности , по общему признанию наивный метод проверки изоморфизма состоит в проверке, существует ли для каждой строки u...
Мне интересно, существует ли метод автоматического анализа времени выполнения, который работает, по крайней мере, на соответствующем подмножестве алгоритмов (алгоритмы, которые можно анализировать)? Я прогуглил «Автоматический анализ алгоритма», который дал мне это, но это слишком математично. Я...