解説

グリッド全体が全て黒マスならYes, そうでなければNoです。

グリッド上の正方形を組み合わせた凸集合として考えられるのは長方形のみです。
「全ての行、全ての列に必ず黒マスが存在する」という制約より、
凸集合であるためには、グリッド全体を覆う長方形となる必要があります。