有一种n × n矩阵W，称为基本Weyr规范形式。使用以下参考图，此类矩阵由其框描述，并具有以下属性：

• 主对角线块W¯¯ _II是Ñ _我 ×n个_我矩阵形式的λ 我_{Ñ 我}其中我_{Ñ 我}是Ñ _我 ×n的_我单位矩阵。
• Ñ ₁ ≥Ñ ₂ ≥...≥Ñ _ř
• 第一superdiagonal块w ^ _K-1，K为ķ∈2..r是Ñ _K-1 ×n个_ķ矩阵是行还原梯形形式列满秩，或更简单地说，我_{Ñ ķ}坐在的顶部n _k-1 -n _k行零。
• 所有其他块均为0矩阵。

例如：

• 主对角线块（黄色）使得n _i为4、2、2和1。
• 第一个超对角线块为绿色。
• 灰色区域由所有其他块组成，都为0。

对于这一挑战，我们将假设λ= 1。

输入值

任何方便格式的0和1的方阵。

输出量

对于输入矩阵是否为Weyr，输出两个不同的值之一。

规则

这是代码高尔夫球。每种语言中的最低字节获胜。适用标准规则/漏洞。

测试用例

表示为行数组。

韦尔：

[[1]] 
[[1,1],[0,1]] 
[[1,0,1,0,0],[0,1,0,1,0],[0,0,1,0,1],[0,0,0,1,0],[0,0,0,0,1]]
[[1,0,0,1,0,0,0,0,0],[0,1,0,0,1,0,0,0,0],[0,0,1,0,0,1,0,0,0],[0,0,0,1,0,0,1,0,0],[0,0,0,0,1,0,0,1,0],[0,0,0,0,0,1,0,0,1],[0,0,0,0,0,0,1,0,0],[0,0,0,0,0,0,0,1,0],[0,0,0,0,0,0,0,0,1]]
[[1,0,0,0,1,0,0,0,0],[0,1,0,0,0,1,0,0,0],[0,0,1,0,0,0,0,0,0],[0,0,0,1,0,0,0,0,0],[0,0,0,0,1,0,1,0,0],[0,0,0,0,0,1,0,1,0],[0,0,0,0,0,0,1,0,1],[0,0,0,0,0,0,0,1,0],[0,0,0,0,0,0,0,0,1]]

非韦尔：

[[0]]
[[1,0],[1,1]]
[[1,0,0,1,0,0],[0,1,0,0,0,0],[0,0,1,0,0,1],[0,0,0,1,0,0],[0,0,0,0,1,0],[0,0,0,0,0,1]]
[[1,0,1,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0],[0,0,0,0,1]]
[[1,0,0,1,0,0,0,0,0],[0,1,0,0,1,0,0,0,0],[0,0,1,0,0,1,0,0,0],[0,0,0,1,0,0,0,0,0],[0,0,0,0,1,0,1,0,0],[0,0,0,0,0,1,0,1,0],[0,0,0,0,0,0,1,0,1],[0,0,0,0,0,0,0,1,0],[0,0,0,0,0,0,0,0,1]]

K（ngn / k），91 88 84 80字节

{x~e|(-n)#'(0*x),'(!n)=\:,/(-1_b)+1_0{x#!y}':|-n-':|b:|\@[-1++/|\|+x|e:=n:#x]\0}

在线尝试！

Python 2，270字节

lambda m,w=0:{w}&{0,len(m)}and I(m)or any(I([l[:i]for l in m[:i]])*I([l[i:j+i]for l in m[:j]])*(sum(sum(m[:i]+[l[:i]for l in m],[]))==2*i+j)and f([l[i:]for l in m[i:]],j)for i in range(w,len(m))for j in range(1,i+1))
I=lambda m:all(sum(l)==l[i]>0for i,l in enumerate(m))

在线尝试！

说明：

递归地检查块的标识及其超对角线块。

I 检查矩阵是否为单位矩阵

I=lambda m:all(sum(l)==l[i]>0for i,l in enumerate(m))

对于输入矩阵的每个块，该函数都会检查它是否是一个标识，以及在右边是否存在另一个标识矩阵块。然后，下一次迭代将查看该大小的块。

{w}&{0,len(m)}and I(m)                # if the while matrix is an identity matrix,
                                      # return true (but only the first time or last block)
or
any(
 I([l[:i]for l in m[:i]])                         # the current block is identity
 *I([l[i:j+i]for l in m[:j]])                     # and, the smaller block to the right is identity
 *(sum(sum(m[:i]+[l[:i]for l in m],[]))==2*i+j)   # and everything below and to the right (not the
                                                  # smaller block), are 0
 and f([l[i:]for l in m[i:]],j)                   # and the remaining matrix is alse Weyr(recursively)
 for i in range(w,len(m))             # for each block size i
 for j in range(1,i+1)                # for each smaller right block of size j
)