Optimality relationships forp-cyclic SOR