logarithmic-space many-one reduction