CF1647B Madoka and the Elegant Gift
题目描述
Madoka 的父亲刚刚在 Mathub 上达到了 $1$ 百万订阅者!因此,网站决定送给他一个专属奖品——Mathhub 的 Bit Button!
Bit Button 是一个有 $n$ 行 $m$ 列的矩形表格,每个格子中填有 $0$ 或 $1$。Madoka 研究这个表格后发现:
- 如果没有任何格子属于 $A$ 但不属于 $B$,则子矩形 $A$ 被包含在子矩形 $B$ 中。
- 如果存在某个格子同时属于两个子矩形,则这两个子矩形相交。
- 如果一个子矩形内部没有 $0$,则称其为黑色子矩形。
- 如果一个子矩形是黑色的,并且不被包含在另一个黑色子矩形中,则称其为“优美”子矩形。
- 如果不存在两个相交的优美子矩形,则称这个表格是“优雅的”。
例如,在第一幅图中,红色子矩形是优美的;但在第二幅图中不是,因为它被紫色子矩形包含。

请帮助 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" 都会被认为是正确的)。
说明/提示
在第二个测试用例中,表格不是优雅的,因为红色和紫色的优美子矩形相交。

在第四个测试用例中,表格不是优雅的,因为红色和紫色的优美子矩形相交。

由 ChatGPT 4.1 翻译