Contribuições do(a) usuário(a) Guilherme L. M. de Paiva
De Guilherme L. M. de Paiva discussão registo de bloqueios carregamentos registos conta global registo do filtro de edições
Um utilizador com 6 edições. Conta criada a 18 de fevereiro de 2015.
4 de julho de 2016
- 18h09min18h09min de 4 de julho de 2016 dif his +21 659 N Algoritmo de Hopcroft–Karp Criado ao traduzir a página "Hopcroft–Karp algorithm" Etiquetas: Espaçamento excessivo [de Conteúdo]
20 de janeiro de 2016
- 23h14min23h14min de 20 de janeiro de 2016 dif his 0 Fórmula booliana completamente quantificada trocando booliana por booleana
16 de dezembro de 2015
- 23h03min23h03min de 16 de dezembro de 2015 dif his −136 MAX-3SAT Criado ao traduzir a página "MAX-3SAT" Etiqueta: [de Conteúdo]
- 21h56min21h56min de 16 de dezembro de 2015 dif his +9 582 N MAX-3SAT Criado ao traduzir a página "MAX-3SAT" Etiqueta: [de Conteúdo]
15 de dezembro de 2015
- 01h15min01h15min de 15 de dezembro de 2015 dif his +18 152 N Fórmula booliana completamente quantificada Criado ao traduzir a página "True quantified Boolean formula" Etiqueta: [de Conteúdo]
18 de fevereiro de 2015
- 18h53min18h53min de 18 de fevereiro de 2015 dif his +5 318 N DTIME nova página: Em teoria da complexidade computacional, '''DTIME''' (ou '''TIME''') é o recurso computacional do tempo de computação de uma Máquina de Turing Determinística. Ela repre...