Запитання з тегом «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 Очевидно, що проблема полягає …

11 graph-theory  np-complete  decision-problem 

Чи існує алгоритм для наступної проблеми: Враховуючи машину Тюрінга яка визначає мову , чи існує машина Тьюрінга вирішує таку, що ? L M 2 L t 2 ( n ) = o ( t 1 ( n ) )M1M1M_1LLLM2M2M_2LLLт2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) …

11 complexity-theory  computability  undecidability  decision-problem 

Я хочу уточнити, що означає давати алгебру як вхід до алгоритму, і я не знайшов дуже багато літератури про це. Отже, спершу я хочу запитати, чи можете ви порекомендувати книгу чи папір, що стосується теми аналізу складності алгебр над полями та чітко визначить проблему рішення . Після деякого копання я …

11 computability  terminology  decision-problem 

Я намагався з’ясувати, чи вирішується проблема зупинки для тривимірних одновимірних стільникових автомати. Визначення Нехай позначає конфігурацію системи на етапі i . Більш формально f : A ∗ × N → A ∗ , де A - алфавіт.f( ш , я )f(w,i)f(w,i)iiif: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 , . . . , Я 2 до …

10 np-complete  decision-problem 

Моя книга констатує це Якщо проблема рішення B знаходиться в P, а A зменшується до B, то задача рішення A знаходиться в P. Проблема рішення B є повною NP, якщо B знаходиться в NP, а для кожної проблеми в A в NP A зменшується до B. Проблема рішення C є …

10 complexity-theory  np-complete  decision-problem 

Чи легкий / відомий цей варіант проблеми сукупності підмножини? Враховуючи ціле і набір натуральних чисел таких, що кожен має максимум біти, встановлені на ( ); чи існує підмножина така, що сума її елементів дорівнює ?mmmA={x1,x2,...,xn}A={x1,x2,...,xn}A = \{x_1, x_2, ..., x_n\}xixix_ik=2k=2k=2111xi=2bi1+2bi2,bi1,bi2≥0xi=2bi1+2bi2,bi1,bi2≥0x_i = 2^{b_{i_1}}+2^{b_{i_2}},\;\; b_{i_1},b_{i_2}\geq 0A′⊆AA′⊆AA' \subseteq Ammm Це в ? Чи …

9 complexity-theory  reference-request  decision-problem