I have two questions on Kaveh's answer to Definition of uniform boolean circuit :
- Kaveh mentions that the input is in unary encoding. In the definition it says the input is $1^n$, afaik $1^n$ is a sequence of 1's repeated n times, but unary encoding is a sequence of 1's and ends with 0 there is no power of 1 that gives 0... So how is $1^n$ a unary encoding?
- Why do we use a unary encoding and not the binary encoding of n? what happens if we use binary instead?