Changed PS definition. Made introduction to algorithm, with lemma 1 and 2