在问题归约图中，如果某个非终叶节点含有与后继节点，那么只要当其后裔为不可解时，此非终叶节点才是不可解的