Tag check-my-proof - Это страница 1 - GeneraCodice

Доказывая, что язык не в P, используя диагонализацию

https://www.generacodice.com/ru/articolo/1124806/доказывая-что-язык-не-в-p-используя-диагонализацию
  complexity-theory  -  check-my-proof  -  polynomial-time
cs.stackexchange cs.stackexchange

Квазигранки, конструкции и узнаваемые подмножества

https://www.generacodice.com/ru/articolo/1123877/квазигранки-конструкции-и-узнаваемые-подмножества
  formal-languages  -  reference-request  -  check-my-proof
cs.stackexchange cs.stackexchange

Как я могу показать, что линейные языки закрываются против объединения с обычными?

https://www.generacodice.com/ru/articolo/1120484/как-я-могу-показать-что-линейные-языки-закрываются-против-объединения-с-обычными
  formal-languages  -  context-free  -  closure-properties  -  check-my-proof
cs.stackexchange cs.stackexchange

Нижняя граница сортировки n массивов размером k каждый

https://www.generacodice.com/ru/articolo/1120333/нижняя-граница-сортировки-n-массивов-размером-k-каждый
  arrays  -  sorting  -  algorithms  -  lower-bounds  -  check-my-proof
cs.stackexchange cs.stackexchange

Количество гамильтонианских циклов на графике Sierpiński

https://www.generacodice.com/ru/articolo/1119290/количество-гамильтонианских-циклов-на-графике-sierpinski
  graph-theory  -  combinatorics  -  check-my-proof
cs.stackexchange cs.stackexchange

Показать $ x^y $ - примитивная рекурсивная функция

https://www.generacodice.com/ru/articolo/1116648/показать-x-y-примитивная-рекурсивная-функция
  recursion  -  computability  -  check-my-proof
cs.stackexchange cs.stackexchange

Ошибка в генерировании функционального решения

https://www.generacodice.com/ru/articolo/1098851/ошибка-в-генерировании-функционального-решения
  recurrence-relation  -  mathematical-analysis  -  check-my-proof
cs.stackexchange cs.stackexchange

Является ли редукция Карпа идентичной редукции Левина

https://www.generacodice.com/ru/articolo/1097529/является-ли-редукция-карпа-идентичной-редукции-левина
  complexity-theory  -  reductions  -  check-my-proof
cs.stackexchange cs.stackexchange

Покажите, что проблема с остановкой является решающей для машин с одним простым Тьюрингом

https://www.generacodice.com/ru/articolo/1096692/покажите-что-проблема-с-остановкой-является-решающей-для-машин-с-одним-простым-тьюрингом
  turing-machines  -  computability  -  formal-languages  -  check-my-proof
cs.stackexchange cs.stackexchange
Результаты найдены: 19
scroll top