Redutibilidade. Complexidade Temporal

13 Dezembro 2016, 09:30 Ana Respicio

Redutibilidade

Teorema 5.28, Sipser. 
Corolário 5.29, Sipser. 
Teorema 5.30, Sipser. Esboço da Prova.

Notação Big-O e small-o.

Relações de complexidade entre os diferentes modelos.Teorema 7.8, Sipser.