On the Ehrenfeucht-Mycielski Balance Conjecture


In 1992, A. Ehrenfeucht and J. Mycielski defined a seemingly pseuorandom binary sequence which has since been termed the EM-sequence. The balance conjecture for the EM-sequence, still open, is the conjecture that the sequence of EM-sequence initial segment averages converges to 1=2. In this paper, we do not prove the balance conjecture but we do make some… (More)


5 Figures and Tables