Polynomial Size Circuits Definition