Remark.
The cycle structure is now better understood; see D. J. Bernstein and J. C. Lagarias, The 3x+1 Conjugacy Map,
Canadian J. Math.
, to appear.