Tag proof-techniques - Это страница 50 - GeneraCodice

Существуют ли неразрешимые языки в конструктивистской логике?

https://www.generacodice.com/ru/articolo/1123823/существуют-ли-неразрешимые-языки-в-конструктивистской-логике
  logic  -  turing-machines  -  formal-languages  -  undecidability  -  proof-techniques
cs.stackexchange cs.stackexchange

Макс 10-сат-алгоритм

https://www.generacodice.com/ru/articolo/1122948/макс-10-сат-алгоритм
  dynamic-programming  -  algorithms  -  proof-techniques
cs.stackexchange cs.stackexchange

Докажите, что $ l_1 $ является регулярным, если $ l_2 $, $ l_1l_2 $, $ l_2l_1 $

https://www.generacodice.com/ru/articolo/1122021/докажите-что-l-1-является-регулярным-если-l-2-l-1l-2-l-2l-1
  finite-automata  -  regular-languages  -  closure-properties  -  proof-techniques
cs.stackexchange cs.stackexchange

Как показать, что функция не вычисляется?

https://www.generacodice.com/ru/articolo/1120918/как-показать-что-функция-не-вычисляется
  computability  -  undecidability  -  reference-question  -  proof-techniques
cs.stackexchange cs.stackexchange

Насосная лемма для детерминированных языков без контекста?

https://www.generacodice.com/ru/articolo/1120459/насосная-лемма-для-детерминированных-языков-без-контекста
  pumping-lemma  -  context-free  -  proof-techniques
cs.stackexchange cs.stackexchange

Как доказать np-жесткость самой длинной проблемы?

https://www.generacodice.com/ru/articolo/1120076/как-доказать-np-жесткость-самой-длинной-проблемы
  complexity-theory  -  np-hard  -  proof-techniques  -  reductions
cs.stackexchange cs.stackexchange

Доказательство неслияния и добавление уравнения, чтобы сделать его сливающимся и завершающим.

https://www.generacodice.com/ru/articolo/1118924/доказательство-неслияния-и-добавление-уравнения-чтобы-сделать-его-сливающимся-и-завершающим
  logic  -  semantics  -  proof-techniques  -  term-rewriting
cs.stackexchange cs.stackexchange

Доказательство на языке, принятое машиной Тьюринга

https://www.generacodice.com/ru/articolo/1118819/доказательство-на-языке-принятое-машиной-тьюринга
  turing-machines  -  formal-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Как применить лемму о накачке к $\{0^m 1^n \mid 2n \leq m \leq 3n, m,n \geq 0 \}$?

https://www.generacodice.com/ru/articolo/1118805/как-применить-лемму-о-накачке-к-0-m-1-n-mid-2n-leq-m-leq-3n-m-n-geq-0
  pumping-lemma  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Как мне объяснить, что сокращение времени полинома на самом деле является полиномиальным временем?

https://www.generacodice.com/ru/articolo/1118479/как-мне-объяснить-что-сокращение-времени-полинома-на-самом-деле-является-полиномиальным-временем
  complexity-theory  -  np-complete  -  proof-techniques  -  reductions
cs.stackexchange cs.stackexchange
Результаты найдены: 577
scroll top