概念

折叠分支与山谷约束

折角关系的实解还需满足山谷符号、分支连续及高阶闭合；局部自由度计数或一次数值未解均不能代替整体可折证明。