CF1647B Madoka and the Elegant Gift

题目描述

Madoka 的父亲刚刚在 Mathub 上达到了 $1$ 百万订阅者!因此,网站决定送给他一个专属奖品——Mathhub 的 Bit Button! Bit Button 是一个有 $n$ 行 $m$ 列的矩形表格,每个格子中填有 $0$ 或 $1$。Madoka 研究这个表格后发现: - 如果没有任何格子属于 $A$ 但不属于 $B$,则子矩形 $A$ 被包含在子矩形 $B$ 中。 - 如果存在某个格子同时属于两个子矩形,则这两个子矩形相交。 - 如果一个子矩形内部没有 $0$,则称其为黑色子矩形。 - 如果一个子矩形是黑色的,并且不被包含在另一个黑色子矩形中,则称其为“优美”子矩形。 - 如果不存在两个相交的优美子矩形,则称这个表格是“优雅的”。 例如,在第一幅图中,红色子矩形是优美的;但在第二幅图中不是,因为它被紫色子矩形包含。 ![](https://cdn.luogu.com.cn/upload/vjudge_pic/CF1647B/527c997c3730172d58419587c380220df58d0b35.png) 请帮助 Madoka 判断这个表格是否优雅。

输入格式

每组测试数据包含多个测试用例。第一行包含一个整数 $t$($1 \le t \le 200$)——表示测试用例的数量。接下来是每个测试用例的描述。 每个测试用例的第一行包含两个正整数 $n, m$($1 \le n, m \le 100$)。 接下来的 $n$ 行,每行是一个长度为 $m$ 的仅由 $0$ 和 $1$ 组成的字符串,描述了表格的内容。 保证所有测试用例中 $n$ 的和与 $m$ 的和不超过 $777$。

输出格式

对于每个测试用例,如果表格是优雅的,输出 "YES";否则输出 "NO"。 你可以用任意大小写输出答案(例如 "YES"、"Yes"、"yes"、"yEs" 都会被认为是正确的)。

说明/提示

在第二个测试用例中,表格不是优雅的,因为红色和紫色的优美子矩形相交。 ![](https://cdn.luogu.com.cn/upload/vjudge_pic/CF1647B/274bbf1f30d832fb82dd64034e57adcb4cd9b242.png) 在第四个测试用例中,表格不是优雅的,因为红色和紫色的优美子矩形相交。 ![](https://cdn.luogu.com.cn/upload/vjudge_pic/CF1647B/6dc815ec1b802f77b63db126c6131ed14481d644.png) 由 ChatGPT 4.1 翻译