Provably Optimal Design of a Brain-Computer Interface