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

Оптимальность жадного алгоритма

https://www.generacodice.com/ru/articolo/2447790/оптимальность-жадного-алгоритма
  greedy-algorithms  -  proof-techniques  -  correctness-proof
cs.stackexchange cs.stackexchange

Что доказывает, что две сложные программы эквивалентны?

https://www.generacodice.com/ru/articolo/2445902/что-доказывает-что-две-сложные-программы-эквивалентны
  model-checking  -  reference-request  -  proof-techniques  -  research
cs.stackexchange cs.stackexchange

Если график g (v, e) подключен $ | e | \ geq | v | -1 $

https://www.generacodice.com/ru/articolo/2445466/если-график-g-v-e-подключен-e-geq-v-1
  proof-techniques  -  graphs  -  connected
cs.stackexchange cs.stackexchange

Как доказать свойства о специфической модульной арифметической эквивалентности

https://www.generacodice.com/ru/articolo/2444885/как-доказать-свойства-о-специфической-модульной-арифметической-эквивалентности
  proof-techniques  -  modular-arithmetic
cs.stackexchange cs.stackexchange

Получение рекурсивного определения от спецификации функций

https://www.generacodice.com/ru/articolo/2444685/получение-рекурсивного-определения-от-спецификации-функций
  recursion  -  induction  -  proof-techniques  -  calculus-of-constructions
cs.stackexchange cs.stackexchange

Необходимо разъяснение относительно сертификатов задач CONP

https://www.generacodice.com/ru/articolo/2443122/необходимо-разъяснение-относительно-сертификатов-задач-conp
  proof-techniques  -  co-np
cs.stackexchange cs.stackexchange

Prove that the following language is not regular: $\{0^i1^j : i \neq j\}$ [duplicate]

https://www.generacodice.com/ru/articolo/1621525/prove-that-the-following-language-is-not-regular-0-i1-j-i-neq-j-duplicate
  finite-automata  -  formal-languages  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Is {a^n: n is a product of exactly two primes} regular?

https://www.generacodice.com/ru/articolo/1621003/is-a-n-n-is-a-product-of-exactly-two-primes-regular
  formal-languages  -  pumping-lemma  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

Codeword constructed by Huffman's algorithm has average length of at most log n

https://www.generacodice.com/ru/articolo/1620874/codeword-constructed-by-huffman-s-algorithm-has-average-length-of-at-most-log-n
  information-theory  -  algorithms  -  proof-techniques  -  huffman-coding
cs.stackexchange cs.stackexchange

Proving with co-induction principles

https://www.generacodice.com/ru/articolo/1620578/proving-with-co-induction-principles
  formal-methods  -  coq  -  proof-techniques  -  coinduction
cs.stackexchange cs.stackexchange
Результаты найдены: 577
scroll top