Sumários
Teórica #23 (vídeo-conferência) (aula online)
29 maio 2020, 16:30 • Carlos Caleiro
Funções construtíveis no espaço e no tempo. Teoremas de hierarquia espacial e temporal, aplicação à separação de classes, nomeadamente P e EXPTIME.
Teórica #23 (vídeo-conferência) (aula online)
29 maio 2020, 15:00 • Carlos Caleiro
Funções construtíveis no espaço e no tempo. Teoremas de hierarquia espacial e temporal, aplicação à separação de classes, nomeadamente P e EXPTIME.
Teórica #22 (vídeo)
26 maio 2020, 15:00 • Carlos Caleiro
Teorema de Cook-Levin, NP-completude dos problemas SUBSETSUM, PARTITION e SAT.
Teórica #22 (vídeo)
26 maio 2020, 13:30 • Carlos Caleiro
Teorema de Cook-Levin, NP-completude dos problemas SUBSETSUM, PARTITION e SAT.