判断题方程系统可以方程为一层，变量为下一层，将关系的方程和变量连线，形成拓扑双层图，用以Lee系列算法获得最佳求解结构的独立变量组合
判断题根据Hall各异条件，一个N个变量，N个方程构成的方程组，若对每个方程可以指定一个变量作为输出变量，且该变量不再作为其它方程的输出变量，则该方程组必定有解
