Binary image synthesis using mixed linear integer programming

Images that are to be transmitted through a distorting imaging system may be deliberately altered to compensate for that distortion. We consider an incoherent diffraction-limited imaging system followed by an ideal high-contrast detector that prints binary images, and we seek a binary input image (a mask) that generates a desired prescribed binary output image. We have developed a method for determining the optimal binary mask by formulating the problem as a mixed linear integer program (MLIP) and using the branch and bound method to solve it.