Cycle cutset
= Cycle cutset
A <set> of <vertices> whose deletion leaves a <forest>. For a binary <constraint satisfaction problem>, fixing these <variables> and filtering the remaining <constraint domains> leaves independent instances of <tree-structured constraint satisfaction>. A valid cutset need not be minimum; smaller cutsets reduce the exponential enumeration in <cutset conditioning>.