علامة proof-techniques - هذه الصفحة 54 - GeneraCodice

Solving recurrence with logarithm squared $T(n)=2T(n/2) + n \log^2n$

https://www.generacodice.com/ar/articolo/1109971/solving-recurrence-with-logarithm-squared-t-n-2t-n-2-n-log-2n
  asymptotics  -  proof-techniques  -  recurrence-relation
cs.stackexchange cs.stackexchange

NP-Completeness - Proof by Restriction

https://www.generacodice.com/ar/articolo/1108682/np-completeness-proof-by-restriction
  complexity-theory  -  np-complete  -  proof-techniques
cs.stackexchange cs.stackexchange

Recurrence relation for time complexity $T(n) = T(n-1) + n^2$

https://www.generacodice.com/ar/articolo/1108199/recurrence-relation-for-time-complexity-t-n-t-n-1-n-2
  time-complexity  -  algorithm-analysis  -  proof-techniques  -  recurrence-relation
cs.stackexchange cs.stackexchange

How to prove or disprove that f is computable?

https://www.generacodice.com/ar/articolo/1108191/how-to-prove-or-disprove-that-f-is-computable
  computability  -  proof-techniques
cs.stackexchange cs.stackexchange

If a predicate is not computable, what can be said about its negation?

https://www.generacodice.com/ar/articolo/1108189/if-a-predicate-is-not-computable-what-can-be-said-about-its-negation
  computability  -  proof-techniques
cs.stackexchange cs.stackexchange

Rigorous proof against pseudo random function

https://www.generacodice.com/ar/articolo/1107998/rigorous-proof-against-pseudo-random-function
  cryptography  -  proof-techniques
cs.stackexchange cs.stackexchange

How do I write a proof using induction on the length of the input string?

https://www.generacodice.com/ar/articolo/1102588/how-do-i-write-a-proof-using-induction-on-the-length-of-the-input-string
  finite-automata  -  automata  -  induction  -  reference-question  -  proof-techniques
cs.stackexchange cs.stackexchange

Simple Task-Assignment Problem

https://www.generacodice.com/ar/articolo/1102027/simple-task-assignment-problem
  graph-theory  -  algorithms  -  proof-techniques  -  assignment-problem
cs.stackexchange cs.stackexchange

Proving a grammar only generates words whose alternating digit sums are multiples of three

https://www.generacodice.com/ar/articolo/1098933/proving-a-grammar-only-generates-words-whose-alternating-digit-sums-are-multiples-of-three
  formal-languages  -  formal-grammars  -  regular-languages  -  proof-techniques
cs.stackexchange cs.stackexchange

How to show two models of computation are equivalent?

https://www.generacodice.com/ar/articolo/1098359/how-to-show-two-models-of-computation-are-equivalent
  simulation  -  computation-models  -  proof-techniques
cs.stackexchange cs.stackexchange
العثور على نتائج: 577
scroll top