Logarithmic-space many-one reduction