You may use the FWHM or the standar deviation to get an estimation of the star size. If it is a gaussian distribution, then a diameter of 4 standard deviations includes 95% of the light. 6 times, 99.7%.
Anyway, if you want to make a good dither, I would go for nearly a dozen pixels, to make a good uncorrelation of the pixels at the integration stage.