寻求用最少固定大小正方形覆盖0-1图像1像素的算法及领域建议

给定像素尺寸为MxN的0-1图像与整数A，我们需要找到由若干边缘与图像边缘平行且对齐像素的AxA正方形组成的可行解，要求这些正方形的并集能覆盖图像中所有值为1的像素，且正方形的数量最少。

核心问题：是否存在解决此类或相似问题的算法？在哪些领域（如计算机视觉、离散优化）可找到相关算法思路？

• 问题设置：M=N=25，A=15，待覆盖区域为图像中的灰色部分
• 可行解：使用3个AxA的高饱和度正方形，它们的并集可完全覆盖所有灰色像素，这是该问题的最优解之一

• 待覆盖区域几乎非凸，但保持连通
• 无需严格的数学最优解，优先选择能在有限时间/复杂度下生成足够优质的近似可行解的方案

内容的提问来源于stack exchange，提问作者LibrarristShalinward