Вопросы с тегом «decision-problem»

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

11 algorithms  formal-languages  regular-languages  decision-problem 

Является ли следующая задача 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 

Есть ли алгоритм для решения следующей задачи: При заданной машине Тьюринга которая определяет язык L , существует ли машина Тьюринга M 2, решающая L так , что t 2 ( n ) = o ( t 1 ( n ) ) ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Функции и t 2 являются наихудшим …

11 complexity-theory  computability  undecidability  decision-problem 

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

11 computability  terminology  decision-problem 

Я пытался выяснить, разрешима ли проблема остановки для трехмерных одномерных клеточных автоматов. Определение Пусть обозначает конфигурацию системы на временном шаге i . Более формально f : A ∗ × N → A ∗ , где A - алфавит.е( ш , я )f(w,i)f(w,i)яiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Определение. Сотовый автомат остановился в …

10 computability  decision-problem  halting-problem  cellular-automata 

Для заданных чисел таких что , существует ли присвоение чисел который является перестановкой такой, чтоA 1 ≤ A 2 ≤ . , , ≤ к к Σ я = 1 А я = K ( 2 K + 1 ) я 1 , я 2 , . , , , …

10 np-complete  decision-problem 

Моя книга утверждает это Если задача решения B находится в P, а A сводится к B, то проблема решения A находится в P. Решение задачи B является NP-полным, если B находится в NP, и для каждой задачи в A в NP, A сводится к B. Решающая задача C является NP-полной, …

10 complexity-theory  np-complete  decision-problem 

Является ли этот вариант проблемы подмножества простым / известным? Принимая во внимание целого , и множество положительных целых чисел А = { х 1 , х 2 , . , , , x n } , так что каждый x i имеет не более k = 2 битов, установленных в …

9 complexity-theory  reference-request  decision-problem