Вопросы с тегом «reference-request»

Я работаю с алгоритмом сопоставления с образцом, который генерирует ациклический конечный автомат, который принимает заданную текстовую строку и все ее подстроки. Алгоритм FSA выполняется на символическом представлении музыкального потока (например, данных MIDI). Музыкальный поток был предварительно обработан, чтобы разделить каждую песню на немеченые «сегменты». FSA генерируется для каждого сегмента в …

10 formal-languages  reference-request  finite-automata 

У нас было несколько вопросов о связи сокращений Кука и Карпа . Понятно, что сокращения Кука (сокращения Тьюринга за полиномиальное время) не определяют то же понятие NP-полноты, что и сокращения Карпа (сокращения многозначного за полиномиальное время), которые обычно используются. В частности, уменьшение Кука не может отделить NP от co-NP, даже …

10 complexity-theory  reference-request  np-complete  reductions 

Рассмотрим линейные программы 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мин у⃗ Tб⃗ DUaL:с→≤Y→TAминY→Tб→\begin{array}{|ccc|} …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

Граф является хордальным, если он не имеет индуцированных циклов длиной и более. Клика дерево из является деревом , в котором вершина дерева являются максимальными кликами . Ребро в соответствует минимальному разделителю. Число различных деревьев клик может быть экспоненциальным по количеству вершин в хордальном графе.GGG444TTTGGGGGGTTT Уменьшена клика граф , является объединением …

10 algorithms  graph-theory  reference-request 

Меня интересуют процедуры справедливого разделения земли (то есть разделение без зависти или, по крайней мере, пропорциональное разделение). В отличие от хорошо изученной проблемы разделения тортов, разделение земель является двумерным, то есть предпочтения пользователей могут варьироваться как по горизонтали, так и по вертикали. Поэтому нецелесообразно ограничивать алгоритм параллельными вырезами. Единственная ссылка, …

10 reference-request  game-theory 

Я ищу ресурсы для начала работы с анализом программы . Единственная книга, которую я нашел по этой теме, это книга Нильсона и Нильсона . Кроме этого, кажется, что есть только книги по «компиляторам», где «программный анализ» будет главой или чем-то в этом роде. Знают ли люди о каких-либо других ресурсах?

10 reference-request  compilers  semantics 

Существуют ли языки программирования (или логика), которые могут реализовать (или выразить) функцию тогда и только тогда, когда f вычислимые биективные функции?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Исходя из POV кого-то, кто думает о получении докторской степени в области компьютерных наук. У меня возникают проблемы с выбором того, на чем я буду концентрироваться, когда буду получать докторскую степень. Смотрите также этот вопрос на academia.SE . Поэтому я думаю, что чтение / отслеживание того, какие исследования проводятся и …

10 reference-request 

Я ищу быстрый алгоритм сопоставления строк k-несоответствие. Учитывая строку шаблона P длины m и текстовую строку T длины n, мне нужен быстрый (линейное время) алгоритм, чтобы найти все позиции, где P соответствует подстроке T с не более чем k несоответствиями. Это отличается от проблемы k-отличий (редактировать расстояние). Несовпадение подразумевает, что …

10 algorithms  reference-request  strings  string-metrics  substrings 

Я не уверен, принадлежит ли этот вопрос здесь, и я прошу прощения, если нет. Что я хочу сделать, так это разработать программный способ, с помощью которого я могу вероятностно определить, принадлежит ли данная строка «сумке строк». Например, если у меня есть сумка из 10 000 названий городов США, а затем …

10 algorithms  reference-request  string-metrics 

Будет ли необходимость менять определения безопасности, если у нас будут квантовые компьютеры? Какие криптографические конструкции сломаются? Знаете ли вы опрос или статью, которая объясняет, что нужно будет изменить?

10 reference-request  cryptography  quantum-computing 

Из-за характера вопроса, я должен включить много справочной информации (потому что мой вопрос: как мне сузить это?). Тем не менее, это можно обобщить (насколько мне известно) как: Какие существуют методы поиска локальных оптимумов в чрезвычайно больших комбинаторных пространствах поиска? Фон В сообществе суперпользователей с помощью инструментов мы стремимся предоставить специально …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

Вопрос в значительной степени в названии. Есть ли время, когда некоторый язык может быть принят минимальным DFA с состояниями, но , обращение , может быть принято DFA с состояниями, где ?n L R L m m &lt; nLLLNnnLрLRL^RLLLмmmм &lt; нm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Время от времени встречается головокружительный набор символов, используемых в математических и компьютерных работах. Все же многие предполагают базовое знакомство, которое, кажется, редко преподается в одном месте. Я ищу словарь что-то вроде следующего, особенно с точки зрения CS. В нем будут перечислены все основные математические символы и приведены их значения и …

10 terminology  reference-request  education 

Я работаю над проблемой, связанной с латинскими квадратами, и я хочу метод, который сводится к решению проблемы: Входные данные : конечный простой граф G. Выходные данные : YESесли G имеет нетривиальный автоморфизм, в NOпротивном случае. Следовательно ... Вопрос : существует ли эффективный алгоритм определения того, имеет ли граф нетривиальный автоморфизм? …

9 algorithms  graphs  graph-theory  reference-request