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

Как показать, что данный язык однозначно

https://www.generacodice.com/ru/articolo/1111526/как-показать-что-данный-язык-однозначно
  formal-languages  -  ambiguity  -  formal-grammars  -  context-free  -  proof-techniques
cs.stackexchange cs.stackexchange

Доказательства, основанные на сужении наборов возможностей

https://www.generacodice.com/ru/articolo/1111134/доказательства-основанные-на-сужении-наборов-возможностей
  proof-techniques  -  lower-bounds
cs.stackexchange cs.stackexchange

Как показать композицию функции одного способа не такая?

https://www.generacodice.com/ru/articolo/1110576/как-показать-композицию-функции-одного-способа-не-такая
  cryptography  -  proof-techniques  -  one-way-functions
cs.stackexchange cs.stackexchange

Как определить время выполнения полинома снижения NP?

https://www.generacodice.com/ru/articolo/1110550/как-определить-время-выполнения-полинома-снижения-np
  complexity-theory  -  np-complete  -  proof-techniques  -  reductions
cs.stackexchange cs.stackexchange

Поиск альтернативного доказательства в отношении закрытия рекурсивно перечисляемых языков

https://www.generacodice.com/ru/articolo/1110165/поиск-альтернативного-доказательства-в-отношении-закрытия-рекурсивно-перечисляемых-языков
  computability  -  formal-languages  -  closure-properties  -  proof-techniques
cs.stackexchange cs.stackexchange

Преимущества амортизированного анализа

https://www.generacodice.com/ru/articolo/1110050/преимущества-амортизированного-анализа
  amortized-analysis  -  algorithm-analysis  -  proof-techniques
cs.stackexchange cs.stackexchange

Решение рецидива с логарифмом квадрат $ t (n) = 2t (n/2) + n log^2n $

https://www.generacodice.com/ru/articolo/1109971/решение-рецидива-с-логарифмом-квадрат-t-n-2t-n-2-n-log-2n
  asymptotics  -  proof-techniques  -  recurrence-relation
cs.stackexchange cs.stackexchange

NP -законча - доказательство ограничением

https://www.generacodice.com/ru/articolo/1108682/np-законча-доказательство-ограничением
  complexity-theory  -  np-complete  -  proof-techniques
cs.stackexchange cs.stackexchange

Рецидивовое отношение для сложности времени $ t (n) = t (n-1) + n^2 $

https://www.generacodice.com/ru/articolo/1108199/рецидивовое-отношение-для-сложности-времени-t-n-t-n-1-n-2
  time-complexity  -  algorithm-analysis  -  proof-techniques  -  recurrence-relation
cs.stackexchange cs.stackexchange

Как доказать или опровергнуть, что F вычисляется?

https://www.generacodice.com/ru/articolo/1108191/как-доказать-или-опровергнуть-что-f-вычисляется
  computability  -  proof-techniques
cs.stackexchange cs.stackexchange
Результаты найдены: 577
scroll top