PDMI TUM State University St. Petersburg
Steklov Institute St. Petersburg Technische Universität München State University St. Petersburg

Joint Advanced Student School (JASS)

Course 1: Proofs and Computers


St. Petersburg - Sunday, April 2 through Wednesday, April 12, 2006

Konstantin S. Ushakov

Circuit Complexity

Abstract

Computer science deals with many computational models. In real life we have normal computers that are constructed using, so called, silicon chips. Boolean circuits model may be considered a formalization of the silicon chip. That’s the reason why it is very interesting to determine a set of problems which can be solved by boolean circuits.



Konstantin S. Ushakov Presentation:
Circuit Complexity [PDF]
Paper:
Circuit Complexity [PDF]