st[i|j] 因为j是确定的，i是不确定的状态，想看i的状态是否能从j的状态转移过去，如果i的二进制表示里面有1，代表j的相同位置的状态必定是0，因为如果是1，代表j已经被伸过了，状态不合法，所以条件是i|j i可以到j的条件下。
要判断”i-1列为空”的连续的0的个数

注意！！！！”i-1列为空i-1列为空i-1列为空
状态4种
1 0 不为空
1 1 不为空 都伸出来不合法
0 1 不为空 i伸出来 i-1必定不为空

0 0只有00代表i-1列为空 所以判断|