Português
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artigos completos
Categorias
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Você escreve
Do utilizador
Conecte-se
Cadastro
Recuperação de senha
Tag
Tags de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag proof-techniques - Esta é a página 54 - GeneraCodice
Solving recurrence with logarithm squared $T(n)=2T(n/2) + n \log^2n$
https://www.generacodice.com/pt/articolo/1109971/solving-recurrence-with-logarithm-squared-t-n-2t-n-2-n-log-2n
asymptotics
-
proof-techniques
-
recurrence-relation
cs.stackexchange
NP-Completeness - Proof by Restriction
https://www.generacodice.com/pt/articolo/1108682/np-completeness-proof-by-restriction
complexity-theory
-
np-complete
-
proof-techniques
cs.stackexchange
Recurrence relation for time complexity $T(n) = T(n-1) + n^2$
https://www.generacodice.com/pt/articolo/1108199/recurrence-relation-for-time-complexity-t-n-t-n-1-n-2
time-complexity
-
algorithm-analysis
-
proof-techniques
-
recurrence-relation
cs.stackexchange
How to prove or disprove that f is computable?
https://www.generacodice.com/pt/articolo/1108191/how-to-prove-or-disprove-that-f-is-computable
computability
-
proof-techniques
cs.stackexchange
If a predicate is not computable, what can be said about its negation?
https://www.generacodice.com/pt/articolo/1108189/if-a-predicate-is-not-computable-what-can-be-said-about-its-negation
computability
-
proof-techniques
cs.stackexchange
Rigorous proof against pseudo random function
https://www.generacodice.com/pt/articolo/1107998/rigorous-proof-against-pseudo-random-function
cryptography
-
proof-techniques
cs.stackexchange
How do I write a proof using induction on the length of the input string?
https://www.generacodice.com/pt/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
Simple Task-Assignment Problem
https://www.generacodice.com/pt/articolo/1102027/simple-task-assignment-problem
graph-theory
-
algorithms
-
proof-techniques
-
assignment-problem
cs.stackexchange
Proving a grammar only generates words whose alternating digit sums are multiples of three
https://www.generacodice.com/pt/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
How to show two models of computation are equivalent?
https://www.generacodice.com/pt/articolo/1098359/how-to-show-two-models-of-computation-are-equivalent
simulation
-
computation-models
-
proof-techniques
cs.stackexchange
«
51
52
53
54
55
56
»
Resultados encontrados: 577