log-space reducible