Conselhos

23 Maio 2011, 10:00 José Félix Costa

Conselhos

Classes de complexidade definidas à custa de classes de conselhos: classes não uniformes C/F.

P/log,  P/poly, PSPACE/poly.

Versões de HALT e SAT em P/poly.

Proposição: Se SAT está em P/log, então P = NP.