max $partialdiff sub Y$ [ Princeton prcp ]