The dominance rules can be utilized to develop a relationship matrix which allows the branching algorithm to eliminate a high percentage of nonfeasible solutions.

利用法则可以做出关系阵，此阵可以用极大量的无效解。