where Jc is a color channel of J and Ω(x) is a local patchcentered at x. Our observation says that except for thesky region, the intensity of Jdark is low and tends to bezero, if J is a haze-free outdoor image. We call Jdark thedark channel of J, and we call the above statistical observation or knowledge the dark channel prior.