Pусский
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Полные статьи
Категории
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Ты пишешь
Пользователь
Авторизоваться
Постановка на учет
Восстановление пароля
Теги
Языковые теги
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag decision-problem - Это страница 1 - GeneraCodice
Как преобразовать дерево решений в автомат?
https://www.generacodice.com/ru/articolo/2479078/как-преобразовать-дерево-решений-в-автомат
decision-tree
-
automata
-
decision-problem
cs.stackexchange
Это $ \ {w ~ | ~ \ \ forall x \ in t (m_v): | w |> | x | ~ \} $ projectable?
https://www.generacodice.com/ru/articolo/2475207/это-w-forall-x-in-t-m-v-w-x-projectable
undecidability
-
semi-decidability
-
decision-problem
cs.stackexchange
Это проблема, которая определяет всякий раз, когда слово «член» $ \ в $ L (M), решительно или нет?
https://www.generacodice.com/ru/articolo/2474814/это-проблема-которая-определяет-всякий-раз-когда-слово-член-в-l-m-решительно-или-нет
turing-machines
-
formal-languages
-
undecidability
-
decision-problem
cs.stackexchange
Теорема риса для машины Turging с фиксированным выходом
https://www.generacodice.com/ru/articolo/2473617/теорема-риса-для-машины-turging-с-фиксированным-выходом
turing-machines
-
decision-problem
-
rice-theorem
cs.stackexchange
Почему проблема остановки, решительна для Goto языков, ограниченных на самых высоком цене констант и переменных?
https://www.generacodice.com/ru/articolo/2473164/почему-проблема-остановки-решительна-для-goto-языков-ограниченных-на-самых-высоком-цене-констант-и-переменных
halting-problem
-
turing-completeness
-
decision-problem
cs.stackexchange
У меня есть решение решений с сертификатами в размере $ 2 ^ n $ Bit размером, как бы я проверил проблему моего решения, если он будет в $ NP $?
https://www.generacodice.com/ru/articolo/2472800/у-меня-есть-решение-решений-с-сертификатами-в-размере-2-n-bit-размером-как-бы-я-проверил-проблему-моего-решения-если-он-будет-в-np
decision-problem
cs.stackexchange
Недетерминистское многочленовое время алгоритма по сравнению с сертификатом / верификатором для показывать членство в NP
https://www.generacodice.com/ru/articolo/2472768/недетерминистское-многочленовое-время-алгоритма-по-сравнению-с-сертификатом-верификатором-для-показывать-членство-в-np
definitions
-
np
-
proof-techniques
-
decision-problem
-
complexity-classes
cs.stackexchange
Каждый исключимый язык $ L $ имеет бесконечное понятное подмножество $ s \ подмножество l $ такое, что $ l \ setminus s $ бесконечно
https://www.generacodice.com/ru/articolo/2471648/каждый-исключимый-язык-l-имеет-бесконечное-понятное-подмножество-s-подмножество-l-такое-что-l-setminus-s-бесконечно
turing-machines
-
computation-models
-
decision-problem
cs.stackexchange
Proof of Co-Problem being in NP if Problem is in NP using negated output
https://www.generacodice.com/ru/articolo/2471546/proof-of-co-problem-being-in-np-if-problem-is-in-np-using-negated-output
np-complete
-
np
-
decision-problem
cs.stackexchange
Вычислительный автомат для $ l (A) / L (B) $ дает за $ a, b $
https://www.generacodice.com/ru/articolo/2471312/вычислительный-автомат-для-l-a-l-b-дает-за-a-b
turing-machines
-
finite-automata
-
decision-problem
cs.stackexchange
«
1
2
3
4
5
6
»
Результаты найдены: 400