このとき、あるノードからhigh(子)ノードへの経路を通る場合、そのノードに対応する変数の値が1であることを示し、lowノードの場合は0であることを示す。