Информатика

Существует ли алгоритм / систематическая процедура для проверки правильности языка? Другими словами, учитывая язык , заданный в алгебраической форме (думаю , что - то вроде ), проверить , является ли регулярным или не язык. Представьте, что мы пишем веб-сервис, чтобы помочь студентам со всеми домашними заданиями; пользователь указывает язык, а …

11 algorithms  formal-languages  regular-languages  decision-problem 

Пусть nnn будет целым числом, и пусть ZZ\mathbb{Z} обозначает множество всех целых чисел. Обозначим через [a,b][a,b][a,b] интервал целых чисел {a,a+1,a+2,…,b}{a,a+1,a+2,…,b}\{a,a+1,a+2,\dots,b\} . Ищу структуру данных для представления отображения f:[1,n]→Zf:[1,n]→Zf:[1,n] \to \mathbb{Z} . Я хочу, чтобы структура данных поддерживала следующие операции: get(i)get(i)\text{get}(i) должен вернуть.f(i)f(i)f(i) set([a,b],y)set([a,b],y)\text{set}([a,b],y) должен обновить fff так, чтобы f(a)=f(a+1)=⋯=f(b)=yf(a)=f(a+1)=⋯=f(b)=yf(a)=f(a+1)=\cdots=f(b)=y , …

11 algorithms  data-structures  trees  intervals 

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

11 computability  reductions  undecidability 

Я строю текст на классификатор коротких фраз. В дополнение к сообщению пользователю «категория введенного вами текста - C», я хочу кратко и понятно объяснить, почему я принял это решение. Например, я не хочу говорить пользователю: «Я поместил ваше предложение в сложную трехслойную нейронную сеть, и это тот ответ, который набрал …

11 machine-learning  classification 

Является ли следующая задача NP-полной? (Я предполагаю, что да). Входные данные: - неориентированный граф, в котором множество ребер можно разложить на два простых цикла, не пересекающих ребра (они не являются частью входных данных).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Вопрос: существует ли простой цикл в с длиной больше ?GGGkkk Очевидно, что проблема в NP, …

11 graph-theory  np-complete  decision-problem 

Существует ли клеточный автомат (в 2D), который имитирует силу между частицами?1 / р1/р1/r Более конкретно, я хотел бы знать, возможно ли при строго локальных правилах обновления два объекта (определенных в модели) притягивать друг друга с силой , где - расстояние, разделяющее объекты. Это, в частности, повлечет за собой ускорение объекта …

11 simulation  cellular-automata 

Моя проблема. Учитывая , я хочу , чтобы подсчитать число действительных мультимножествами . Мультисеть действительна, еслиS SnnnSSSSSS Сумма элементов является , инSSSnnn Каждое число от до может быть выражена однозначно как сумма некоторых элементов .п S111nnnSSS Пример. Например , если , то являются действительными.{ 1 , 1 , 1 , …

11 algorithms  integers 

Недавно я столкнулся с этой проблемой , разновидностью Ханойских башен . Постановка задачи: Рассмотрим следующую вариацию хорошо известной проблемы «Ханойские башни»: Нам дано башен и m дисков размером сложены на несколько башен. Ваша задача - перенести все диски в башню минимальное количество ходов, но вы должны учитывать следующие правила:nnn1,2,3,…,m1,2,3,…,m1,2,3,\dots,mkthkthk^{\text{th}} перемещать …

11 algorithms  combinatorics  recursion 

Учитывая тот факт , что - путь перечисления является # Р-полной задачи, может ли быть эффективные методы , которые вычисляют (или , по меньшей мере , приблизительно) средняя длина - пути без перечисления их? Что если пути разрешены для пересмотра вершин?т с тsssTTtsssTTt Соответствующие результаты на специальных графиках также могут …

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Обычное изложение проблемы справедливой резки тортов предполагает, что все игроков получают свою долю одновременно. Однако во многих случаях игроки прибывают постепенно. Например, мы можем разделить торт по n игрокам, но затем приходит новый игрок и хочет получить долю.nnnnnn Как правило, разделение по принципу честного торта требует больших усилий (например, требует, …

11 algorithms  game-theory  online-algorithms 

Как бы вы алгоритмически определяли для каждой фотографии, светило ли солнце, когда она была сделана? Примеры Пример с этой веб-камеры на вершине горы: Ясно, что солнце светит. В этом другом примере это гораздо менее очевидно: Вероятно, довольно легко определить, туманно ли это, если попытаться определить крошечный шпиль церкви в часовне …

11 algorithms  image-processing 

Это может быть глупый вопрос. Это представляется очевидным , что FSA, так как оно конечно, может рассчитывать только количество символов в его входной строки до числа , ограниченного числа его состояний. Но теперь предположим, что мы оснастили FSA возможностями вывода (например, печати). Тогда было бы очень легко построить машину , …

11 automata  finite-automata 

Учитывая заданий , для выполнения каждого задания требуется раз.J 1 , J 2 , . , , , J п Г я > 0 , Т я ∈ NnnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Каждое задание должно быть предварительно обработано и постобработано одной машиной M, которая может обрабатывать только 1 …

11 complexity-theory  reference-request  scheduling 

Учитывая два вектора целых чисел, возможно, неравной длины, как я могу определить максимально возможный результат от накопления выбора максимума между соответствующими парами чисел между двумя векторами с дополнительными нулями, вставленными в более короткий вектор, чтобы компенсировать разницу в размере? Например, рассмотрим следующие два вектора в качестве входных данных: [8 1 …

11 algorithms  optimization 

Пусть Есть ли машина Тьюринга R, которая решает (я не имею в виду, распознает) язык ?L ∅L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Похоже, тот же метод, который использовался, чтобы показать, что …

11 turing-machines  computability  undecidability