p |S|3|A|K) 0 OptPess-PrimalDual O(H