31 J.H. Lutz E. Mayordomo 1994 Measure stochasticity and the density of hard languages SIAM Journal on Computing 23 762-779