这也是一种从给定的约束出发的验证方式，但是比较怕前面的约束条件不相关

1  2  0
3  4  0
5  6  0
。。。

这种情况就会使得前面可能的情况很多，不过应该仍然可解的

多谢r版回答，你说的这个应该就是我在4楼和5楼想要表达的，不过我感觉直接把问题转化成这样，有点不大放心

我也在找这样的验证（验证正确或者错误），r版能否把你进行转化的思路描述一下

我是这么想的（我也不知道是不是有bug）：
只要是存在单约束或无约束，无论链条多短（3），无论链条多长（无限个），链条起始端和结尾段都可以是0……0，也都可以是1……1
（其实我只画了三段a-b-c的所有情况，发现只要不全是双约束，那么分支数是发散的，也就不需要做更多段的分析了）

唯有全是双约束的情况下，只能是 010101…… 或 101010……，在奇数数目的情况下无法首位相连。

嗯，我也是从环的角度出发，没有发现bug例子。

后面我在CSDN找到人解出来了，我把代码贴到6楼了，r版可以看下，我还在理解问题阶段，哈哈