Q2 Encode(n) 1.0.1 I try to encode a message stating where the key is. As the warden of the prison, I hide the key. Decode(n) To make it harder, I put a confusing bit on each box. I want to find the key, in order to escape prison. I must decode this message to find the key. 2 Q2 Encode(n) Precond: n=# of boxes Postcond: Bits given by warden and key location. Same boxes Decode(n) The bit specified by the encoder & same bits. Precond: is flipped. 1.0 1.0 1.000.0 11.00 Postcond: Location of key I don't know which bit as told to Encoder was flipped. 3 Q2 Encode(n) Precond: i=1 0 n=2 to X1 X1 Ei Postcond: T n = 2: With one box, you know where the key is, so let's consider when you have two. Encode: Pre-Condition: Let ro denote the bit on the zeroth box and 21 on the first. Let i e {0,1} indicate whether the key is in box 0 or in box 1. Post-Condition: If