Probabilistic Log-Space Reductions and Problems Probabilistically Hard for P

Lefteris M. Kirousis, Paul G. Spirakis

Abstract: We present in this paper an interesting kind of reductions and its variations (the probabilistic NC reductions) which allow us to argue about the parallel complexity of problems not easily shown to be complete for P. We show that a problem complete under these reductions cannot be in NC unless P c RNC. Based on these reductions we also show the P-completeness of a probabilistic problem, namely, given a dag for some nodes of which exactly one of the incoming edges fail (all incoming edges to such a node have equal probability to fail) approximate, within an arbitrary given absolute performance ratio the longest distance we can travel, with certainty, along the edges of the dag.