Optimal probabilistic polynomial time compression and the Slepian-Wolf theorem: tighter version and simple proofs.